腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
嵌入式软件测试
专栏成员
举报
3
文章
5207
阅读量
4
订阅数
订阅专栏
申请加入专栏
全部文章(3)
嵌入式(2)
c 语言(1)
c++(1)
html(1)
打包(1)
腾讯云测试服务(1)
单元测试(1)
windows(1)
搜索文章
搜索
搜索
关闭
MC-Verifier-基于模型开发 Back-to-Back测试统合工具
腾讯云测试服务
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。
用户4841250
2019-03-13
837
0
没有更多了
社区活动
【纪录片】中国数据库前世今生
穿越半个世纪,探寻中国数据库50年的发展历程
立即查看
Python精品学习库
代码在线跑,知识轻松学
立即查看
博客搬家 | 分享价值百万资源包
自行/邀约他人一键搬运博客,速成社区影响力并领取好礼
立即体验
技术创作特训营·精选知识专栏
往期视频·千货材料·成员作品 最新动态
立即查看
领券
问题归档
专栏文章
快讯文章归档
关键词归档
开发者手册归档
开发者手册 Section 归档