微信服务号

微信订阅号

2025-4-6- 4
Home > Archive>Volume 25, Issue 2, 2014 >373-385. DOI:10.13328/j.cnki.jos.004541
PDF HTML XML Export Cite reminder
Method and Technique of Test Suite Generation for Embedded API
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [26]
    • |
  • Related [20]
    • | | |
  • Comments
    Abstract:

    With the rapid increase of embedded computer system applications, the reliability of embedded software has drawn particular attention from researchers and industries. Many methods for testing and verifying reliability of embedded software have been discussed. However, the existing methods are weak in test suite automatic generation and therefore difficult in tackling large numbers of embedded computer applications. In this paper, the method and the technique of generating abstract test suite and their adaptation to a computer platform are presented. An algorithm for translating a LTS (labeled transition system) into BT (behavior tree) is proposed. Consequently, the TTCN (test and testing control notation) abstract test suite that employs BT as logical structure can automatically be generated with respect to the LTS description of embedded software. A TTCN tool set based on the translation algorithm for testing embedded software is introduced, and case study of testing embedded system of Internet of things device is presented.

    Reference
    [1] Yin YF, Wang YC, Liu B. Design and implementation of embedded software simulation test script language. Computer Engineering and Design, 2006,27(12):2130-2132 (in Chinese with English abstract).
    [2] Jiang CW, Yang SK, Liu B. Simulation and modeling for embedded software test. Computer Engineering, 2008,34(4):87-89 (in Chinese with English abstract).
    [3] Hsiung PA, Lin SW. Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Computer Languages, Systems & Structures, 2008,34:153-169. [doi: 10.1016/j.cl.2007.06.002]
    [4] Ganesana D, Lindvall M, McComas D, Bartholomew M, Slegel S, Medina B, Krikhaar R, Verhoef C, Montgomery LP. An analysis of unit tests of a flight software product line. Science of Computer Programming, 2012. http://www.eisevier.com/com/locate/scico[doi: 10.1016/j.scico.2012.02.006]
    [5] Amman P, Offutt J. Introduction to Software Testing. Beijing: China Machine Press, 2010. 1-20.
    [6] Wang LZ, Li XD, Zheng GL. An approach to generate integration test cases based on UML collaboration diagrams. Acta Electronica Sinica, 2004,32(8):1290-1296 (in Chinese with English abstract).
    [7] Zhang ZY, Chen ZY, Xu BW, Yang R. Research progress on test case evolution. Ruan Jian Xue Bao/Journal of Software, 2013, 24(4):663-674 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4379.htm [doi: 10.3724/SP.J.1001.2013. 04379]
    [8] Nie CH, Jiang J. Optimization of configurable greedy algorithm for covering arrays generation. Ruan Jian Xue Bao/Journal of Software, 2013,24(7):1469-1483 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4326.htm [doi: 10.3724/ SP.J.1001.2013.04326]
    [9] Fraser G, Wotawa F, Ammann P. Issues in using model checkers for test case generation. Journal of Systems and Software, 2009, 82:1403-1418. [doi: 10.1016/j.jss.2009.05.016]
    [10] Chae HS, Woo G, Kim TY, Bae JH, Kim WY. An automated approach to reducing test suites for testing retargeted C compilers for embedded systems. The Journal of Systems and Software, 2011,84:2053-2064. [doi: 10.1016/j.jss.2011.04.023]
    [11] Jooyoung Seo, Byoungju Choi, Sueng-wan Yang. Lightweight embedded software performance analysis method by kernel hack and its industrial field study. The Journal of Systems and Software, 2012,85:28-42. [doi: 10.1016/j.jss.2011.03.049]
    [12] Kahlouche H, Viho C, Zendri M. An industrial experiment in automatic generation of executable test suites for a cache coherency protocol. In: Proc. of the Int’l Workshop on Testing of Communicating Systems (IWTCS’98). Chapman and Hall, 1998. 1-8.
    [13] Utting M, Legeard B. Practical Model-Based Testing: A Tools Approach. San Francisco: Morgan Kaufmann Publishers, 2010. 1-456.
    [14] ETSI Standard. ETSI ES 201 873-1 V2.2.1-TTCN-3. 2003. http://www.ttcn-3.org/doc/es_20187301v020201p.doc
    [15] Tretmans J. Model based testing with labeled transition system, formal methods and testing. Lecture Notes in Computer Science, 2008,4949:1-38. [doi: 10.1007/978-3-540-78917-8_1]
    [16] van Glabbeek RJ. Bisimulation. 1993. http://www.cse.unsw.edu.au/~rvg/pub/Bisimulation.pdf
    [17] Mateescu R. Local model-checking of modal mu-calculus on acyclic labeled transition systems. In: Proc. of the 8th Int’l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002). Springer-Verlag, 2002. 1-36.
    [18] Antonik A, Huth M. Efficient patterns for model checking partial state spaces in CTL∩LTL. Electronic Note in Theoretical Computer Science, 2006,58:41-57. [doi: 10.1016/j.entcs.2006.04.004]
    [19] Colvin R, Grunske L, Winter K. Probabilistic timed behavior trees, in integrated formal methods. In: Proc. of the 6th Int’l Conf. (IFM 2007). LNCS 4591, Oxford): Springer-Verlag, 2007. 157-175. [doi: 10.1007/978-3-540-73210-5_9]
    [20] EPCglobal. EPC tag data standards. Version 1.1, Rev.1.24, EPCglobal Standard Specification, 2004. http://www.epcglobalinc.org/ standards_technology/EPCTagDataSpecification.124.pdf
    [21] Yin YF, Liu B, Jiang TM. Test cases generation of embedded software testing based on UML technique. Application Research of Computers, 2008,25(10):3018-3021 (in Chinese with English abstract).
    [22] Yang GH, Qi X, Shi YS. Design of embedded software test cases based on scenario pattern. Computer Engineering, 2010,36(15): 89-91 (in Chinese with English abstract).
    [23] Conrad M, Fey I, Sadeghipour S. Systematic model-based testing of embedded automotive software. Electronic Notes in Theoretical Computer Science, 2005,111:13-26. [doi: 10.1016/j.entcs.2004.12.005]
    [24] Lochau M, Goltz U. Feature interaction aware test case generation for embedded control systems. Electronic Notes in Theoretical Computer Science, 2010,264:37-52. [doi: 10.1016/j.entcs.2010.12.013]
    [25] Cheng XJ, Li RF. Study of embedded software regression test based on function slice. Computer Engineering, 2012,38(2):54-56 (in Chinese with English abstract).
    [26] Suri N, Jhumka A, Hiller M, Pataricza A, Islam S, Sarbu C. A software integration approach for designing and assessing dependable embedded systems. The Journal of Systems and Software, 2010,83:1780-1800. [doi: 10.1016/j.jss.2010.04.063]
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术.软件学报,2014,25(2):373-385

Copy
Share
Article Metrics
  • Abstract:6131
  • PDF: 7528
  • HTML: 2445
  • Cited by: 0
History
  • Received:April 28,2013
  • Revised:December 17,2013
  • Online: January 26,2014
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2033286Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063