嵌入式软件目标码仿真测试平台的研究与设计 被引量：9

1

作者 杨芳 贺红卫 +1 位作者 谢鹏 饶京宏 《计算机工程与设计》 CSCD 北大核心 2009年第19期4364-4367,共4页

为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿... 为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建、目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法。通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性。 展开更多

关键词 目标码 嵌入式软件 软件测试 仿真测试平台 语句覆盖率 分支覆盖率

下载PDF 职称材料

浅谈白盒测试技术 被引量：4

2

作者 洪新峰 《电脑知识与技术（过刊）》 2010年第13期2633-2634,共2页

伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基... 伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基本的方法之一,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。该文将重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。 展开更多

关键词 白盒测试 语句覆盖 判定覆盖 条件覆盖 组合覆盖 路径覆盖

全文增补中

判定覆盖和条件覆盖的比较研究

3

作者 王静 《软件导刊》 2011年第1期71-72,共2页

判定覆盖和条件覆盖是白盒测试中常用的方法,分析并得出结论:在具有短路特性的计算机语言编写的程序中,满足条件覆盖的测试用例是满足判定覆盖的,反之则不然。

关键词 白盒测试 逻辑覆盖法 判定覆盖 条件覆盖

下载PDF 职称材料

更改的判定条件覆盖测试技术研究 被引量：10

4

作者 张义德 王国庆 汤幼宁 《计算机工程与设计》 CSCD 2003年第5期19-22,26,共5页

与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它... 与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。 展开更多

关键词 软件测试 判定条件 结构覆盖准则 覆盖测试 软件开发

下载PDF 职称材料

更改条件/判定覆盖最小真值表生成算法及其应用 被引量：7

5

作者 朱晓波 杨伟民 叶芯 《上海理工大学学报》 CAS 北大核心 2007年第1期84-88,共5页

研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.

关键词 结构测试 更改判定/条件覆盖 真值表 Pileatus工具

下载PDF 职称材料

基于形式化描述测试用例生成的研究与实现 被引量：4

6

作者 王伟光 丁洪达 曾庆凯 《计算机应用》 CSCD 北大核心 2008年第4期1018-1022,共5页

根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形... 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。 展开更多

关键词 安全评估 测试用例生成 形式化描述 更改条件判定覆盖

下载PDF 职称材料

面向条件判定覆盖的线性拟合制导测试生成 被引量：5

7

作者 汤恩义 周岩 +1 位作者 欧建生 陈鑫 《软件学报》 EI CSCD 北大核心 2016年第3期593-610,共18页

条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.... 条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率. 展开更多

关键词 测试用例自动生成 条件判定覆盖 线性拟合 关联路径

下载PDF 职称材料

基于MC/DC覆盖的最小测试用例集设计 被引量：1

8

作者 林双才 《电子测试》 2019年第23期52-54,共3页

单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同... 单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同时重点介绍了如何设计出满足修正条件判定覆盖的最小测试用例集的两种方法 :真值对法、唯一原因法。 展开更多

关键词 条件判定覆盖 修正条件判定覆盖 组合条件覆盖 真值对

下载PDF 职称材料

基于修正条件判定覆盖的软件测试技术研究和方法应用 被引量：4

9

作者 岳海 任慧敏 《航天控制》 CSCD 北大核心 2012年第3期69-72,共4页

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。

关键词 软件测试 修正条件判定覆盖 最小测试用例集

下载PDF 职称材料

基于MC/DC生成测试用例方法研究 被引量：2

10

作者 曹爽 张育平 《工业控制计算机》 2010年第2期67-69,共3页

设计和编写测试用例是软件测试中最重要的步骤。分析机载系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上,依据MC/DC准则,研究了一个布尔运算符替换算法。将该算法实现为工... 设计和编写测试用例是软件测试中最重要的步骤。分析机载系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上,依据MC/DC准则,研究了一个布尔运算符替换算法。将该算法实现为工具,用于生成满足MC/DC准则要求的测试用例。最后结合实例验证该工具的实用性。 展开更多

