A prediction model for measurement-based timing analysis

Temporal testing of real-time software is critical. Search-based software engineering (SBSE) has shown its potential to assist the temporal testing by generating the test data. However, the generation of test data through SBSE requires multiple executions of the application program. Consequently, a huge amount of time is required to explore the given search space. This paper advocates the use of a prediction model in an SBSE-based test data generation methodology. The proposed prediction model eliminates the need of software execution during the fitness evaluation and hence reduces the overall time required for the generation of test data. The viability of the proposed approach is demonstrated with two different benchmarks.

[1]  Jan Gustafsson,et al.  The Mälardalen WCET Benchmarks: Past, Present And Future , 2010, WCET.

[2]  Muhammad Rashid,et al.  A systematic investigation of tools in model based system engineering for embedded systems , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[3]  Farooque Azam,et al.  Exploring the Platform for Expressing SystemVerilog Assertions in Model Based System Engineering , 2016 .

[4]  Frédéric Mallet,et al.  Natural interpretation of UML/MARTE diagrams for system requirements specification , 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

[5]  Joachim Wegener,et al.  Testing the temporal behavior of real-time software modules using extended evolutionary algorithms , 1999 .

[6]  Muhammad Rashid,et al.  Generation of SystemVerilog Observers from SysML and MARTE/CCSL , 2016, 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC).

[7]  Darrell Whitley,et al.  A genetic algorithm tutorial , 1994, Statistics and Computing.

[8]  Gerard J. M. Smit,et al.  A mathematical approach towards hardware design , 2010, Dynamically Reconfigurable Architectures.

[9]  Muhammad Rashid,et al.  Toward the tools selection in model based system engineering for embedded systems - A systematic literature review , 2015, J. Syst. Softw..

[10]  Somayeh Sardashti,et al.  The gem5 simulator , 2011, CARN.

[11]  Muhammad Kashif,et al.  Model-based requirements and properties specifications trends for early design verification of embedded systems , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[12]  John A. Clark,et al.  A search-based automated test-data generation framework for safety-critical systems , 2002 .

[13]  V. P. Kozyrev.  Estimation of the execution time in real-time systems , 2016, Programming and Computer Software.

[14]  Raimund Kirner,et al.  Let's get less optimistic in measurement-based timing analysis , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[15]  Muhammad Waqar Aziz,et al.  Test-Data Generation for Testing Parallel Real-Time Systems , 2015, ICTSS.

[16]  Mohammad Bagher Menhaj,et al.  Training feedforward networks with the Marquardt algorithm , 1994, IEEE Trans. Neural Networks.

[17]  Azam Farooque,et al.  Expressing embedded systems verification aspects at higher abstraction level - SystemVerilog in Object Constraint Language (SVOCL) , 2016 .

[18]  Joachim Wegener,et al.  Testing real-time systems using genetic algorithms , 1997, Software Quality Journal.

[19]  Muhammad Rashid,et al.  Identification of trends for model based development of embedded systems , 2015, 2015 12th International Symposium on Programming and Systems (ISPS).