MicroTESK: Specification-Based Tool for Constructing Test Program Generators

Autor:	Alexander Kamkin, Mikhail Chupilko, Andrei Tatarnikov, Artem Kotsynyak
Rok vydání:	2017
Předmět:	Instruction set Functional verification Instruction set simulator Computer science Programming language Formal specification PowerPC x86 computer.software_genre Reference model computer Generator (mathematics)
Zdroj:	Hardware and Software: Verification and Testing ISBN: 9783319703886 Haifa Verification Conference
DOI:	10.1007/978-3-319-70389-3_15
Popis:	The paper presents MicroTESK, a tool that automates construction of test program generators for microprocessors. A constructed generator consists of the core that implements architecture-independent generation methods and the model that holds information required to generate tests for the corresponding architecture. The tool extracts this information from formal specifications of the instruction set architecture. The extracted information is used in multiple ways: (1) to get the assembly format of the instructions; (2) to build the coverage model of the instruction set architecture; (3) to construct the instruction set simulator used as a reference model. Test programs are created on the basis of test templates provided by users. Flexible architecture of the tool facilitates integration of new test generation engines. MicroTESK has been applied to the ARMv8, MIPS64, PowerPC, RISC-V, and x86 architectures.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e7b943b32d09d0ef488d91bba6bcf7f9 https://doi.org/10.1007/978-3-319-70389-3_15 Zobrazit plný text záznamu