期刊文献+

基于状态图的测试路径自动生成 被引量:9

Automated Test Path Generation Based on State Diagram
下载PDF
导出
摘要 提出一种基于状态图的测试路径自动生成算法,该算法从状态图的初始状态到终止状态进行遍历,可以得到一组路径,由该组路径生成的测试用例集可满足状态图的转移覆盖测试准则。根据循环复杂度,对路径集的总长度进行优化,从而减少测试用例数量。实验结果表明,该算法有效可行,在实际应用中能够取得良好的效果。 This paper presents an algorithm, which travels the state diagram from the initial state to the ending state and finds all the transition paths. Test cases generation is based on test paths, which satisfies transition test criterion. It can optimize the length of the path, consequently reducing the number of test case based on cycle complexity. Experimental results indicate this algorithm is effective and feasible, and good effects are obtained in practical applications.
出处 《计算机工程》 CAS CSCD 北大核心 2011年第2期25-26,29,共3页 Computer Engineering
基金 新疆维吾尔自治区重大专项基金资助项目(200732143-1)
关键词 状态图 测试准则 转移路径 state diagram test criterion transition path
  • 相关文献

参考文献7

  • 1许秀林,胡克瑾.基于约束满足搜索算法的测试用例生成策略[J].计算机工程,2008,34(18):75-78. 被引量:4
  • 2Zhu Hong, Hall P A V, May J H R. Software Unit Test Coverage and Adequacy[J]. ACM Computing Survcys, 1997, 29(4): 366-427.
  • 3Haworth B, Kirsopp C, Roper M, et al. Towards the Development of Adequacy Criteria for Object-oriented Systems[C]//Proc. of the 5th European Conference on Software Testing Analysis and Review. Edinburgh, UK: [s. n.], 1997: 417-427.
  • 4Haworth B. Adequacy Criteria for Object Testing[C]//Proc. of ISQWE'98. [S. l.]: IEEE Press, 1998: 47-56.
  • 5Offutt A J. Criteria for Generating Specification-based Tests[C]// Proc. of the 5th IEEE International Conference on Engineering of Complex Computer Systems. Las Vegas, USA: [s. n.], 1999.
  • 6占学德,缪淮扣.基于UML状态图测试的充分性准则[J].计算机科学,2005,32(5):230-235. 被引量:11
  • 7缪淮扣,费立志.UML状态图测试充分性准则的公理化评估[J].上海大学学报(自然科学版),2007,13(5):489-496. 被引量:8

二级参考文献23

  • 1刘玲,缪淮扣.对逻辑覆盖软件测试准则的公理化评估[J].软件学报,2004,15(9):1301-1310. 被引量:9
  • 2占学德,缪淮扣.基于UML状态图测试的充分性准则[J].计算机科学,2005,32(5):230-235. 被引量:11
  • 3Zhu H, Hall P AV,May J HR. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 1997,29(4): 366~427
  • 4Haworth B,Kirsopp C,Roper M,et al. Towards the development of adequacy criteria for object-oriented systems. In: Proc. of the 5th European Conf. on Software Testing Analysis and Review,Edinburgh, Scotland, Nov. 1997. 417~427
  • 5Haworth B. Adequacy criteria for object testing. In: Proc. of the 2nd Intl. Software Quality Week Europe 1998, Brussels, Belgium, Nov. 1998
  • 6Offutt A J,Xiong Y,Liu S. Criteria for Generating Specification-Based Tests. In: Proc. of 5th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, Nevada,USA, Oct. 1999. 119~129
  • 7Offutt A J,Abdurazik A. Generating tests from UML specifications. In:Proc. of the Second IEEE Intl. Conf. on the Unified Modeling Language (UML99),Fort Collins, CO,IEEE Computer Society Press, 1999. 416~429
  • 8Abdurazik A,et al. Evaluation of Three Specification-based Testing Criteria. In: Sixth IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS '00), Tokyo, Japan, Sep. 2000
  • 9Ammann P E,Black P E. A Specification-Based Coverage Metric to Evaluate Test Sets. International Journal of Reliability, Quality and Safety Engineering, World Scientific Publishing, Singapore,2001,8(4) :275~300
  • 10Binder R V. Testing Object-Oriented System: Models, Patterns,and Tools. Boston: Addison Wesley Longman, Inc. 2000

共引文献19

同被引文献57

引证文献9

二级引证文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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