腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
嵌入式软件测试
专栏成员
举报
3
文章
5207
阅读量
4
订阅数
订阅专栏
申请加入专栏
全部文章(3)
嵌入式(2)
c 语言(1)
c++(1)
html(1)
打包(1)
腾讯云测试服务(1)
单元测试(1)
windows(1)
搜索文章
搜索
搜索
关闭
嵌入式软件单元测试/集成测试工具-WINAMS
单元测试
嵌入式
打包
[Coverage master winAMS]是以嵌入式软件的函数为单位,实施模块单元测试以及C0/C1/MCDC覆盖率测试(coverage test)的嵌入式软件自动化单元测试工具。目标机源代码通过交叉编译器生成目标机执行代码,通过跟实际处理器同样的模拟处理器环境进行单元测试,不需要对执行代码做任何变动,使高信赖性的模块测试成为可能。在汽车控制软件这样的对安全性要求极高的领域,单元测试已经成为不可缺少的一部分。使用目标机代码进行单元测试也是为了符合汽车行业中ISO26262功能安全认证标准。
用户4841250
2019-03-13
2.7K
0
嵌入式软件静态解析工具-CasePlayer2
c 语言
嵌入式
c++
windows
html
CasePlayer2是通过解析ANSI C语言,C++,嵌入式C语言(非ANSI),以及汇编语言的源代码,制作包括流程图等的程序说明书的工具。不论是对以往的程序进行逻辑分析,还是为新开发的程序制作说明书,都提供了强有力的支援。作为程序静态分析功能,包括外部变量参照/代入的列表功能,以及C语言的编程标准[MISRA-C]的规范检查功能。
用户4841250
2019-03-13
1.6K
0
MC-Verifier-基于模型开发 Back-to-Back测试统合工具
腾讯云测试服务
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。
用户4841250
2019-03-13
837
0
没有更多了
社区活动
【纪录片】中国数据库前世今生
穿越半个世纪,探寻中国数据库50年的发展历程
立即查看
Python精品学习库
代码在线跑,知识轻松学
立即查看
博客搬家 | 分享价值百万资源包
自行/邀约他人一键搬运博客,速成社区影响力并领取好礼
立即体验
技术创作特训营·精选知识专栏
往期视频·千货材料·成员作品 最新动态
立即查看
领券
问题归档
专栏文章
快讯文章归档
关键词归档
开发者手册归档
开发者手册 Section 归档