A Semantic Support for Testing Activities of Safety-Critical Embedded Systems

Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular much effort is spent for design of test cases, where natural language description of system requirements must be translated into test scripts, which must automatically executed to check correctness and achievement of target service levels. Semantic and text analysis are used here to support developers for the management of test documents to speedup and improve the testing definition phase. Facilities for both advanced classification, indexing and discovery of test documents are provided.