一种列控系统安全关键软件测试用例的实例化方法 被引量：6

1

作者 刘思琪 张亚东 +2 位作者 杨武东 童音 饶畅 《小型微型计算机系统》 CSCD 北大核心 2019年第2期378-382,共5页

针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条... 针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合;其次,对表达式中的输入变量进行输入空间划分,得到各变量的取值集合;然后,以子句的逻辑值组合为约束条件,计算取值集合中满足条件的取值子集将其作为测试输入,并将各变量的测试输入子集进行组合,以此生成可执行的测试用例.最后,以CTCS-0/CTCS-2车载设备手动等级转换功能为研究对象,验证该方法的可行性. 展开更多

关键词 软件测试 测试用例 逻辑覆盖 确定性有限状态机 列车运行控制

下载PDF 职称材料

一种基于改进遗传算法的测试用例自动生成研究 被引量：3

2

作者 费雯悦 《北京石油化工学院学报》 2011年第4期43-48,共6页

测试用例的生成是软件测试领域的关键技术问题。近年来,受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生成方向的研究,对于软件测试的自动化有着重要的影响。为了生成高效的测试用例,笔者提出了一种改进的遗... 测试用例的生成是软件测试领域的关键技术问题。近年来,受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生成方向的研究,对于软件测试的自动化有着重要的影响。为了生成高效的测试用例,笔者提出了一种改进的遗传算法,该算法采用实数编码方式,采用逻辑覆盖原则,将遗传算法的适应度函数进行改进并加入遗传导向控制,这样有利于种群的多样性遗传,避免种群早熟收敛现象,并结合Delaunay三角网生成程序进行说明,验证了该算法的有效性。 展开更多

关键词 遗传算法 测试用例生成 软件测试 逻辑覆盖

下载PDF 职称材料

一种嵌入式软件逻辑覆盖测试方法研究 被引量：2

3

作者 肖永健 刘永恒 徐军 《计算机测量与控制》 2015年第4期1080-1083,共4页

针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入... 针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。 展开更多

关键词 嵌入式软件 故障注入 逻辑覆盖 故障信号传播

下载PDF 职称材料

软件测试用例的设计方法分析 被引量：1

4

作者 蔡丽 韩臻 《软件导刊》 2007年第9期29-30,共2页

软件测试的核心是测试用例的编写,所以测试用例的编写对于软件测试的过程来说十分重要,也是每个测试人员必须掌握的技能。在软件测试中黑盒测试和白盒测试是两类不同的测试方法。重点介绍了白盒测试中的逻辑覆盖,并结合实例给出了具体... 软件测试的核心是测试用例的编写,所以测试用例的编写对于软件测试的过程来说十分重要,也是每个测试人员必须掌握的技能。在软件测试中黑盒测试和白盒测试是两类不同的测试方法。重点介绍了白盒测试中的逻辑覆盖,并结合实例给出了具体说明。 展开更多

关键词 软件测试 测试用例 黑盒测试 白盒测试 逻辑覆盖

下载PDF 职称材料

基于高度综合化与模块化系统软件的测试方法研究 被引量：1

5

作者 顾晓明 吴振宇 《数字技术与应用》 2018年第6期105-108,共4页

针对高度综合化与模块化验收手段缺乏,本文分析这类系统的特点,基于目前现有测试方法,结合项目工程经验,探索其测试充分性,提出"分级分层需求覆盖"、"信号模拟仿真覆盖"、"核心应用逻辑覆盖"以及"... 针对高度综合化与模块化验收手段缺乏,本文分析这类系统的特点,基于目前现有测试方法,结合项目工程经验,探索其测试充分性,提出"分级分层需求覆盖"、"信号模拟仿真覆盖"、"核心应用逻辑覆盖"以及"同时序等效状态覆盖"测试方法。实际工程应用表明,能达到上述四个覆盖后,基本可以保证高度综合化与模块化系统的测试充分性,有效提高其测试质量,充分暴露隐藏问题。 展开更多

关键词 综合化与模块化 软件测试 逻辑覆盖 时序等效

下载PDF 职称材料

基于VxWorks的逻辑覆盖测试方法

6

作者 郭洋 《电子质量》 2007年第12期26-28,共3页

本文描述了逻辑覆盖测试的基本原理,分析了嵌入式实时软件逻辑覆盖测试的难点,详细介绍了一种可行的基于VxWorks的逻辑覆盖测试方法,可有效应用于对实时性要求较高,硬件资源有限的嵌入式软件测试中。

