期刊文献+

基于时间自动机模型的测试用例生成方法优化 被引量:2

Improvement on method of test cases generation based on timed automata
下载PDF
导出
摘要 为了减少测试产生、执行、存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术。针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化。实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径。 To reduce the cost of test generating,executing,storing and maintaining these test cases,a technique of improvement on a method of test cases generation based on timed automata is proposed.To speed up model based test cases generation for real-time system of different time scales,a test generation optimization is used to these real-time systems by making a mutation to the timed automata.Experiments show that after improvement the size and time consumption of the set of generated test cases are significantly reduced com-pared to a naive model,and would be one effective way to reduce the execution time of a test suite,promote test efficiency and speed up the course of software development.
作者 范素娟 庄雷
出处 《计算机工程与设计》 CSCD 北大核心 2010年第12期2765-2768,共4页 Computer Engineering and Design
基金 河南省教育厅自然科学研究基金项目(2008A520024)
关键词 测试用例生成 模型检测 时间自动机 实时系统 状态空间爆炸 加速 test case generation model checking timed automata real-time system state-space exploration acceleration
  • 相关文献

参考文献10

  • 1Hessel A,Larsen K G,Nielsen B,et al.Time-optimal real-time tese case generation using uppaal[C].Lecture Notes in Computer Science,2004:136-151.
  • 2Hong H S,Ural S.Using model checking for reducing the cost of test generation[C].Lecture Notes in Computer Science,2005:110-124.
  • 3Nielsen B,Skou A.Automated test generation from timed automata[J].International Journal on Software Tools for Technology Transfer,2003(5):59-77.
  • 4Heimdahl MPE,George D.On the effect of test-suite reduction on automatically generated model-based tests[J].Automated Software Engineering,2007,14(1):37-57.
  • 5冯东伟,陈伟,赵琛.基于时间自动机的测试用例自动生成及执行方法[J].计算机工程与设计,2008,29(3):521-525. 被引量:1
  • 6Hendriks M,Larsen K G.Exact acceleration of real-time model checking[J].Electronic Notes in Theoretical Computer Science,2002,65(6):120-139.
  • 7Hessel A.Model-based test case selection and generation for real-time systems[D].Uppsala:Uppsala University,2006.
  • 8Hessel A,Pettersson P.A global algorithm for model-based test suite generation[C].Braga,Portugal:Third Workshop on ModelBased Testing,2007.
  • 9Bengtsson J,Yi W.Timed automata:semantics,algorithms and tools[C].Lectures on Concurrency and Petrinets,2004:87-124.
  • 10Blom J,Hessel A,Jonsson B,et al.Specifying and generating test cases using observer automata[C].Lecture Notes in Computer Science,2005:125-139.

二级参考文献16

  • 1En-Nouaary A, Dssouli R, Khendek F. Timed wp-method: testing real-time systems[J]. IEEE Trans on Software Engineering, 2002, 28(11): 1023-1038.
  • 2Hessel A, Larsen K G, Nielsen B, et al. Time-optimal test cases for real-time systems[C]. 3rd International Workshop on Formal Approaches to Testing of Software. Quebec, Canada: Montreal, 2003:234-245.
  • 3En-Nouaary A, Dssouli R. A guided method for testing timed input output automata[C]. 15th IFIP International Conference. Berlin Heidelberg: Springer -Verlag, 2003:211-225.
  • 4Tripakis S, Yovine S. Analysis of timed systems using time-abstracting bisimulations[J]. Formal Methods in System Design, 2001,18(1):25-68.
  • 5Young F C. Timed safety automata and logic conformance[D]. US: Air Force Institute of Technology, 1999.
  • 6Rusu V, Bousquet L D, Jeron T. An approach to symbolic test generation[C]. Proc of 2nd International Conference on Integrated Formal Methods. Berlin Heidelberg: Springer-Verlag, 2000:338-357.
  • 7Bigot C, Faivre A, Gallois J P, et al. Automatic test generation with AGATHA [C]. Proc of the International-Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin Heidelberg: Springer -Vedag, 2003: 591-596.
  • 8Alur R, Torte S L, Pappas G J. Optimal paths in weighted timed automata[J].Theoretical Computer Science,2004,318(3):297-322.
  • 9ETSI ES: 201 873-1 v2.2.1-2002 the testing and test control notation TTCN-3: core language [S].
  • 10Dai Z R, Grabowski J, Neuldrchen H. Timed TI'CN-3: A real- time extension for TTCN-3[C].Deventer, Netherlands: Proc of the IFIP 14th International Conference on Testing Communicating Systems ⅩⅣ,2002:407-424.

同被引文献15

  • 1Beizer B . Black -Box Testing: Techniques for Functional Tes- ting of SoftWare and Systems[ M ]. New York:John Wiley & Sons:1995 : 160 - 165.
  • 2Alur R, Dill D L A. Theory of Timed Automata[J]. Theoretical Computer Science, 1994,126 : 183 -235.
  • 3ELLEUCH M, HASAN O, TAHAR S, et al. Formal analysis of a scheduling algorithm for wireless sensor networks [ C ]// ICFEM 2011: Proceedings of the 13th International Conference on Formal Engineering Methods, LNCS 6991. Berlin: Springer-Verlag, 2011 :388 - 403.
  • 4HE K, YANG H, FENG Y, et al. Performance analysis of data gathering protocol using PRISM[ C]// Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. Piscataway: IEEE Press, 2012: 96- 105.
  • 5冯亚超.无线传感器网络数据收集协议的建模与分析[D].北京:北京工业大学,2013.
  • 6BENGTSSON J, WANG Y . Timed automata : semantics, algo - rithms and tools[ C]// DESEL J, REISIG W, ROZENBERG G. Lectures on concurrency and Petri nets, LNCS 3098. Berlin: Springer-Verlag, 2004: 87- 124.
  • 7BEHRMANN G, DAVID A, LARSEN K G. A tutorial on UP- PAAL 4.0[ EB/OL]. [2010- 10- 10]. http://www, uppaal, eom/ admin/anvandadiler/filer/uppaal-t utorial, pdf.
  • 8HESSEL A, PETTERSON P. CoVer - a real-time test case gener- ation tool[ EB/OL]. [ 2010-10-10]. http://www, hessel, nu/cov- er/publieations/FATES07 _Tool. pdf.
  • 9BLOM J, HESSEL A, JONSSON B, et al. Specifying and genera- ting test cases using observer automata[ C]// FATES 2004: Pro- ceedings of the 4th International Workshop on Formal Approaches to Software Testing, LNCS 3395. Berlin: Springer-Verlag, 2005: 125 - 139.
  • 10LINDSEY S, RAGHAVENDRA C S. PEGASIS: power-efficient gathering in sensor information systems[ C]// Proceedings of the 2002 IEEE Aerospace Conference Proceedings. Piscataway: IEEE Press, 2002:1125-1130.

引证文献2

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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