Work

Improving PSS Test Generation Using Model Checking and Conformance Testing

Year: 2024

Type: conference-paper

Abstract: SoC architectures are complex and notoriously hard to verify. Current industrial practice is still mainly based on testing, with the recent standard PSS easing the generation of system-level tests. In this paper, we suggest to formally express the behavior of a PSS model as a composition of communicating labeled transition systems. This improves the PSS methodology in two ways. First, it becomes possible to formally verify temporal logic properties of the model and increase the confidence in the model and the generated tests. Second, conformance testing techniques improve the coverage of the generated tests.

DOI: 10.1109/fdl63219.2024.10673842

Authors: Philippe Ledent, Radu Mateescu, Wendelin Serwe

Institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, CONVECS: Construction de systèmes concurrents vérifiés, Université Grenoble Alpes

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Awards: G1190173965, Architecture Convergée, Efficace et Sûre à base d’Accélérateurs proches de la Mémoire

OpenAlex ID: W4402628643

FWCI:

Cites: 14

Cited by:

Related to: 10