Skip to Main content Skip to Navigation
Journal articles

A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing 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 can hardly 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 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 metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 20, 2020 - 2:30:34 PM
Last modification on : Thursday, March 18, 2021 - 2:34:33 PM


Rocha Silva_22288.pdf
Files produced by the author(s)



Thiago Rocha Silva, Jean-Luc Hak, Marco Winckler. A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces. International Journal of Semantic Computing, 2017, 11 (04), pp.513-539. ⟨10.1142/S1793351X17400219⟩. ⟨hal-02548019⟩



Record views


Files downloads