代码动态验证工具
为什么选择controllertester
区别
优势
预期效果
01 提高品质,提升sw质量及确保客户的信赖
02 降低成本,降低测试和维护成本
需求
mission critical领域的安全性和可靠性认证
通过测试实现结构覆盖目标
需要在实际目标环境中进行测试
解决方案
单元/集成测试执行和覆盖率测定
自动创建测试和自定义测试
可测量语句、分支、函数、函数调用覆盖率和mc/dc
实际目标环境测试
一键点击即可在实际目标上检查测试执行和结果(联动debugger)
支持多种环境配置和通信方式(serial/ethernet/jtag)
功能
1、存根函数
能够用存根(桩函数)替换难以控制的原始函数
测试以存根而不是原始函数的形式返回所需的值
为未定义的函数(库等)自动生成存根
2、模拟对象(mock)功能
进行c++测试时,可以快速、可靠地代替对象依赖项的功能
测试目标的对象依赖自动识别和代码生成
通过gui输入模拟对象(mock)明细
行为验证(behaviorverification)
3、控制流图(controlflow graph)
提供控制流图以帮助理解源代码
结合远大吗查看覆盖率结果
4、mc/dc
为实现领域要求的mc/dc目标提供指导
5、扩展性(scalability)
能够测试大型复杂的sw和大容量的测试数据
6、cover产品共享覆盖率
自下而上的方法快速实现覆盖目标
7、测试再利用
提供在源代码更改后重用测试的便利功能
更改源代码自动检测(完整性检查)
为变更对象提供基于相似度的推荐/自动匹配功能(批量修改)
8、基于符号执行自动生成测试输入
诊断程序运行要素,自动实现主要逻辑的覆盖目标
支持基于主机的所有单元/集成测试
基于符号执行自动生成测试输入
自动生成高质量的测试输入
※ 什么是高质量测试输入?
✓ 反映源代码逻辑
✓ 满足测试需求(覆盖率)
→ 可确认需求事项和一致性
→ 快速实现目标
✓ 导致意外错误
✓ 将测试用例数量保持再最低限度
→ 确认无效代码编写
→ 降低测试维护成本
规范
详细环境
硬件推荐
无人机do-178ba级案例(etri、kai)
a17芯片和麒麟芯片哪个好?a17芯片和骁龙8gen3哪个好?
第十一届中国电子信息博览会在深圳盛大开幕,携手产业链谱写新篇章
iphone8什么时候上市最新消息:iphone8携手iphone7s如期发布,真机、配置、价格大曝光!
水电池制作方法_如何修复水电瓶
称重传感器怎么测量_称重传感器不准的原因
为什么选择CONTROLLERTESTER
单键/一键触摸触控IC:VKD223B/VKD223EB/223NB,VKD232C两按键/双通道触控感应芯片,取代市面223B/223EB/223NB/232C 原厂开发资料
EeIE智博会▏探索智造·工厂数智化转型与技术应用智造展示&高峰论坛 ————行走的智博会·走进苏州
掌握串口通信协议的收发过程
快速了解!中国制造2025将给工业控制领域带来什么?
电缆制造设备上一般需要什么样的导电滑环
米尔科技关于MYD-C8MMX开发板测评
智能魔镜在厨房中的应用,带来不一样的智能体验
三星1nm时代光刻机体积将增加
骁龙835发布顺序有那么重要吗?三星说其实他们都拿到不货
小米行车记录仪宣布采用海思的芯片
谷歌Home Max:会让无线路由器崩溃停止工作
三防漆在电动汽车和汽车电子行业的应用
“猎鹰9”火箭爆炸事故后,SpaceX重新成功发射通信卫星
全志和瑞芯微比较_哪家强