Fault-Based Interface Testing Between Real-Time Operating System and Application

Testing interfaces of an embedded system is important since the heterogeneous layers such as hardware, OS and application are tightly coupled. We propose the mutation operators in three respects, 'When?', 'Where?' and 'How?' in order to inject a fault into RTOS program when testing interface between RTOS and application. Injecting a fault without affecting the RTOS in run-time environment is the core of proposed mutation operators. We apply the mutation operators to interface testing during the integration of RTOS and application in the industrial programmable logic controller.

[1]  Aditya P. Mathur,et al.  Interface Mutation: An Approach for Integration Testing , 2001, IEEE Trans. Software Eng..

[2]  Vassilis C. Gerogiannis,et al.  Systematically testing a real-time operating system , 1995, IEEE Micro.

[3]  Wynne Hsu,et al.  DESIGN OF MUTANT OPERATORS FOR THE C PROGRAMMING LANGUAGE , 2006 .

[4]  Jean J. Labrosse,et al.  MicroC/OS-II: The Real Time Kernel , 1998 .

[5]  Byoungju Choi,et al.  Effective test case selection for component customization and its application to Enterprise JavaBeans , 2004, Softw. Test. Verification Reliab..

[6]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[7]  Jean J. Labrosse Microc/OS-II , 1998 .

[8]  Jorge Rady de Almeida,et al.  Run-time monitoring for dependable systems: an approach and a case study , 2004, Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004..

[9]  Lionel C. Briand,et al.  Is mutation an appropriate tool for testing experiments? , 2005, ICSE.

[10]  Marc Donner,et al.  Run-time monitoring of real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[11]  A. Jefferson Offutt,et al.  Investigations of the software testing coupling effect , 1992, TSEM.

[12]  Angelika Mader,et al.  A Classification of PLC Models and Applications , 2000 .

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

[14]  Ahmed Amine Jerraya,et al.  Hardware/software interface codesign for embedded systems , 2005, Computer.

[16]  James M. Bieman,et al.  Mutation of Java objects , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..