talcheck产品介绍
简介
talcheck是拥有独立知识产权的国产软件，能够对c/c++/java代码进行编码标准符合情况检查，进而根据检查结果对被测代码的编码规则符合情况进行评估，并生成检查报告。检测结果准确详实，既包括违规点在源文件的位置信息、违反的规则信息以及违反原因等信息，还可以包括特定规则的溯源分析、影响范围分析以及影响程度分析的结果，这些丰富且全面地信息能够为评估特定的违规提供依据，也为解决代码中存在的问题提供明确的线索，进而促进软件代码质量得到有效地改善与提高。
技术特点
1.检测准确、全面且检测能力强
talcheck以完全自研的c/c++/java代码解析器为基础，对被测代码进行准确且全面的合规性检查。既能够进行依赖于代码解析的基础规则检查，也能够在代码解析结果的基础上，应用路径遍历、约束求解、仿真地址空间、循环函数求解及仿真等多项相关技术进行深度规则检查，从而对源码与编码标准的符合情况进行准确深入且全面地检查。
2.支持编码标准丰富
talcheck既支持GB/T 28169、GB/T 34943、GB/T 34944、GJB 5369、GJB 8114等国家标准及特定领域标准，也支持MISRA C、MISRA C++等通用的行业标准，还支持CERT C、CWE等专业标准。
3.功能紧凑、简单易用
talcheck力求以最简洁的方式提供准确且全面的规则检查，并以便捷且清晰的方式呈现检测结果。仅需要执行“打开”操作，即可实现整个被测工程的基础规则检查。在执行一次“深度检查”操作，即可全面完成整个被测工程的规则检查。借助于工程导航树，可以轻松的查看特定函数、特定单元乃至整个工程的检查结果，也可以轻松地实现对特定文件或者整个工程的编码规则符合情况进行评估。
4.使用灵活
（1）talcheck允许用户自主选用编码标准、编码规则集合、设置规则的严重等级、定制不同编码标准中的可自定义的规则。
（2）talcheck还可根据测试资源的实际情况调整检测程度。既可以单独进行基础检查以节省检查时间，也可以根据时间的多少有选择地进行特定函数或特定文件的深度规则检查，从而在测试资源有限的前提下，实现规则检查效率的最大化。
5.适用性强
（1）talcheck既支持对整个工程进行检查，也支持对单个文件进行检查 ；
（2）不依赖任何第三方编译器，能够检测不完整工程中的源码，甚至能够检测第三方编译器不能编译成功的代码；
（3）talcheck既能够应用于windows系统环境，也能够应用于linux系统环境。能够适配麒麟等国产操作系统。
主要功能
1.规则检查
依据当前选用的编码标准进行规则符合情况检查。检查分两阶段进行：基础检查、深度检查。基础检查耗时短，覆盖编码标准中的绝大部分规则；深度检查对测试资源的消耗相对较多，能够覆盖编码标准中不易检测的规则。
2.代码合规情况评价
依据违反编码标准的规则数量、行数等数据计算出违背率，根据违背率对被检查代码进行评价。
3.综合检查报告
汇总工程、文件、函数等级别违规结果，并生成报告文件。
4.编码标准设置
设置当前使用的编码标准，选择进行检查的规则集合，设置规则的严重程度以及定制自定义规则。
相关工具
1.taleffect(故障影响分析工具)
taleffect是对由违规引发的故障对软件所造成的影响进行分析的工具。主要包括故障溯源分析、故障影响范围分析以及故障影响程度分析。通过“故障路径集合”、“被污染路径集合”、“污染路径比率”及其它多个相关度量指标客观全面地衡量特定故障的影响，为故障评估及故障排除提供有力的支持。
2.其它工具
（1） talsta是专注于代码质量评估的静态分析系统。主要包括违规检查、度量指标计算、控制流图生成、综合质量评估等功能；
（2）ufinder是专注于不可达语句检测的工具；
（3）weakscan是专注于代码安全漏洞扫描的漏洞扫描工具；
（4）talunit是专注于白盒动态测试的软件。主要包括单元测试、集成测试、回归测试、自动生成用例等功能。
talcheck最新版本：1.1
欢迎交流！ QQ:2876904593
Mail:plstudio@163.com
3001
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
