The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System

Automotive electronic control systems are expected to respond to input demands in real-time (circa: milliseconds) to ensure occupant and road user safety and comfort. System complexity and real-time computing requirements create significant challenges in proving the robustness of control systems; here robustness is the degree to which a system can function correctly in the presence of unexpected inputs. Evidence shows that faults still escape to customers incurring large warranty costs. Existing test methods can be ineffective in testing robustness with the primary focus being on requirements validation. Evidence from other industries such as IT and medical suggests faults that are difficult to find, manifest due to complex interactions and sequences of events. Whilst model based approaches are becoming more prevalent, they are still an abstraction of the real world and deal with 'time' at this conceptual level. This can leave some doubt on their validity for representing real-time testing. However, there is little evidence within the literature pointing to effective sequence interaction testing (SIT) within real-time test environments. The novelty of the proposed approach is a methodology for creating and running t-way input sequence interaction test suites in real-time with the time between input events (TBE) considered as a critical test parameter. The effect of TBE on the triggering of faults for a safety monitoring system deployed in a prototype embedded electric machine control unit is presented to demonstrate the approach. The system is tested with 2688 3-way event sequence interaction tests across a TBE range from 1 millisecond to 500 milliseconds validating the effectiveness of the approach in eliciting faults.

[1]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[2]  Charles J. Colbourn,et al.  Upper Bounds on the Size of Covering Arrays , 2016, SIAM J. Discret. Math..

[3]  Eitan Farchi,et al.  Combinatorial Testing with Order Requirements , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

[4]  Myra B. Cohen,et al.  Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection , 2015, IEEE Transactions on Software Engineering.

[5]  Standard Glossary of Software Engineering Terminology , 1990 .

[6]  R. Badlishah Ahmad,et al.  Event Driven Input Sequence T-Way Test Strategy Using Simulated Annealing , 2014, 2014 5th International Conference on Intelligent Systems, Modelling and Simulation.

[7]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[8]  Charles J. Colbourn,et al.  Two-stage algorithms for covering array construction , 2016, ArXiv.

[9]  D.M. Cohen,et al.  The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..

[10]  Kishor S. Trivedi,et al.  A Classification of Software Faults , 2011 .

[11]  Charles J. Colbourn,et al.  Sequence Covering Arrays , 2013, SIAM J. Discret. Math..

[12]  C. R. Rao,et al.  Factorial Experiments Derivable from Combinatorial Arrangements of Arrays , 1947 .

[13]  D. Richard Kuhn,et al.  FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA , 2001 .

[14]  C. Colbourn Combinatorial aspects of covering arrays , 2006 .

[15]  Katsumi Inoue,et al.  Answer-Set Programming as a new Approach to Event-Sequence Testing , 2011 .

[16]  Myra B. Cohen,et al.  A framework of greedy methods for constructing interaction test suites , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[17]  James Marco,et al.  Robustness Testing of Real-Time Automotive Systems Using Sequence Covering Arrays , 2013 .

[18]  D. Richard Kuhn,et al.  Pseudo-Exhaustive Testing for Software , 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

[19]  Oded Margalit Better Bounds for Event Sequencing Testing , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[20]  Jeff Yu Lei,et al.  Combinatorial Methods for Event Sequence Testing , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[21]  Jeff Yu Lei,et al.  Combinatorial Software Testing , 2009, Computer.