关键词 嵌入式软件 逻辑覆盖 软件测试

下载PDF 职称材料

软件测试中白盒测试覆盖方法 被引量：1

7

作者 佘凤 《电子商务》 2012年第12期59-60,共2页

本文主要针对白盒测试技术中的语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖等六种逻辑覆盖进行探讨。

关键词 白盒测试 逻辑覆盖

下载PDF 职称材料

逻辑函数高阶布尔e偏导数求解算法的实现

8

作者 罗文强 王伦耀 夏银水 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2018年第4期420-426,共7页

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"... 针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感. 展开更多

关键词 e导数 e偏导数 高阶 逻辑覆盖 逻辑不相交运算

下载PDF 职称材料

关于《软件工程》课程教学中条件覆盖方法的讨论

9

作者 陈莉莹 董文 《现代计算机》 2003年第12期60-62,共3页

软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法——逻辑覆盖测试方法,并结合一个例子重点讨论了运用条件覆盖测试方法设计测试用例的各种方案,还将条件覆盖方法与语句覆盖方法... 软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法——逻辑覆盖测试方法,并结合一个例子重点讨论了运用条件覆盖测试方法设计测试用例的各种方案,还将条件覆盖方法与语句覆盖方法、判定覆盖方法作了深入、细致的比较。 展开更多

关键词 软件测试 软件开发 《软件工程》 课程教学 条件覆盖方法 逻辑覆盖

下载PDF 职称材料

软件可靠性度量与逻辑覆盖测试的探讨

10

作者 卢元坤 《雷达与对抗》 1995年第2期59-62,共4页

本文分析了软件在可靠性上定量估计的可能性，并讨论了实现软件测试的途径及方法。

关键词 可靠性 度量 逻辑覆盖 软件 测试

下载PDF 职称材料

一个面向逻辑覆盖优先级的Eclipse插件

11

作者 沈毅 房春荣 陈振宇 《计算机与数字工程》 2013年第6期939-942,1012,共5页

测试用例优先级技术对现有测试用例重新排序,使得高优先级的测试用例能够优先执行从而提高测试效率。测试用例优先级通常需要提供准则以度量测试用例的优先等级。逻辑覆盖准则能够反映程序的分支决策,是测试用例优先级最重要的准则之一... 测试用例优先级技术对现有测试用例重新排序,使得高优先级的测试用例能够优先执行从而提高测试效率。测试用例优先级通常需要提供准则以度量测试用例的优先等级。逻辑覆盖准则能够反映程序的分支决策,是测试用例优先级最重要的准则之一。论文实现了一个基于Eclipse的插件,该插件采用测试用例优先级来优化并自动化回归测试过程。该插件支持多种基于代码覆盖和逻辑覆盖准则的测试用例优先级技术,能够提高回归测试效率。 展开更多

关键词 测试用例优先级 逻辑覆盖 相似度 错误检测

下载PDF 职称材料

基于逻辑覆盖的软件测试分析

12

作者 赵家玉 《软件导刊》 2011年第2期23-25,共3页

逻辑覆盖是设计白盒测试方案的一种技术,白盒测试是软件测试技术的一种动态方法,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。

关键词 白盒测试 逻辑覆盖 软件测试

下载PDF 职称材料

基本路径测试与逻辑覆盖的对比研究

13

作者 宋婉娟 《湖北第二师范学院学报》 2013年第8期56-59,共4页

基本路径测试和逻辑覆盖测试是白盒测试的两种基本测试方法,在具体的测试案例中,存在多种覆盖准则以及基本路径难以选择的问题。本文结合具体的案例探讨一下基本路径测试法和逻辑覆盖的应用,得出在白盒测试中,测试用例冗余时的选择标准。

关键词 基本路径 逻辑覆盖 测试用例

下载PDF 职称材料

基于基本路径的逻辑覆盖测试方法

14

作者 莫晓柏 黄瑞芳 《常州工业技术学院学报》 1994年第2期12-22,共11页

本文提出了一种属于白箱测试的基本路径的测试方法。该方法以图论为基础,引进园卷复杂度概念,利用这个度量导出程序过程的所有可能的基本路径集,执行按这个基本路径集设计出来的测试例题集可保证这个程序过程的逻辑覆盖。

