loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07)
Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models
Porto Alegre, RS, Brazil
May 28-May 30
ISBN: 0-7695-2834-1
Philipp Graf, University of Karlsruhe
Klaus D. Muller-Glaser, University of Karlsruhe
Clemens Reichmann, University of Karlsruhe
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.
Citation:
Philipp Graf, Klaus D. Muller-Glaser, Clemens Reichmann, "Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models," rsp, pp.130-138, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.