Testing requirements for an embedded operating system: The exception handling case study

Real-time operating systems (RTOS) are becoming quite common in embedded applications and its correct operation is crucial to ensure system quality and reliability. However, the test of this specialized software has been often neglected in the embedded software testing literature. This paper presents preliminary results on the testing of the exception handling routines in an embedded operating system (EOS). We first analyze what makes an EOS so difficult to test. Then, we present some experiments that will help to devise a test methodology for this specific software.

[1]  Wolfgang Rosenstiel,et al.  Verification of Temporal Properties in Automotive Embedded Software , 2008, 2008 Design, Automation and Test in Europe.

[2]  Anders P. Ravn,et al.  Developing a TTCN-3 test harness for legacy software , 2006, AST '06.

[3]  Byoungju Choi,et al.  An interface test model for hardware-dependent software and embedded OS API of the embedded system , 2007, Comput. Stand. Interfaces.

[4]  David M. Weiss,et al.  Coverage-Based Testing on Embedded Systems , 2007, Second International Workshop on Automation of Software Test (AST '07).

[5]  John Linn,et al.  Coverage Testing Embedded Software on Symbian/OMAP , 2006, International Conference on Software Engineering and Knowledge Engineering.

[6]  Ren Yu.  Fiscal Cash Register Embedded System Test with Scenario Pattern , 2006 .

[7]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

[8]  Liu Shuping,et al.  The Research of V Model in Testing Embedded Software , 2008, 2008 International Conference on Computer Science and Information Technology.

[9]  Doris Wild,et al.  On the integration of design and test: a model-based approach for embedded systems , 2006, AST '06.

[10]  Niraj K. Jha,et al.  A simulation framework for energy-consumption analysis of OS-driven embedded applications , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[11]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[12]  Jing Guan,et al.  An industrial case study of structural testing applied to safety-critical embedded software , 2006, ISESE '06.

[13]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[14]  Srivaths Ravi,et al.  Energy-optimizing source code transformations for OS-driven embedded software , 2004, 17th International Conference on VLSI Design. Proceedings..

[15]  Oum-El-Kheir Aktouf,et al.  Diagnosis service for embedded software component based systems , 2007, EFTS '07.

[16]  Anthony Massa,et al.  Embedded Software Development with eCos , 2002 .

[17]  Michael Barr,et al.  Programming embedded systems in C and C , 1999 .