Verification of requirements for saftey-critical software
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Model-based test cases synthesis using UML interaction diagrams
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
In complex medical devices, many features are realized by software. As these devices are safety-critical, the healthcare industry has to ensure a high quality of their products. Today, the system requirements are usually specified in form of use cases using natural language. Whether the developed systems fulfill those requirements is verified by testing. Test cases are created manually based on the textual specifications. As textual specifications can contain inconsistencies and ambiguities, this is a very time-consuming task. In a joint project with Siemens AG Healthcare Sector, we developed an approach to improve the process. We introduce a formal specification language to describe use case scenarios by extended UML 2.0 sequence diagrams. Those specifications are then used to automatically derive a test model, which can be enriched by the test designer with test-specific information for a later test execution. Test cases can be generated according to the degree of coverage intended by the test designer. This approach is systematic, model-based, and partially automatic.