应用代数规约和数据变异策略测试类  

Applying algebraic specification and data mutation strategy to test class

作　　者：余波[1,2] 王昆[1] 

机构地区：[1]中南林业科技大学涉外学院,长沙410042 [2]国防科学技术大学计算机学院,长沙410007

出　　处：《计算机工程与应用》2011年第21期86-89,共4页Computer Engineering and Applications

基　　金：湖南省教育厅高校教学改革项目(No.2010-428)

摘　　要：在应用基于代数规约测试类时,虽然可以有效解决测试数据生成和测试结果判断这两个测试难题,但是,因为该方法常常随机生成测试数据,会导致对于同一待测试类两次测试会得到不同的测试效果。为克服这个缺陷,提出应用数据变异方法,对已生成的测试用例进行变异。变异测试实验表明:该方法能够有效地改善代数测试方法的测试效果。The method for testing class based on algebraic specification can overcome the difficulties for generating test cases and evaluating test outputs automatically.There is a defect for this method that it would obtain different effects for detecting faults for the same class under testing as the test data are usually generated randomly.This approach is proposed that the new test cases are added by applying data mutation strategy to the original test cases generated from algebraic specification to solve it.The experiments show that this method is feasible for improving the test effects of algebraic testing method.

关 键 词：代数规约 数据变异 类测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]