A FORMAL ONTOLOGY FOR DESCRIBING INTERACTIVE BEHAVIORS ON USER INTERFACES

Abstract : Nowadays many software development frameworks implement Behavior-Driven Development (BDD) as a mean of automating the test of interactive systems under construction. Automated testing helps to simulate user's actions on the User Interface and therefore check if the system behaves properly and in accordance to scenarios that describe functional requirements. However, tools supporting BDD run tests on implemented User Interfaces and are a suitable alternative for assessing functional requirements in later phases of the development process. However, even when BDD tests can be written in early phases of the development process they hardly can be used with specifications of User Interfaces such as prototypes. To address this problem, this paper proposes to raise the abstraction level of both system interactive behaviors and User Interfaces by the means of a formal ontology that is aimed at supporting test automation using BDD. The paper presents an ontology and an ontology-based approach for automating the test of functional requirements of interactive systems. We demonstrate the feasibility of this ontology-based approach to assess functional requirements in prototypes and full-fledge applications through an illustrative case study of e-commerce applications for buying flight tickets.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02145965
Contributor : Marco Winckler <>
Submitted on : Monday, June 3, 2019 - 2:51:18 PM
Last modification on : Thursday, June 27, 2019 - 4:27:53 PM

File

Rocha-Hak-Winckler-IJSC-v06Man...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02145965, version 1

Citation

Thiago Rocha, Jean-Luc Hak, Marco Winckler. A FORMAL ONTOLOGY FOR DESCRIBING INTERACTIVE BEHAVIORS ON USER INTERFACES. International Journal of Semantic Computing (IJSC), 2017. ⟨hal-02145965⟩

Share

Metrics

Record views

8

Files downloads

8