Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

Autor:	Wilkerson L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida
Rok vydání:	2009
Předmět:	Formalism (philosophy of mathematics) Test case Sequence diagram Computer science business.industry Embedded system Real-time computing business Execution model
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642104510 SBMF
DOI:	10.1007/978-3-642-10452-7_5
Popis:	This paper discusses issues raised in the construction of test models and automatic generation of test cases for embedded real-time systems with interruptions that can run on the FreeRTOS operating system. The focus is on the use of symbolic transition systems (STSs) as the formalism from which test cases are generated by using the STG tool. The solution presented considers a test case execution model for real-time systems with interruptions that can be based on the integrated use of FreeRTOS components. A case study is presented to illustrate all steps from the construction of the test model to test case generation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e3156898601ed57d1bbde4344719638d https://doi.org/10.1007/978-3-642-10452-7_5 Zobrazit plný text záznamu