A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

Autor:	Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Domenico Di Leo
Přispěvatelé:	S. Bologna, F. Flammini, V.Vittorini, Cotroneo, Domenico, DI LEO, Domenico, Natella, Roberto, Pietrantuono, Roberto
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	File system Engineering business.industry Safety-Critical System Robustness testing Avionics computer.software_genre DO-178B Reliability engineering Test case Life-critical system Robustness (computer science) Embedded system business Operating System computer Robustness Testing FIN.X-RTOS
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642242694 SAFECOMP
Popis:	This paper investigates the impact of state on robustness testing, by enhancing the traditional approach with the inclusion of the OS state in test cases definition. We evaluate the relevance of OS state and the effects of the proposed strategy through an experimental campaign on the file system of a Linux-based OS, to be adopted by Finmeccanica for safety-critical systems in the avionic domain. Results show that the OS state plays an important role in testing those corner cases not covered by traditional robustness testing.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f023a5594672cec3a39b1ac708198833 http://hdl.handle.net/11588/425473 Zobrazit plný text záznamu