1999 | OriginalPaper | Buchkapitel
Using TRIO Specifications to Generate Test Cases for an Interactive System
verfasst von : Bruno d’Ausbourg, Jacques Cazin
Erschienen in: Design, Specification and Verification of Interactive Systems ’99
Verlag: Springer Vienna
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
User Interface Systems (UIS) are quite an important part of many current applications involving human end-users. Testing such open reactive systems requires an interaction with the end-user which must be carefully guided so as to avoid inherent non-determinism and combinatorial problems. In this paper we propose an approach based on a formal expression of UIS expressed in the temporal logic TRIO which uses a process of model generation to produce significant test cases and oracles. Moreover, we show how this approach can be integrated into a general validation and verification process in which the UIS is still informally developed.