基于模型的软件测试  

The software testing based on testing model

作　　者：杨朝红[1] 宫云战[2] 肖庆[1] 毕学军[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]北京邮电大学网络与交换技术国家重点实验室,北京1000876

出　　处：《北京化工大学学报（自然科学版）》2007年第A01期85-88,共4页Journal of Beijing University of Chemical Technology(Natural Science Edition)

基　　金：国家"863"计划(2006AA01Z184)

摘　　要：基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。Software testing based on testing model is the important testing method in code phase during the software development life cycle. This testing method has sound characteristics, such as testing source code fast and peering into more of a program＇s dark corners with less fuss than dynamic analysis. However, false positive, false negative and test model still need further research. Then this paper analysis the testing models and divides them. A preliminary research on testing model such as fault density analysis is also given. Finally a testing method based on testing model is proposed.

关 键 词：软件测试 静态分析 测试模型 

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