Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System

Testing is an essential part of the development of embedded real-time system and it is necessity to generate the test case automatically. However, there is no good language to bridge the gap between the testing requirements and source codes. In this paper, we propose a compiler based automatically test case generation framework firstly, and then introduce a novel language call RCBL to specify the testing requirements that describe the relationship of source code and testing requirements for the embedded real-time system. From a simple but comprehensive testing requirement of an embedded system, we can see that the RCBL is powerful and flexible, and also can be learned and used easily.

[1]  Sofiène Tahar,et al.  Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm , 2006, 2006 IEEE International High Level Design Validation and Test Workshop.

[2]  Koushik Sen,et al.  WISE: Automated test generation for worst-case complexity , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[3]  Jiang Bo,et al.  MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices , 2007, Second International Workshop on Automation of Software Test (AST '07).

[4]  Bin Liu,et al.  SOA based mobile application software test framework , 2009, 2009 8th International Conference on Reliability, Maintainability and Safety.

[5]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[6]  Oh-Hyun Kwon,et al.  Mobile GUI Testing Tool based on Image Flow , 2008, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008).

[7]  Liu Bin,et al.  Test automation on mobile device , 2010, AST.

[8]  Gao Xiao-peng,et al.  SOA Based Mobile Device Test , 2009, 2009 Second International Conference on Intelligent Computation Technology and Automation.

[9]  C.M. Kirchsteiger,et al.  Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs , 2008, 2008 2nd Annual IEEE Systems Conference.

[10]  Atif M. Memon,et al.  Test case generator for GUITAR , 2008, ICSE Companion '08.

[11]  Venkata Raghunath Vemuri,et al.  Testing Predictive Software in Mobile Devices , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[12]  Shian-Shyong Tseng,et al.  A Novel Approach to Automatic Test Case Generation for Web Applications , 2010, 2010 10th International Conference on Quality Software.

[13]  Liang Guo,et al.  Automated test program generation for an industrial optimizing compiler , 2009, 2009 ICSE Workshop on Automation of Software Test.

[14]  Tao Xie,et al.  Automated Test Generation for Access Control Policies via Change-Impact Analysis , 2007, Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007).

[15]  Michael D. Ernst,et al.  Feedback-Directed Random Test Generation , 2007, 29th International Conference on Software Engineering (ICSE'07).