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

Author

Venticinque, Alessio ; Mazzocca, Nicola ; Venticinque, S.

Author_Institution

Dept. of Electr. Eng. & Inf. Technol., Univ. Federico II of Naples, Naples, Italy

fYear

2014

fDate

2-4 July 2014

Firstpage

576

Lastpage

581

Abstract

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.

Keywords

document handling; embedded systems; indexing; natural languages; safety-critical software; systems analysis; advanced classification; development life-cycle; indexing; natural language description; safety-critical embedded systems; semantic discovery; semantic support; system requirements; test documents; testing activities; Cognition; Joining processes; Ontologies; Rail transportation; Semantics; Testing; Text analysis; embedded systems; ontology; safety; semantic discovery; testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Complex, Intelligent and Software Intensive Systems (CISIS), 2014 Eighth International Conference on

Conference_Location

Birmingham

Print_ISBN

978-1-4799-4326-5

Type

conf

DOI

10.1109/CISIS.2014.83

Filename

6915577