| 基于代数式规范的变异测试方法的设计与实现 |
| |
| 引用本文： | 陆毅明.基于代数式规范的变异测试方法的设计与实现[J].计算机应用与软件,2009,26(2). |
| |
| 作者姓名： | 陆毅明 |
| |
| 作者单位： | 上海交通大学软件学院计算机应用与技术系,上海,200230 |
| |
| 摘 要： | 软件测试是软件工程中保证软件产品质量的重要组成部分.变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集.为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析.结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率.
|
| 关 键 词： | 软件测试 变异测试 代数式规范 变异操作符 变异体 |
DESIGN AND IMPLEMENTATION OF AN APPROACH FOR MUTATION TEST APPLIED TO ALGEBRAIC SPECIFICATION |
| |
| Lu Yiming.DESIGN AND IMPLEMENTATION OF AN APPROACH FOR MUTATION TEST APPLIED TO ALGEBRAIC SPECIFICATION[J].Computer Applications and Software,2009,26(2). |
| |
| Authors: | Lu Yiming |
| |
| Affiliation: | Department of Computer Application and Technology;School of Software;Shanghai Jiaotong University;Shanghai 200230;China |
| |
| Abstract: | Software test is an important part of software engineering,which grantees the quality of software.Mutation test is a test strategy to measure the completeness of test case set and can be used to generate complete test case set as well.This paper is going to introduce a new kind of mutation test,which is applied to algebraic specification.In this paper,12 mutation operators are designed and 5 different algebraic specifications are experimented and the analysis of the results is made.The result of experiments... |
| |
| Keywords: | Software test Mutation test Algebraic specification Mutation operator Mutant |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
