Specification based formal testing: the EasyLink case study

Axel Belinfante, J.P. Veen (Editor), J. Feenstra, A.W. Heerink, R.G. de Vries

    Research output: Contribution to conferencePaper

    Abstract

    Testing is, in most cases, a manual activity that is time consuming and error prone. Automation, however, can severely reduce the associated costs. In the project Cote de Resyste (COnformance TEsting of REactive SYSTEms) theory is being developed and a protoype tool is being built to support the automatic test generation and execution from formal specifications for reactive systems such as communication protocols and embedded system software [14]. Industrial case studies are carried out by industrial partners to evaluate the theory and tools in practice, to identify potential bottlenecks and to suggest improvements. In this paper we describe our experiences with one of such case studies, the EasyLink case study. In this case study Audio/Video (AV) devices are automatically tested for compliance to the EasyLink standard. The purpose of this case study is to check the viability of the theory and the tools developed in project by applying them in an industrial setting. This paper discusses how the case study led to theoretical developments and tool improvements, and in that way provided valuable feedback that was used to guide the future direction of the project.
    Original languageUndefined
    Pages73-82
    Number of pages10
    Publication statusPublished - Oct 2001
    Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
    Duration: 18 Oct 200118 Oct 2001
    Conference number: 2

    Workshop

    Workshop2nd PROGRESS Workshop on Embedded Systems 2001
    Abbreviated titlePROGRESS
    CountryNetherlands
    CityVeldhoven
    Period18/10/0118/10/01

    Keywords

    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • IR-63283
    • EWI-6455
    • FMT-TOOLS
    • FMT-TESTING

    Cite this

    Belinfante, A., Veen, J. P. (Ed.), Feenstra, J., Heerink, A. W., & de Vries, R. G. (2001). Specification based formal testing: the EasyLink case study. 73-82. Paper presented at 2nd PROGRESS Workshop on Embedded Systems 2001, Veldhoven, Netherlands.