Title | ||
---|---|---|
Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/RSP.2007.30 | IEEE International Workshop on Rapid System Prototyping |
Keywords | Field | DocType |
Unified Modeling Language,embedded systems,formal specification,object-oriented programming,program control structures,program testing,program verification,C source-code level,UML class models,UML sequence,black-box testing,embedded systems software,method calls,model based development,model based testing,object identities,program control structures,program loops,program parameters,program verification,software components,software testing,use-case-diagrams,white-box testing | Programming language,UML tool,Computer science,Real-time computing,White-box testing,Software system,Software reliability testing,Model-based testing,Applications of UML,Component-based software engineering,Software construction,Embedded system | Conference |
ISSN | ISBN | Citations |
1074-6005 | 0-7695-2834-1 | 3 |
PageRank | References | Authors |
0.44 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Philipp Graf | 1 | 40 | 7.07 |
Muller-Glaser, K.D. | 2 | 39 | 15.07 |
C. Reichmann | 3 | 38 | 6.74 |