A multi-criteria decision making framework for real time model-based testing

Authors:
Mohammad Saeed Abou Trab;Bachar Alrouh;Steve Counsell;Rob M. Hierons;George Ghinea
Affiliations:
Department of Information Systems and Computing, Brunel University, Uxbridge, UK;Department of Information Systems and Computing, Brunel University, Uxbridge, UK;Department of Information Systems and Computing, Brunel University, Uxbridge, UK;Department of Information Systems and Computing, Brunel University, Uxbridge, UK;Department of Information Systems and Computing, Brunel University, Uxbridge, UK
Venue:
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Year:
2010

Citing 5
Cited 1

Fault Coverage in Testing Real-Time Systems

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
A scalable method for testing real-time systems

Software Quality Control
Towards an Industrial Strength Process for Timed Testing

ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Fault Coverage Measurement of a Timed Test Case Generation Approach

ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Testing real-time systems using UPPAAL

Formal methods and testing

Relevance and perspectives of AAL in Brazil

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing Real-Time Embedded Systems (RTES) is a non-trivial task - time adds a new dimension to the complexity of the testing process. In previous research, we introduced a 'priority-based' approach which tested the logical and timing behaviour of an RTES modelled formally as Uppaal timed automata. In this paper, we develop a novel Analytical Hierarchy Process (AHP) decision-making framework for our priority-based testing approach that provides testers with a systematic approach through which they can prioritize the available testing sets that best fulfils their testing requirements.