Critical knowledge representation for model-based testing of embedded systems

This paper presents principles for model based testing of embedded systems with use of critical knowledge about system and their environment. For critical knowledge representation UML models can be used. These properties have different priority, impact, dependency, which creates different situations for testing. Critical properties mentioned in this article can serve as input for generating test cases. V-model, as a well known model, provides another approach for representing critical properties of software architecture and testing embedded systems. This model is often used in medical projects, e.g. radiotherapy. Some principles are taken from radiotherapy software project in Siemens Healthcare. Tracing of critical properties in V-model is also part of this article.