COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY

Pinkevich, V.; Platunov, A.; Bykovskii, S.
Abstract:
The article deals with the problem of embedded computing systems testing and debug. The embedded systems design process, actual problems and existing solutions are analyzed from this perspective. The method of testing and debug based on model-oriented record and replay of the computational process is proposed, as well as the corresponding specification model for real-time computational processes. The specification model is a modified control flow graph. The key advantage of the proposed method is an abstract definition of the computational process, not tied to the implementation technology. This advantage allows test data transfer between different phases of the embedded system design and implementation as well as between various implementation options. This also allows using this method for systems implemented on heterogeneous computing platforms. An important feature of the proposed model is the support of the unambiguous identification of the current point of the computational process. This feature allows automating the analysis of test data and implementing replay of a partial set of computational process events and data. The article describes the proposed testing method and specification model of the computational process, as well as examples of specification model application.
SGEM Research areas:
Year:
2018
Type of Publication:
In Proceedings
Keywords:
embedded systems; record and deterministic replay; high-level modeling; verification; debug
Volume:
18
SGEM Book title:
18th International Multidisciplinary Scientific GeoConference SGEM 2018
Book number:
2.1
SGEM Series:
International Multidisciplinary Scientific GeoConference-SGEM
Pages:
231-238
Publisher address:
51 Alexander Malinov blvd, Sofia, 1712, Bulgaria
SGEM supporters:
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
Period:
02-08 July, 2018
ISBN:
978-619-7408-39-3
ISSN:
1314-2704
Conference:
18th International Multidisciplinary Scientific GeoConference SGEM 2018, 02-08 July, 2018
DOI:
10.5593/sgem2018/2.1/S07.030
Hits: 93