@InProceedings{BarrosHiraMarqAmbr:2020:GeTeCa,
author = "Barros, Lilian and Hirata, Celso and Marques, Johnny and
Ambr{\'o}sio, Ana Maria",
affiliation = "{Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and
{Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and
{Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and
{Instituto Nacional de Pesquisas Espaciais (INPE)}",
title = "Generating test cases to evaluate and improve processes of
safety-critical systems development",
booktitle = "Proceedings...",
year = "2020",
editor = "Vieira, M. and Madeira, H. and Antunes, H. and Zheng, Z.",
pages = "311--318",
organization = "International Symposium on Software Reliability Engineering
Workshops, 31.",
publisher = "IEEE",
abstract = "O-178C establishes considerations for developers, installers, and
users to design software of embedded equipment in the aviation
sector. Organizations must define processes and verify that they
help to demonstrate that the DO-178C objectives are satisfied. We
propose a test case generation method for process evaluation and
improvement. The proposed method consists of an adaptation of the
CoFI (Conformance and Fault Injection) approach to generate test
cases to processes. Test cases verify if the deployed processes
comply with their requirements. We applied the innovative approach
to a corrective action process for safety-critical software
reviews. The results show that the method is helpful to elicit and
analyze unexpected behaviors.",
conference-location = "Coimbra, Portugal",
conference-year = "12-15 Oct.",
doi = "10.1109/ISSREW51248.2020.00090",
url = "http://dx.doi.org/10.1109/ISSREW51248.2020.00090",
isbn = "978-172819870-5",
language = "en",
targetfile = "barros_generating.pdf",
urlaccessdate = "20 set. 2024"
}