基于模型的软件测试

杨朝红1,2;宫云战2;肖庆1;毕学军1

北京化工大学学报(自然科学版) ›› 2007, Vol. 34 ›› Issue (s1) : 85-88.

PDF(676 KB)
欢迎访问北京化工大学学报(自然科学版),今天是 2025年2月19日 星期三
Email Alert  RSS
PDF(676 KB)
北京化工大学学报(自然科学版) ›› 2007, Vol. 34 ›› Issue (s1) : 85-88.
研究论文

基于模型的软件测试

  • 杨朝红,;宫云战;肖庆;毕学军
作者信息 +

The software testing based on testing model

  • YANG ZhaoHong1,2;GONG YunZhan2;XIAO Qing1;BI XueJun1
Author information +
文章历史 +

摘要

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。

Abstract

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 pro gram's dark corners with less fuss than dynamic analysis. However, false positiv e, false negative and test model still need further research. Then this paper an alysis the testing models and divides them. A preliminary research on testing mo del such as fault density analysis is also given. Finally a testing method based on testing model is proposed. 

引用本文

导出引用
杨朝红1,2;宫云战2;肖庆1;毕学军1. 基于模型的软件测试[J]. 北京化工大学学报(自然科学版), 2007, 34(s1): 85-88
YANG ZhaoHong1,2;GONG YunZhan2;XIAO Qing1;BI XueJun1. The software testing based on testing model[J]. Journal of Beijing University of Chemical Technology, 2007, 34(s1): 85-88

参考文献

[1]RTI. The economic impacts of inadequate infrastructure for so ftware testing[R]∥Planning Report 02-3, National Institute of Standards and T echnology(NIST), 2002. 
[2]BALL T, BOUNIMOVA E B, COOK B, et al. Thorough static analysis of device drivers[M]. EuroSys, 2006. 
[3]YANG Junfeng, SAR C, ENGLER D. Explode: a lightweight, general system for finding serious storage system errors[R]∥Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI) Seattle, Washington, 2006 . 
[4]ENGLER D, CHELF B, CHOU A, et al. Checking system rules using systemsp ecific, programmerwritten compiler extensions[R]∥Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, 2000. 
[5]ASHCRAFT K, ENGLER D. Using programmerwritten compiler extensions to ca tch security holes[R]∥IEEE Symposium on Security and Privacy, Oakland, Califo rnia, 2002. 
[6]HOVEMEYER D, PUGH W. Finding bugs is easy[J]. ACM SIGPLAN Notices, 200 4, 39(12): 92-106. 
[7]CADAR C, GANESH V, PAWLOWSKI P M, et al. Engler EXE: Automatically gener ating inputs of death[C]∥13th ACM Conference on Computer and Communications S ecurity, 2006. 
[8]http:∥findbugs.sourceforge.net/bugDescriptions.html. 
[9]http:∥pmd.sourceforge.net/.〖ZK)〗
[10]http:∥artho.com/jlint.
[11]RUTAR N, ALMAZAN C, FOSTER J S. A comparison of bug finding tool s for Java[C]∥Proceedings of the 15th IEEE International Symposium on Softwar e Reliability Engineering, SaintMalo, France, 2004.

PDF(676 KB)

6205

Accesses

0

Citation

Detail

段落导航
相关文章

/