GJB 8114编码标准检查软件产品简介
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
GJB 8114编码标准检查软件产品简介相关推荐
- c++编码规范_汽车嵌入式软件测试——嵌入式软件标准及规范简介
以前接手过一个软件项目,翻开模型和代码之后的几天,把模型开发人员问候了一个遍.此处略过若干字......不禁要问,建模规范.编码规范不是很好吗?为什么不用?制定相关规范的出发点就在于保证每个人能在短时 ...
- 使用codesense的GJB 8114模板对c++源代码规则检测示例
↵ 关于GJB 8114 2013年7⽉10⽇,中国⼈民解放军总装备部发布了中华⼈民共和国国家军⽤标准GJB 8114,全称为国军标 8114-2013<C/C++语⾔编程安全⼦集>,提 ...
- 编码标准-GB2312 GBK GB18030
关于 ASCII编码 可以查看我的另外一篇博客 编码标准-ASCII 关于 Unicode 可以参考我的另外一篇博客 Unicode 编码标准-GB2312 GBK GB18030 基本概念 区位码 ...
- C#编码标准--编码习惯
1. 避免将多个类放在一个文件里面. 2. 一个文件应该只有一个命名空间,避免将多个命名空间放在同一个文件里面. 3. 一个文件最好不要超过500行的代码(不包括机器产生的代码). 4. 一个方法的代 ...
- (转贴) C#编码标准--编码习惯
看到一篇文章,里面列举了自己也有的错误,转贴之! 1. 避免将多个类放在一个文件里面. 2. 一个文件应该只有一个命名空间,避免将多个命名空间放在同一个文件里面. 3. 一个文件最好不要超过50 ...
- 静态代码检查工具简介
静态代码检查工具简介 在 Java 软件开发过程中,开发团队往往要花费大量的时间和精力发现并修改代码缺陷.传统的代码复审.同行评审,通过人工方式来检查缺陷仍然是一件耗时耗力的事情.Java 静态代码分 ...
- VP9编码(1)-- 简介
VP9编码(1)-- 简介 VP9是谷歌基于VP8发布的新版视频编解码标准,主要对标H265/H264标准.youtube目前采用VP9标准. 本系列博客为博主学习笔记,翻译自<vp9-bits ...
- 安全编码实践:什么是安全编码标准?
安全编码实践和安全编码标准至关重要,因为高达90%的软件安全问题是由编码错误引起的. 在这里,我们将阐释什么是安全编码标准,哪些是您应该执行的安全编码实践,以及如何实施安全标准. 您的安全编码标准指南 ...
- AV1编码标准-算法描述
AV1编码标准 块划分 编码块划分 变换块划分 帧内预测 定向帧内预测模式 非定向帧内预测模式 递归滤波模式 从亮度预测色度 帧间预测 运动矢量预测 空间运动矢量预测 时间运动矢量预测 运动矢量编码 ...
- 编码标准:纪律和人因工程的双剑合璧
0. 引子 说 起编码风格,每个人都有一些自己的见解.简单牵狗一下,发现类似的资料层出不穷.除了不少开源项目使用的编码规范以外,还有不少据说是从业界一流公司流传 出来的,甚至更有专门的论述.wikip ...
最新文章
- 大学计算机专业全英文论文,5计算机专业 外文文献 英文文献 外文翻译 jsp应用框架 中英对照 大学学位论文.doc...
- float属性html,详解CSS样式中的float属性
- 企业可视化报表工具选型经验分享
- 【计算机网络】关于分组交换和电路交换及其时延的讨论
- c++ 多重背包状态转移方程_背包问题之零钱兑换
- hdu2089 不要62 数位dp
- Spring中使用Spark连接的DataSource
- r语言 线性回归 相关系数_基于R语言的lmer混合线性回归模型
- 外虚内实是什么意思_广东潮州“茶”文化浓厚,为什么“工夫茶”常被谬传“功夫茶”?...
- Yaml spring boot 二维数组写法
- centos7下永久修改hostname
- jmeter的http cookies管理器使用
- zhihu spark集群,书籍,论文
- 农民讲习所建立通用程序 7 设计通用按键扫描模块
- Cxgrid控件中限制单元格输入类型以及显示格式
- Roman to Integer:转换罗马数字到阿拉伯数字
- 手绘图形识别方法(算法)
- 形容人的内核是什么意思_【得到】人人都需要的精准表达术-老光
- 自建网络加速服务器,自建DNS缓存服务器加快上网速度
- 如何写出简洁明了的开发功能说明书
热门文章
- JDK环境变量设置以及检验是否配置成功
- 锐捷无线ap服务器怎么绑定mac,MacBook中的锐捷设置全攻略
- 笔记本进入pe却看不到计算机硬盘,一些笔记本进WINPE后找不到硬盘的解决办法...
- python怎么做一个动态烟花_简单烟花效果.py python firework demo
- win7仿win98电脑主题
- 为什么 PSP22 对 Polkadot 生态系统很重要
- MPLS 配置静态LSP
- 众多时间时钟Flash动画素材一键即可获取
- 百度云html提取码,百度网盘提取码怎么设置?百度云设置提取码的操作方法
- 史上最全的统计学基础知识!错过这次再等一年!!