关键词 软件工程 基本路径 逻辑覆盖 测试

下载PDF 职称材料

对逻辑覆盖软件测试准则的公理化评估 被引量：9

15

作者 刘玲 缪淮扣 《软件学报》 EI CSCD 北大核心 2004年第9期1301-1310,共10页

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选... 由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导. 展开更多

关键词 基于规格说明的测试 逻辑覆盖测试准则 公理化评估 测试充分性准则

下载PDF 职称材料

逻辑覆盖测试工具的设计与实现 被引量：11

16

作者 魏光新 苏丽 《计算机工程与应用》 CSCD 北大核心 2000年第5期106-109,共4页

文章从软件测试入手，在介绍逻辑覆盖测试原理的基础上，以逻辑覆盖测试工具ＦＣＡ为例，详细介绍了逻辑覆盖测试工具的设计与实现。

关键词 软件测试 逻辑覆盖测试工具 软件开发

下载PDF 职称材料

白盒测试技术概述 被引量：5

17

作者 刘洋 《广西大学学报（自然科学版）》 CAS CSCD 2008年第B06期146-149,共4页

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆... 白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖. 展开更多

关键词 白盒测试 逻辑覆盖测试 循环覆盖测试

下载PDF 职称材料

基于时间自动机的CTCS-3级列控等级转换场景测试用例生成方法研究

18

作者 易翠英 《自动化与仪器仪表》 2024年第3期264-267,共4页

为了提高列控等级转换系统测试效率和自动化程度,以时间自动机为基本依据,研究设计了一种中国列车运行控制系统-2级转中国列车运行控制系统-3级列控等级转换系统进行模型信息提取,并自动生成测试路径,从而生成具体的测试用例。结果表明... 为了提高列控等级转换系统测试效率和自动化程度,以时间自动机为基本依据,研究设计了一种中国列车运行控制系统-2级转中国列车运行控制系统-3级列控等级转换系统进行模型信息提取,并自动生成测试路径,从而生成具体的测试用例。结果表明,列车转换时间主要集中在62 s~75 s。转换时间为80 s时,转换成功概率为99.7%以上。等级转换过程,结合获得的测试路径,最终得到测试用例153条。在测试路径基础上,依据逻辑覆盖准则,得到各谓词条件的变量取值范围,结合已有测试路径,最终生成了具体测试用例。该方法的测试用例有效提高了软件开发效率,缩短开发周期,降低了出错率,提高测试自动化程度。该方法提高了列控等级转换系统测试效率和自动化程度,对列控系统等级转换场景软件开发高效性研究具有重要意义。 展开更多

关键词 时间自动机 CTCS-3级 等级转换 测试用例 逻辑覆盖准则

原文传递

软件单元测试用例设计探讨 被引量：3

19

作者 刘伟 叶祥明 《机械管理开发》 2013年第2期106-107,109,共3页

单元测试的核心工作是根据软件需求规格说明、详细设计说明和源代码编写单元测试用例集。介绍了单元测试用例设计的逻辑覆盖法和路径覆盖法,剖析了它们的优缺点,并结合这两种用例设计方法,给出了一种循环结构的测试策略。

关键词 单元测试 逻辑覆盖法 路径覆盖法 控制流图

下载PDF 职称材料

基于嵌入式系统的BullseyeCoverage逻辑覆盖测试方法 被引量：1

20

作者 赵婷婷 《电子世界》 2020年第13期204-206,共3页

目前嵌入式软件的覆盖率测试相对通用平台软件具有一定的的复杂性和困难性,本文介绍了一种基于嵌入式系统的Bullseye Coverage逻辑覆盖测试概念及方法,研究了代码覆盖率工具Bullseye Coverage的工作原理,并应用到实际嵌入式系统测试案例... 目前嵌入式软件的覆盖率测试相对通用平台软件具有一定的的复杂性和困难性,本文介绍了一种基于嵌入式系统的Bullseye Coverage逻辑覆盖测试概念及方法,研究了代码覆盖率工具Bullseye Coverage的工作原理,并应用到实际嵌入式系统测试案例中,实践结果表明,Bullseye Coverage测试工具能够从函数覆盖. 展开更多

关键词 嵌入式系统 代码覆盖率 嵌入式软件 逻辑覆盖测试 通用平台 覆盖率测试 测试工具 COVERAGE

下载PDF 职称材料