腾讯云开发者社区-腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

嵌入式软件测试

专栏作者

3

文章

5049

阅读量

4

订阅数

嵌入式软件单元测试/集成测试工具－WINAMS

单元测试嵌入式打包

[Coverage master winAMS]是以嵌入式软件的函数为单位，实施模块单元测试以及C0/C1/MCDC覆盖率测试（coverage test）的嵌入式软件自动化单元测试工具。目标机源代码通过交叉编译器生成目标机执行代码，通过跟实际处理器同样的模拟处理器环境进行单元测试，不需要对执行代码做任何变动，使高信赖性的模块测试成为可能。在汽车控制软件这样的对安全性要求极高的领域，单元测试已经成为不可缺少的一部分。使用目标机代码进行单元测试也是为了符合汽车行业中ISO26262功能安全认证标准。

2019-03-13

2.6K0

嵌入式软件静态解析工具－CasePlayer2

c 语言嵌入式 c++windows html

CasePlayer2是通过解析ANSI C语言，C++，嵌入式C语言（非ANSI），以及汇编语言的源代码，制作包括流程图等的程序说明书的工具。不论是对以往的程序进行逻辑分析，还是为新开发的程序制作说明书，都提供了强有力的支援。作为程序静态分析功能，包括外部变量参照/代入的列表功能，以及C语言的编程标准[MISRA-C]的规范检查功能。

2019-03-13

1.6K0

MC-Verifier-基于模型开发 Back-to-Back测试统合工具

腾讯云测试服务

「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。

2019-03-13

8060

没有更多了

社区活动

腾讯技术创作狂欢月

“码”上创作 21 天，分 10000 元奖品池！

Python精品学习库

代码在线跑，知识轻松学

博客搬家 | 分享价值百万资源包

自行/邀约他人一键搬运博客，速成社区影响力并领取好礼

技术创作特训营·精选知识专栏

往期视频·千货材料·成员作品最新动态