摘要
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
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.
出处
《北京化工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第A01期85-88,共4页
Journal of Beijing University of Chemical Technology(Natural Science Edition)
基金
国家"863"计划(2006AA01Z184)
关键词
软件测试
静态分析
测试模型
software testing
static analysis
testing model
