Automatic Generation of DO-178 Test Procedures
| Autor: | César Ochoa Escudero, Remi Delmas, Thomas Bochot, Virginie Wiels, Matthieu David |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Domain-specific language business.industry Computer science Modeling language 0102 computer and information sciences 02 engineering and technology computer.file_format 01 natural sciences DO-178B Test case Software Object code 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Executable Software engineering business computer |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319779348 NFM |
| DOI: | 10.1007/978-3-319-77935-5_27 |
| Popis: | The work presented in this paper takes place in the context of the testing activities of safety critical Air Management Systems for civilian and military aircraft. The applicative software of such systems is developed following DO-178 guidelines, using a model-based approach built on the SCADE modeling language. In the current V&V process, Test Cases (TCs) specify test conditions and expected outcomes on internal data-flows of the SCADE model. TCs are then implemented in the form of concrete Test Procedures (TPs) that are run against the executable object code and can thus only drive the main inputs of the program. TP implementation is a complex task, today performed manually. This paper proposes an approach to assist the generation of TPs, based on a purpose-built domain specific language for test case specification, from which synchronous observers are generated and composed with the applicative software SCADE model. TPs are then obtained by using a model checker to refute the observer output, yielding, after some post-processing a trace of main input values extended with expected outcome checks. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|