|
Title:
|
SOME TEST SELECTION CRITERIA FOR TIMED INPUT OUTPUT AUTOMATA SPECIFICATIONS |
|
Author(s):
|
Abdeslam En-nouaary , Abdelghani Benharref |
|
ISBN:
|
978-972-8924-56-0 |
|
Editors:
|
Nuno Guimarães and Pedro Isaías |
|
Year:
|
2008 |
|
Edition:
|
Single |
|
Keywords:
|
Timed Input Output Automata, Testing, Formal Methods |
|
Type:
|
Full Paper |
|
First Page:
|
43 |
|
Last Page:
|
48 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Testing is one of the most commonly used methods for validating software products before deployment. It consists of
selecting elements (called test cases) from the software's input domain, executing them on the program, and comparing
the actual outputs to the expected ones in order to detect and fix potential errors. This paper addresses testing of Timed
Input Output Automata (TIOA) specifications. It basically presents a family of test selection criteria for TIOA. Each of
these criteria can be used to generate test cases from TIOA and ensure certain fault coverage. As such, some of these test
criteria are easy to satisfy while others are not. Moreover, the test selection criteria presented in this paper are related one
to another based on certain inclusion relation. Examples are used throughout the paper to clarify the concepts introduced. |
|
|
|
|
|
|
