EAST-ADL Tailored Testing : From System Models to Executable Test Cases

Architectural models, such as those described in the EAST-ADL language, represent convenient abstractions to reason about embedded software systems. To enjoy the fully-fledged advantages of reasoni ...

[1]  Paul Pettersson,et al.  ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT , 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

[2]  Antonio Cicchetti,et al.  Design of Adaptive Security Mechanisms for Real-Time Embedded Systems , 2012, ESSoS.

[3]  Jim Parry,et al.  Chapter 15 - CASE STUDIES , 2012 .

[4]  Clémentine Nebut,et al.  Automatic test generation: a use case driven approach , 2006, IEEE Transactions on Software Engineering.

[5]  Paul Pettersson,et al.  Cover - A Real-Time Test Case Generation Tool , 2007 .

[6]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.

[7]  Gordon Fraser,et al.  Testing with model checkers: a survey , 2009 .

[8]  Hassan Reza,et al.  Model Based Testing Using Software Architecture , 2010, 2010 Seventh International Conference on Information Technology: New Generations.

[9]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[10]  John Håkansson,et al.  Partial Order Reduction for Verification of Real-Time Components , 2007, FORMATS.

[11]  Kim G. Larsen,et al.  Time-Optimal Real-Time Test Case Generation Using Uppaal , 2003, FATES.

[12]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[13]  Michael J. Butler,et al.  ProTest: An Automatic Test Environment for B Specifications , 2004, MBT.

[14]  Wang Yi,et al.  Partial Order Reductions for Timed Systems , 1998, CONCUR.

[15]  Brian Nielsen,et al.  Automated Test Generation from Timed Automata , 2001, TACAS.

[16]  John Håkansson,et al.  Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT , 2008, ATVA.

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

[18]  Henry Muccini,et al.  What Makes Software Architecture-Based Testing Distinguishable , 2007, 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07).

[19]  Jan Peleska,et al.  Industrial-Strength Model-Based Testing - State of the Art and Current Challenges , 2013, MBT.

[20]  Henry Muccini,et al.  Using software architecture for code testing , 2004, IEEE Transactions on Software Engineering.

[21]  Loe M. G. Feijs,et al.  Test Generation for Intelligent Networks Using Model Checking , 1997, TACAS.

[22]  Paola Inverardi,et al.  Architecture-based software testing , 1996, ISAW '96.