![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
静态分析
文章平均质量分 64
fzm5298
这个作者很懒,什么都没留下…
展开
-
10款主流的软件测试工具,你用过吗
GAIO公司的覆盖率专家winAMS获得机能安全标百准ISO26262/IEC61508工具认证,是日本工业制造度领域普遍使用的针对C/C++的单元/集成测试工具.winAMS将通过交叉编译生成的原始代码作为评价代码,具有使用芯片仿真器进行仿真功能的测试工具.不仅可以对C/C++语言编写的程序进行逻辑水平的测试,还可以对嵌入式软件特有的依存于芯片的问题点进行确认.翻译 2022-01-19 16:51:58 · 6801 阅读 · 0 评论 -
单元测试的必要性
当前在复杂的国际国内环境下,我国正在加大工业投资,争取实现弯道超车。虽然不差钱,但是许多公司为了效益,不愿在不能直观体现效率的基础环节单元测试上花费时间,不愿投资一点资金到单元测试工具上。这就导致了一些很小的错误不能在早期被发现,直到应用阶段才被发现。这时再查找错误时,势必花费多得多的人力财力,这时才发现早期省的小钱是得不偿失的。要想变成日本德国类的工业强国,必须注重基础环节的精细化,而不是靠某人的高能力。早期开发阶段必须做单元测试,发现错误即时修改,经过多次迭代,才可以杜绝小问题,从而避...原创 2021-09-06 17:06:52 · 308 阅读 · 0 评论 -
单元测试工具
CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试/集成测试工具全面支持嵌入式微机!验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具不需要HookCode 直接使用目标机代码进行单元测试联合静态解析工具[CasePlayer2],提供C0(语句),C1(判定),MC/DC覆盖率报告,优化测试用例制作已取得第三方认证机构TUVSUD对适用于汽车机能安全ISO26262软件工具的认证产品概要[Coverage master winAMS]是..原创 2021-07-01 10:30:25 · 935 阅读 · 3 评论 -
静态代码分析工具-CasePlayer2
CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编代码具有符合编程标准MISRA-C 1998/2004的规范检查功能,Code Metrics计测功能适用于掌握以往程序的内容,审阅会议时评估程序等,有利于改善软件质量的工具产品概要CasePlayer2是通过解析ANSI C语言,C++,嵌入式C语言(非ANSI),以及汇编语言的源代码,制作包括流程图等的程序说明书的工具。不论是对以往..原创 2020-12-22 09:34:13 · 438 阅读 · 0 评论 -
C/C++--单元测试/集成测试工具
原创 2020-09-04 15:24:50 · 615 阅读 · 0 评论 -
基于winAMS、CasePlayer2嵌入式软件单元测试
摘要:论述软件测试工具winAMS、CasePlayer2在嵌入软件单元测试中的应用。介绍了软件测试工具的功能、代码插装原理、测试环境搭建、覆盖率测试、测试数据取得等相关技术研究及经验总结。 关键词:winAMS、CasePlayer2、嵌入式软件、单元测试、代码插装、测试环境、覆盖率 覆盖率专家winAMS源自日本gaio公司,gaio公司创始于1980年,公司早期开...原创 2020-04-17 09:21:17 · 515 阅读 · 0 评论 -
嵌入式软件测试软件--winAMS支持芯片
MPU Maker MPU Type Simulator Engine Type Latest Simulator Version Cross Compiler Support Status Altera Nios S...原创 2019-12-12 11:30:43 · 596 阅读 · 0 评论 -
MC-Verifier-基于模型开发 Back-to-Back测试统合工具
原创 2019-03-12 12:01:50 · 189 阅读 · 0 评论 -
流程图自动生成工具--CasePlay2
原创 2018-05-04 13:55:40 · 7583 阅读 · 0 评论 -
嵌入式软件开发使用CasePlayer2静态分析的10大优势
质量和可靠性在飞行控制、医疗设备、动力传动系统和其他高功能安全要求的嵌入式系统是极其关键的。但是在有限的开发时间内,开发者常常需要权衡验证的工作量。静态分析技术可以帮助开发者在不运行代码的方式下进行早期地自动代码检查,而不需要到系统或硬件集成阶段再进行代码验证。CasePlay2提供了静态分析所需的完整能力,包括: 自动生成・流程图・模块(函数)说明书・模块结构图・模块(函数)表・ ...原创 2018-05-04 13:16:54 · 760 阅读 · 0 评论