Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models

We extend a model based development approach for software components of embedded systems by a model based testing framework. We motivate by describing challenges a developer has to face when developing embedded software and present as a solution an UML-centric development approach. We introduce a testing framework that allows specification of test cases for UML class models using UML sequence- and use-case-diagrams. These test cases define participating objects and their messages including parameters, loops, control structures, inclusion of other collaborations and time constraints. These diagrams are verified against the real system-response of the software under test. We employ a commercial in-circuit emulator to record method calls, object identities and their parameters on C source-code level as messages with minimal impact on system performance and map these back to model level to verify them against the specified model.

[1]  Falk Fraikin,et al.  SeDiTeC-testing based on sequence diagrams , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[2]  Johann Schumann Automatic Debugging Support for UML Designs , 2000, AADEBUG.

[3]  Robert B. France,et al.  A tool-supported approach to testing UML design models , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[4]  D. Stott Parker,et al.  Saving traces for Ada debugging , 1985, SIGAda '85.

[5]  Katharina Mehner JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs , 2001 .

[6]  Klaus D. Müller-Glaser,et al.  GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..