-
题名基于遗传算法的测试用例生成技术
被引量：4
- 1
-
-
作者
宋倩
-
机构
江苏自动化研究所
-
出处
《计算机系统应用》
2014年第11期264-267,共4页
-
文摘
在计算机软件的生命周期中,由于各种各样的原因,留给软件测试的时间往往不够执行全面而充分的测试.覆盖率和数量作为测试用例质量的主要影响因子,一直受到人们的关注.然而测试用例的执行顺序作为影响测试效率的重要因素,却一直未引起足够的重视.提出了一种基于遗传算法的测试用例生成技术,综合考虑覆盖率、数量和用例的执行顺序三个因子,生成高效的测试用例集.使测试人员能够按照既定的顺序执行用例集,在最短的时间内,完成最重要的软件功能测试.
-
关键词
软件测试
覆盖率
遗传算法
用例执行顺序
用例生成技术
-
Keywords
software testing
coverage
genetic algorithm
exection sequence of test case
case generation technology
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名基本路径测试用例自动生成的方法研究
被引量：2
- 2
-
-
作者
孙晶
李硕
赵会群
-
机构
北方工业大学计算机学院
-
出处
《计算机工程与应用》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于形式化方法的服务自动测试方法
- 3
-
-
作者
张迎周
符炜
张卫丰
-
机构
南京邮电大学计算机学院
桂林电子科技大学广西可信软件重点实验室
江苏省无线传感网高技术研究重点实验室
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2013年第12期2619-2630,共12页
-
基金
国家自然科学基金(60873049
61300054)
+4 种基金
江苏省自然科学基金(BK2009426)
江苏省高校自然科学基金(10KJB520015)
南京邮电大学攀登计划项目基金(NY210009)
江苏省"青蓝工程"优秀青年骨干教师以及高校研究生科研创新计划项目(CXLX12_0479)
广西可信软件重点实验室开放基金(PF13069)资助课题
-
文摘
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
-
关键词
WEB服务测试
测试用例表示
测试数据自动测试
单子技术
余代数方法
-
Keywords
Web service testing
test case description
test data auto-generation
monad technology
coal-gebraic method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名GUI测试技术调查与分析
- 4
-
-
作者
饶建农
-
机构
韶关学院韶州师范分院计算机系
-
出处
《西昌学院学报（自然科学版）》
2019年第2期94-98,115,共6页
-
文摘
GUI(图形用户界面)软件系统的多样性决定了测试方法的多样性。针对GUI软件测试中如何选择测试技术的问题,通过设定的8个技术参数,在对测试技术进行分析后,提出了根据故障模型对GUI测试技术进行分类的方法。分析结果清晰地显示了每种测试技术的特点,能为测试员选择合适的测试技术完成测试活动提供新的思路,提高测试效率。
-
关键词
图形用户界面测试
故障模型
技术参数
测试用例生成技术
测试工具
-
Keywords
GUI testing
fault model
technical parameters
test case generation technology
testing tools
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名蒙特卡罗方法在黑盒测试用例生成中的应用
- 5
-
-
作者
李路军
谢彦峰
-
机构
兰州交通大学电子与信息工程学院
-
出处
《太原科技》
2010年第1期83-85,共3页
-
文摘
测试用例的生成方法是软件测试技术研究的核心内容,利用蒙特卡罗方法自动产生随机数并将其映射到测试用例的输入域上,可以提高软件测试的准确性和正确率、缩短软件测试的周期。
-
关键词
蒙特卡罗方法
测试用例生成
软件测试技术
-
Keywords
Monte-Carlo method
test case generation
software testing technology
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
