发新帖我要提问
返回列表
打印

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

[复制链接]
515|1
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
fzm5298|  楼主 | 2019-3-12 14:49 | 只看该作者 |只看大图 回帖奖励 |倒序浏览 |阅读模式
模型, ck, AC, 代码, 软件
    「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目
标代码之间的动作一致性。


0001.jpg (256.42 KB )

0001.jpg

0002.jpg (251.34 KB )

0002.jpg

使用特权

评论回复 赏

相关下载

相关帖子
沙发
零三翟邢止胃| | 2019-3-13 12:54 | 只看该作者
很好的啊！！！！！

使用特权

评论回复 赏
返回列表
发新帖 我要提问
高级模式
B Color Image Link Quote Code 收费 Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

fzm5298

15

主题

18

帖子

0

粉丝