talcheck （V1.0） 产品介绍

简介

       talcheck是拥有独立知识产权的国产软件，能够对c/c++/java文件进行编码标准符合情况检查，进而根据检查结果对被测代码的编码规则符合情况进行评估，并生成检查报告。检测结果准确详实，既包括违规点在源文件的位置信息、违反的规则信息以及违反原因等信息，还可以包括特定规则的溯源分析、影响范围分析以及影响程度分析的结果，这些丰富且全面地信息能够为评估特定的违规提供依据，也为解决代码中存在的问题提供明确的线索，进而促进软件代码质量得到有效地改善与提高。

技术特点

        1.检测准确、全面且检测能力强

        talcheck以完全自研的c/c++/java代码解析器为基础，对被测代码进行准确且全面的合规性检查。既能够进行依赖于代码解析的基础规则检查，也能够在代码解析结果的基础上，应用路径遍历、约束求解、仿真地址空间、循环函数求解及仿真等多项相关技术进行深度规则检查，从而对源码与编码标准的符合情况进行准确深入且全面地检查。

        2.支持编码标准丰富

        talcheck既支持GB/T 28169、GB/T 34944、GJB 5369、GJB 8114等国家标准及特定领域标准，也支持MISRA C、MISRA C++等通用的行业标准，还支持CERT C、CWE等专业标准。

        3.功能紧凑、简单易用

        talcheck力求以最简洁的方式提供准确且全面的规则检查，并以便捷且清晰的方式呈现检测结果。仅需要执行“打开”操作，即可实现整个被测工程的基础规则检查。在执行一次“深度检查”操作，即可全面完成整个被测工程的规则检查。借助于工程导航树，可以轻松的查看特定函数、特定单元乃至整个工程的检查结果，也可以轻松地实现对特定文件或者整个工程的编码规则符合情况进行评估。

        4.使用灵活、适用性强

        talcheck允许用户自主选用编码标准、编码规则集合、设置规则的严重等级、定制不同编码标准中的可自定义的规则。

        talcheck还可根据测试资源的实际情况调整检测程度。既可以单独进行基础检查以节省检查时间，也可以根据时间的多少有选择地进行特定函数或特定文件的深度规则检查，从而在测试资源有限的前提下，实现规则检查效率的最大化。

        talcheck既能够应用于windows系列系统环境，也能够应用于linux系列系统环境。能够适配麒麟等国产操作系统。

主要功能

        1.规则检查

        依据当前选用的编码标准进行规则符合情况检查。检查分两阶段进行：基础检查、深度检查。基础检查耗时短，覆盖大部分规则；深度检查主要针对需要依赖路径遍历才能够得出准确检查结果的规则集合。

        2.代码合规情况评价

        依据违反编码标准的规则数量、行数等数据计算出违背率，根据违背率对被检查代码进行评价。

        3.综合检查报告

        汇总工程、文件、函数等级别违规结果，并生成报告文件。

        4.编码标准设置

        设置当前使用的编码标准，选择进行检查的规则集合，设置规则的严重程度以及定制自定义规则。

相关工具

        1.taleffect(故障影响分析工具)

        taleffect是对由违规引发的故障对软件所造成的影响进行分析的工具。主要包括故障溯源分析、故障影响范围分析以及故障影响程度分析。通过“故障路径集合”、“被污染路径集合”、“污染路径比率”及其它多个相关度量指标客观全面地衡量特定故障的影响，为故障评估及故障排除提供有力的支持。