期刊文献+

UML状态图测试充分性准则的公理化评估 被引量:8

Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria
下载PDF
导出
摘要 描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助. This paper presents a set of test adequacy criteria for UML statecharts, and proposes two new test coverage criteria, N-transition coverage criteria, and classified loop coverage criteria. An axiomatic assessment system of test adequacy criteria is proposed to assess these test criteria. The UML statecharts-based software testing coverage criteria are assessed against the axioms system. From the assessment, testers can get conclusions that help them apply these criteria in practice. The assessment of test adequacy criteria will provide software engineers with a guide to apply each criterion.
出处 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第5期489-496,共8页 Journal of Shanghai University:Natural Science Edition
基金 国家自然科学基金资助项目(60673115) 国家重点基础研究发展计划(973计划)资助项目(2002CB312001) 上海市教委科技发展基金资助项目(05AZ70) 上海市教委科研项目(07ZZ06)
关键词 UML状态图 测试准则 测试用例 公理化评估 UML statecharts test criteria test case axiomatic assessment
  • 相关文献

参考文献10

  • 1ZHUH, HALL P A V, MAY J H R. Software unit test coverage and adequacy [J]. ACM Computing Surveys, 1997, 29(4) :366-427.
  • 2HAWORTH B, KIRSOPP C, ROPER M, et al. Towards the development of adequacy criteria for object-oriented systems [C]// Proceedings of the 5th European Conference on Software Testing Analysis and Review, Edinburgh, Scotland. 1997:417-427.
  • 3HAWORTH B. Adequacy criteria for object testing [C]// Proceedings of the 2nd International Software Quality Week Europe 1998, Brussels, Belgium. 1998:47-56.
  • 4OFFUTr A J, XIONG Y, LIU S. Criteria for generating specification-based tests [C]// Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems ( ICECCS' 99 ), Las Vegas, Nevada, USA. 1999-119-129.
  • 5OFFUTT A J, ABDURAZIK A. Generating tests from UML specifications [C]// Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99). Fort Collins Co: IEEE Computer Society Press, 1999:416-429.
  • 6刘玲,缪淮扣.对逻辑覆盖软件测试准则的公理化评估[J].软件学报,2004,15(9):1301-1310. 被引量:9
  • 7占学德,缪淮扣.基于UML状态图测试的充分性准则[J].计算机科学,2005,32(5):230-235. 被引量:11
  • 8BINDER R V. Testing object-oriented system: models, patterns, and tools [ M ]. Boston: Addison Wesley Longman Inc, 2000:25-49.
  • 9MARICK B. The craft of software [M]. Englewood Cliffs, NJ: Prentice-Hall, 1995:72-85.
  • 10FRANKL P G, WEYUKER E J. An applicable family of data flow testing criteria [J]. IEEE Transactions on Software Engineering, 1988, 14(10) : 1483-1498.

二级参考文献23

  • 1[1]Goodenough JB, Gerhart SL. Toward a theory of test data selection. IEEE Trans. on Software Engineering, 1975,1(2):156~173.
  • 2[2]Amman P, Offutt J. Using formal methods to derive test frames in category-partition testing. In: IEEE 9th Annual Conf. on Computer Assurance. Gaithersburg: IEEE Computer Society Press, 1994. 69~80.
  • 3[3]Amman P, Offutt J. Coverage criteria for logical expressions. In: Stephanie K, ed. Proc. of the 14th Int'l Symp. on Software Reliability Engineering. Denver: IEEE Computer Society Press, 2003.99~107.
  • 4[4]Black PE, Okun V, Yesha Y. Mutation operators for specifications. In: Anne R, ed. Proc. of the 5th IEEE Int'l Conf. on Automated Software Engineering. Grenoble; IEEE Computer Society Press, 2000. 81~88.
  • 5[5]Zhu H. Axiomatic assessment of control flow-based software test adequacy criteria. Software Engineering Journal, 1995,10(9):194~204.
  • 6[6]Weyuker EJ. Axiomatizing software test data adequacy. IEEE Trans. on Software Engineering, 1986,12(12):1128~1138.
  • 7[7]Gourlay J. A mathematical framework for the investigation of testing. IEEE Trans. on Software Engineering, 1983,9(6):686~709.
  • 8[8]Parrish A, Aweben SH. Analysis and refinement of software test data adequacy properties. IEEE Trans. on Software Engineering,1991,17(6):565~581.
  • 9[9]Parrish A, Aweben SH. Clarifying some fundamental concepts in software testing. IEEE Trans. on Software Engineering,1993,19(7):742~746.
  • 10[10]Offutt J, Liu SY, Abdurazik A, Amman P. Generating test data from state-based specifications. The Journal of Software Testing,Verification, and Reliability, 2003,13(1):25~53.

共引文献18

同被引文献51

引证文献8

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部