Testing Real-Time Embedded Systems using Timed Automata based approaches

AbouTrab, M. Saeed, Brockway, Michael, Counsell, Steve and Hierons, Robert (2013) Testing Real-Time Embedded Systems using Timed Automata based approaches. Journal of Systems and Software, 86 (5). pp. 1209-1223. ISSN 0164-1212

Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1016/j.jss.2012.12.030

Abstract

Real-Time Embedded Systems (RTESs) have an increasing role in controlling the IT that we use on a day-to-day basis. The behaviour of an RTES is not based solely on the interactions it might have with its surrounding environment, but also on the timing requirements it induces. As a result, ensuring that an RTES behaves correctly is non-trivial, especially after adding time as a new dimension to the complexity of the testing process. We previously introduced the ‘priority-based’ approach which tests the logical and timing behaviour of an RTES modelled formally as UPPAAL automata. The ‘priority-based’ approach was based on producing sets of timed test traces by achieving clock region coverage. In this paper, we empirically validate the ‘priority-based’ approach with comparison to well-known timed testing approaches based on a Timed Automata (TA) formalism using a complete test bed based on an industrial-strength case study (production cell). The validation assessment is based on both fault coverage and structural coverage by a minimal number of generated test traces; the former is achieved using the Mutation Analysis Technique (MAT) by introducing a set of timed and functional mutation operators. The latter is based on clock region coverage as a main timed structural coverage criterion. This study shows that ‘priority-based’ approach can combine a high fault coverage and clock region coverage with a relatively small number of test traces in comparison with other test approaches. A set of experiences and lessons learned are highlighted as result of the real-time test bed.

Item Type: Article
Uncontrolled Keywords: test bed, timed Automata, timed model-based testing, real-time Embedded systems
Subjects: G400 Computer Science
Department: Faculties > Engineering and Environment > Computer Science and Digital Technologies
Depositing User: Ay Okpokam
Date Deposited: 07 Oct 2013 10:50
Last Modified: 10 Aug 2015 11:09
URI: http://nrl.northumbria.ac.uk/id/eprint/13737

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence