题名 基本路径测试用例设计算法
被引量:9
1
作者
王敏
陈少敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机应用》
CSCD
北大核心
2013年第11期3262-3266,共5页
基金
国家自然科学基金资助项目(61072075)
文摘
McCabe提出的基本路径测试法(McCABE T J.A complexity measure.IEEE Transactions on Software Engineering,1976,SE-2(4):308-320)是动态白盒测试技术中严谨而有效的方法,但存在测试用例设计效率较低的问题,影响了该方法在工程项目中的广泛应用。为了解决这一问题,从被测程序的基本结构出发,提出一种基于组合的基本路径测试用例设计方法。创建一种基于Z路径覆盖的基本单元图,构建由基本单元图组合形成控制流图的组合规则,以此为基础提出了基本路径组合算法,该算法只需一次扫描程序得到程序基本结构的路径集,将这些路径进行组合即可生成被测程序的基本路径集。该方法比McCabe所提出的方法构造过程简洁,能有效提高基本路径测试用例设计的效率。
关键词
基本单元
基本路径测试
基本路径集
自动化测试
白盒测试
Keywords
basic unit
basic path test ing
basic path set
automated test ing
white-box test ing
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于路径覆盖的嵌入式软件动态测试研究
被引量:7
2
作者
朱丽
李汪彪
苏伟达
吴允平
机构
福建师范大学光电与信息工程学院
出处
《现代电子技术》
2013年第6期63-65,共3页
基金
教育部重点项目(212087)
福建省科技厅重大项目(2011H6009)
+1 种基金
福建省教育厅项目(JA11037
JA10078)
文摘
针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架。该框架基于嵌入式软件测试的特点及路径覆盖的相关理论,包括被测试程序的静态分析、插桩技术和数据处理分析等部分。以静态分析指导插桩库的建立,通过插桩技术在程序分支或重要位置点植入探针,执行已插桩程序,获得动态测试跟踪数据,最后对数据进行处理分析并制作初步测试报告。结合该框架,模拟测试实验室现行项目208型海区终端的航标数据采集模块,得出路径覆盖率,证明该系统框架的可行性。
关键词
嵌入式软件
软件测试
路径覆盖
基本路径测试
覆盖率分析
Keywords
embedded software
software test ing
path coverage
basic path test ing
coverage rate analysis
分类号
TN919-34
[电子电信—通信与信息系统]
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 一种基本路径集求解算法
被引量:2
3
作者
王敏
陈少敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机应用与软件》
CSCD
北大核心
2014年第11期11-14,57,共5页
基金
国家自然科学基金项目(61072075)
文摘
McCabe提出的基本路径测试法被认为是动态白盒测试方法中严谨而有效的测试方法。如何提高基本路径测试的效率是人们一直在探索的问题。为此,从被测程序的基本结构出发,提出一种基于组合的基本路径求解算法。该算法首先创建一种基于Z路径覆盖的基本单元图;然后建立由基本单元图组合形成控制流图的组合规则;以此为基础,提出基本路径组合算法。该算法只需一次扫描程序得到程序基本结构的路径集,然后将这些路径进行组合生成被测程序的基本路径集。
关键词
基本单元
基本路径测试
基本路径集
自动化测试
白盒测试
Keywords
basic unit
basic path test ing
basic path set
Automated test ing
White-box test ing
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
题名 用于基本路径测试的路径字符串组合算法
被引量:5
4
作者
王敏
陈亚光
机构
武昌理工学院信息工程学院
中南民族大学生物医学工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2013年第12期134-140,共7页
基金
国家自然科学基金资助项目(60972158
61072075)
文摘
自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构成方式和组合方式,制定了路径字符串的组合规则。依据这些方式及规则导出了基本路径集的求解算法。实验表明,在满足相同覆盖准则的情况下,该算法比McCabe所提出的方法求解过程更简洁,并且输出的中间结果易于理解,便于测试用例集的优化。
关键词
路径字符串
基本路径测试
基本路径集
白盒测试
Keywords
path string
basic path test ing
basic path set
white-box test ing
分类号
TP311.55
[自动化与计算机技术—计算机软件与理论]
题名 白盒测试基路径算法
被引量:13
5
作者
杜庆峰
李娜
机构
同济大学软件学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第15期100-102,123,共4页
文摘
归纳基路径测试的方法,结合图论和向量空间的理论提出一种根据程序图寻找基路径的算法,分析程序图各种可能的结构,采用标记遍历程序图节点和递归等方法得出基路径,将该算法用C++语言予以实现并运用到一个例子代码中,结果证明该算法是合理的、有效的。
关键词
软件测试
基路径
算法
Keywords
software test
basic path
algorithm
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
题名 基本路径测试用例设计的改进方法
被引量:5
6
作者
王敏
马敏
张志
机构
湖北广播电视大学软件工程学院
出处
《计算机应用与软件》
北大核心
2019年第10期17-22,86,共7页
基金
湖北省自然科学基金项目(2016CKC774)
湖北省教育科学规划课题(2018GB218)
文摘
基于路径字符串组合的基本路径集求解算法以简单的字符串处理实现了基本路径集的求解,但该算法没有考虑判断语句的条件拆分问题。提出采用决策表法解决基本路径集求解的条件拆分问题,在扫描被测程序时提取判断语句信息,将含多个条件的判断语句转化为一个决策表节点,生成含决策表节点的T基本路径集;根据提取的判断语句信息得到因果表达式,生成决策表,依据决策表生成规则路径集,按照一定规则将T基本路径集与规则路径集进行组合,则可生成满足条件覆盖的基本路径集。
关键词
基本路径测试
规则路径
测试工具
智能机器人控制软件
Keywords
basic path test ing
Regular path
test tool
Intelligent robot control software
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基路径覆盖测试用例自动生成方法研究
被引量:5
7
作者
宋想
宋晓秋
机构
中国航天科工集团第二研究院
出处
《计算机工程与设计》
CSCD
北大核心
2013年第8期2759-2763,共5页
文摘
传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。
关键词
面向路径测试
路径覆盖
基路径覆盖
圈复杂度
测试用例自动生成
Keywords
path -oriented test ing
path coverage
basic path coverage
ring complex
test data generation automatically
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
题名 一种软件体系结构级基本路径覆盖方法
8
作者
赵磊
吕莉媛
赵国生
机构
哈尔滨师范大学现代实验中心
哈尔滨师范大学图书馆
出处
《计算机工程》
CAS
CSCD
2012年第10期60-62,66,共4页
基金
教育部青年基金资助项目(10YJC870025)
黑龙江省科技攻关基金资助项目(GZ09A109)
黑龙江省教育厅科技基金资助项目(12521150)
文摘
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基本路径覆盖准则及测试序列生成算法,生成测试路径。以C/S体系结构为例验证该方法的正确性和有效性。
关键词
化学抽象机
软件体系结构
有向无环图
测试覆盖准则
基本路径覆盖
Keywords
Chemical Abstract Machine(CHAM)
software architecture
Directed Acyclic Graph(DAG)
test coverage criterion
basic path coverage
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件测试方法的研究与应用
被引量:8
9
作者
武昭宇
张月琴
阎华
机构
太原理工大学信息化管理与建设中心
出处
《太原理工大学学报》
CAS
北大核心
2016年第3期379-383,共5页
基金
山西省科技基础条件平台建设资助项目:基于物联网的城市智慧水务云管理平台(2015091003-0103)
文摘
对软件需求规格说明书的静态测试方法、基于路径的白盒测试方法和黑盒测试方法进行了讨论和研究。针对图形软件的测试提出一种可视化测试方法,并给出了以印刷电路版图为例进行测试的处理算法和操作步骤;通过实际案例"数字档案系统"说明软件需求规格说明书测试方法和基于路径测试方法的应用。该研究对于软件开发和测试人员在选择和应用测试方法时提供一定的参考和帮助。
关键词
软件质量
软件测试
需求规格说明
基本路径
决策表
可视化
Keywords
software quality
software test ing
requirement specification
basic path
decision tables
visualization visual
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
题名 基本路径测试用例自动生成的方法研究
被引量:2
10
作者
孙晶
李硕
赵会群
机构
北方工业大学计算机学院
出处
《计算机工程与应用》
CSCD
北大核心
2018年第20期48-53,共6页
基金
国家自然科学基金(No.61370051)
文摘
基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。
关键词
基本路径测试
测试用例生成
编译技术
规约自动提取
条件归约组合优化
Keywords
basic path test
test case generation
compilation technology
automatic reduction extraction
conditional reduction combinatorial optimization
分类号
TP311
[自动化与计算机技术—计算机软件与理论]