注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 布尔表达式的mc/dc覆盖

  2. 对布尔表达式进行语法分析，变异出多个布尔表达式，以符合mc/dc覆盖准则

  3. 所属分类：C++

    • 发布日期：2013-03-17
    • 文件大小：37kb
    • 提供者：daqinzl

  1. 嵌入式软件测试工具--LOGISCOPE

  2. LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。 LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模

  3. 所属分类：硬件开发

    • 发布日期：2008-10-13
    • 文件大小：15mb
    • 提供者：zhongyunde

  1. 产品手册-SmartUnit单元测试工具.pdf

  2. 单元测试现状 汽车电子嵌入式单元测试 SmartUnit系列产品介绍 SmartUnit Air 智能化单元测试用例设计工具 SmartUnit Rocket 智能化单元测试工具 SmartUnit DDC 动态缺陷检查工具 概述 汽车电子领域等高安全领域，对单元测试有较高的行业标准： 汽车电子行业遵从ISO26262标准。安全等级从ASIL-A到ASIL-D，对单元测试的要求依次增高。其中最高等级ASIL-D要求测试用例对 语句、分支、MC/DC准则的覆盖率均达到100

  3. 所属分类：C

    • 发布日期：2020-02-17
    • 文件大小：948kb
    • 提供者：Rain20200202

  1. 基于MC/DC的软件模块可靠性估计

  2. 介绍了Nelson模型及修改的条件/判定覆盖的基本概念，提出用Nelson模型来估计软件模块可靠性，依据修改的条件/判定覆盖划分数据输入域。最终依据模块可靠性算出系统可靠性。

  3. 所属分类：其它

    • 发布日期：2020-10-26
    • 文件大小：165kb
    • 提供者：weixin_38750003

  1. 单元测试中测试用例的设计方法

  2. 本文来自于CSDN，文章主要介绍常见的用例设计方法：用于语句覆盖的基路径法以及用于MC/DC的真值表法等相关内容。基路径法保证设计出的测试用例，使程序的每一个可执行语句至少执行一次，即实现语句覆盖。基路径法是理论与应用脱节的典型，基本上没有应用价值，读者稍作了解即可，不必理解和掌握。基路径法步骤如下：1）画出程序的控制流图控制流图是描述程序控制流的一种图示方法，主要由结点和边构成，边代表控制流的方向，节点代表控制流的汇聚处，边和结点圈定的空间叫做区域，下面是控制流图的基本元素：以下代码：可以画出

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：166kb
    • 提供者：weixin_38721119

  1. 单元测试中测试用例的设计方法

  2. 本文来自于CSDN，文章主要介绍常见的用例设计方法：用于语句覆盖的基路径法以及用于MC/DC的真值表法等相关内容。 基路径法保证设计出的测试用例，使程序的每一个可执行语句至少执行一次，即实现语句覆盖。基路径法是理论与应用脱节的典型，基本上没有应用价值，读者稍作了解即可，不必理解和掌握。 基路径法步骤如下： 1）画出程序的控制流图 控制流图是描述程序控制流的一

  3. 所属分类：其它

    • 发布日期：2021-01-27
    • 文件大小：163kb
    • 提供者：weixin_38593823

  1. gnatcoverage：GNATcoverage：覆盖率分析工具-源码

  2. GNAT覆盖 GNATcoverage是分析和报告计划覆盖范围的工具。 GNATcoverage最初是作为Couverture研究项目的一部分开发的，它允许对目标代码（指令和分支覆盖）以及Ada或C语言源代码（语句，决策和修改后的条件/决策覆盖-MC / DC）进行覆盖分析。 请参阅专用的README文件以获取和。 文献资料 是Sphinx文档，在已进行了跟踪。 为了构建HTML视图，请安装Sphinx并从tools/gnatcov/目录运行以下命令： make doc.html 执照 G

  3. 所属分类：其它