专栏首页嵌入式软件测试MC-Verifier-基于模型开发 Back-to-Back测试统合工具
原创

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

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

MC-Verifier是一款能够对模型(MIL)、软件(SIL)、目标代码(PIL)的动作进行比较实施B2B测试、从来评价两者间的误差及找到错误发生位置的B2B测试统合工具。可以使用其他MBD工具生成的测试用例进行B2B测试。目标代码的执行使用gaio公司的芯片仿真器、不需要使用开发板等一切硬件。

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

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

    [Coverage master winAMS]是以嵌入式软件的函数为单位,实施模块单元测试以及C0/C1/MCDC覆盖率测试(coverage test)的嵌...

    用户4841250
  • 嵌入式软件静态解析工具-CasePlayer2

    CasePlayer2是通过解析ANSI C语言,C++,嵌入式C语言(非ANSI),以及汇编语言的源代码,制作包括流程图等的程序说明书的工具。不论是对以往的程...

    用户4841250
  • 如何在java中去除中文文本的停用词

    第一步:先将中文文本进行分词,这里使用的HanLP-汉语言处理包进行中文文本分词。

    IT小白龙
  • 数组-在给定数组中,快速寻找两数之和等于目标值

    给定一个整数数组 nums 和一个目标值 target,请你在该数组中找出和为目标值的那 两个 整数,并返回他们的数组下标。你可以假设每种输入只会对应一个答案。...

    阿伟
  • 序列比对(九)从掷骰子说起HMM

    前面八篇文章介绍了动态规划在序列比对中的基础应用。从本文开始,开始介绍HMM(隐马尔可夫模型)。为什么要介绍它呢?因为该模型在发现Motif、预测CpG岛等多方...

    一只羊
  • Leetcode 16. 3Sum Closest

    版权声明:博客文章都是作者辛苦整理的,转载请注明出处,谢谢! https://blog.csdn....

    Tyan
  • 一场pandas与SQL的巅峰大战(七)

    具体来讲,第一篇文章一场pandas与SQL的巅峰大战涉及到数据查看,去重计数,条件选择,合并连接,分组排序等操作。

    超哥的杂货铺
  • 【Leet Code】1. Two Sum

    版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。

    韩旭051
  • LintCode-761. 最小子集

    给一非负整数数组. 取数组中的一部分元素, 使得它们的和大于数组中其余元素的和, 求出满足条件的元素数量最小值.

    悠扬前奏
  • 算法:递归和分治-实战

    版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。 ...

    营琪

扫码关注云+社区

领取腾讯云代金券