Development of an automated testing software for real time systems

An automated software testing tool was built on PERL to test the eVC++ software running on WinCE platform on the embedded devices. An explicit model was built of the core functions of the software on the device. Test sequences were then generated that could call on these core functions. The PERL software received the input of the test sequence(s) to be run and the device(s) on which it was to be run. It would then retrieve the corresponding test sequence and expand the functions called from the core function set. Each of the instructions was converted into the format recognized by the device and sent over the network. The architecture displayed scalability by being extended to test the software on an enhanced device.

[1]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[2]  Klaus Beetz,et al.  Model Based Testing of System Requirements using UML Use Case Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[3]  István Majzik,et al.  Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers , 2006, 2006 International Conference on Dependability of Computer Systems.

[4]  Andreas Krämer,et al.  Model-Based Testing of Automotive Systems , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[5]  Dae-Hyun Kum,et al.  Automated Testing for Automotive Embedded Systems , 2006, 2006 SICE-ICASE International Joint Conference.

[6]  Ismael Rodríguez,et al.  Formally comparing user and implementer model-based testing methods , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[7]  Joachim Wegener,et al.  Evolutionary Testing of Embedded Systems , 2003 .