基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
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.
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
参考文献
[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 systemsp ecific, programmerwritten compiler extensions[R]∥Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, 2000.
[5]ASHCRAFT K, ENGLER D. Using programmerwritten 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, SaintMalo, France, 2004.
{{custom_fnGroup.title_cn}}
脚注
{{custom_fn.content}}