关键词 修订的条件/判定覆盖 布尔表达式 真值表

下载PDF 职称材料

基于MC/DC最小测试用例集设计方法研究 被引量：3

11

作者 袁军 《航空电子技术》 2010年第3期51-54,共4页

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设... 动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。 展开更多

关键词 DO-178B 改进条件/判定范围(MC/DC) 最小测试用例集

下载PDF 职称材料

基于维持种群多样性的测试数据生成算法的研究 被引量：2

12

作者 王建民 蔡媛 《计算机研究与发展》 EI CSCD 北大核心 2012年第5期1039-1048,共10页

测试数据自动化生成技术尝试寻找一个相对小的数据集来满足测试充分性标准,以降低软件测试的成本,提高测试效率.当测试项的数据集大小超过其上限时,算法会使用淘汰算法把差异性较小的测试数据从集合中淘汰掉,把差异性较大的测试数据留下... 测试数据自动化生成技术尝试寻找一个相对小的数据集来满足测试充分性标准,以降低软件测试的成本,提高测试效率.当测试项的数据集大小超过其上限时,算法会使用淘汰算法把差异性较小的测试数据从集合中淘汰掉,把差异性较大的测试数据留下来,以维持种群的多样性.针对此问题,提出一种基于维持种群多样性的演化算法来求解测试数据集,算法利用启发信息迭代地选择一个条件?判定语句作为子目标,通过演化算法生成数据以覆盖目标.在此算法框架内,利用一种新的计算评估值的方法计算数据与测试项的距离信息;以及利用归一的曼哈顿距离计算测试数据差异性,通过淘汰策略把差异性较小的测试数据淘汰掉.在实验中,对14个计算机科学基础算法的基准函数进行了测试,并与现有文献中的测试数据生成方法进行对比,验证了算法有效提高了条件?判定覆盖率,并且减少了测试数据的生成数量,提高了测试性能. 展开更多

关键词 结构化测试 测试数据自动化生成 测试用例 条件/判定覆盖 元启发式搜索技术

下载PDF 职称材料

几种特定判定形式的MC／DC评估分析 被引量：1

13

作者 张卫民 陈宏敏 《飞行器测控学报》 2008年第4期56-60,共5页

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。

关键词 修正的条件/判定覆盖(MC/DC) 条件 判定 软件测试 MC/DC分析

下载PDF 职称材料

修正的条件/判定覆盖分析工具评估与选择

14

作者 张卫民 孙军 《载人航天》 CSCD 2009年第3期40-43,53,共5页

使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个... 使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。 展开更多

关键词 修正的条件/判定覆盖 覆盖分析工具 工具评估

下载PDF 职称材料

基于RGB模式的一种草地盖度定量快速测定方法研究 被引量：25

15

作者 章超斌 李建龙 +3 位作者 张颖 周伟 钱育蓉 杨峰 《草业学报》 CSCD 北大核心 2013年第4期220-226,共7页

盖度是研究植物群落结构的一个重要数量指标,传统目视估算法精度低且受人的影响较大。本研究分析了大量荒漠草地实地照片的RGB颜色模式特征,构造了RGB颜色判别决策树区分植被与非植被像元来计算植被的覆盖度,同时在Matlab 7.0平台上将... 盖度是研究植物群落结构的一个重要数量指标,传统目视估算法精度低且受人的影响较大。本研究分析了大量荒漠草地实地照片的RGB颜色模式特征,构造了RGB颜色判别决策树区分植被与非植被像元来计算植被的覆盖度,同时在Matlab 7.0平台上将数码照片的导入、地物判别、盖度计算、划分结果显示、对照等功能模块集成,构建用户界面友好、人机交互便捷软件模块,从而能够准确、高效地计算草地盖度,方便了草原实地调查工作。与针刺法相比,该方法计算得到的植被覆盖度最大偏差绝对值不超过5%,精度在95%以上,解决了常规人工方法中估测草地盖度工作量大、不能准确定量测定的问题。 展开更多

关键词 草地 RGB判别决策树 植被盖度 MATLAB

下载PDF 职称材料