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