基于软件层次化模型的软件测试数据生成  

Software testing data generation technology based on software hierarchical model

作　　者：徐炜珊 于磊[1,2] 冯俊池 侯韶凡 

机构地区：[1]信息工程大学,郑州450001 [2]数学工程与先进计算国家重点实验室,郑州450001 [3]后勤科学研究所,北京100071

出　　处：《计算机应用》2016年第12期3454-3460,共7页journal of Computer Applications

基　　金：国家自然科学基金资助项目(61402525);郑州市普通科技攻关项目(141PPTGG383)~~

摘　　要：针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次化模型。该模型涵盖了软件与外部环境之间的交互,同时描述了软件内部结构信息。还给出了该模型测试数据集的生成算法:首先生成符合使用情况的测试序列,然后为测试序列生成覆盖软件内部结构的输入数据。通过针对示例软件的实验结果表明,与基于Markov链模型的测试方法对比,基于软件层次化模型的测试在满足软件测试充分性要求的同时,提高了测试数据集的代码路径覆盖能力和缺陷检测能力。Since Markov chain model based software testing does not consider the software structural information and has low ability of path coverage and fault detection, a new software testing model called software hierarchical testing model was proposed based on the combination of statistical testing and Markov chain model based testing. The software hierarchical testing model contains the interaction between software and external environment, and also describes the internal structural information of software. Besides, the algorithm for generating test data set was put forward： firstly, the test sequences conforming to the actual usage of software were generated; then the input data which covered software internal structure was generated for the test sequences. Finally, in the comparison experiments with software testing based on Markov chain, the new model satisfies the software testing sufficiency and improves the test data set＇s ability of path coverage and fault detection.

关 键 词：软件测试 MARKOV链模型 软件层次化模型 测试数据生成 

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