Home
About the School
Contact and People
Future Undergraduate Students
Prospective Postgraduates
Current Students
Current Postgraduates
Research
IT News
Awards
Industry Links and Prizes
School and IT Information
Other
Internal Information
|
Research Seminar - December 12, 2000
Seminar Announcement
| Title: |
Conformance Testing for Real-Time Systems
|
| Speaker: |
Dr Rachel Cardell-Oliver
|
| |
Department of Computer Science
University of Essex UK
|
| Date: |
Tuesday 12th December, 2000 |
| Time: |
2.00pm |
| Venue: |
Seminar Room 1.24 |
Abstract
The purpose of conformance testing is to determine whether
an implemented computer system satisfies its specification.
For a useful class of implementations this can be done
by constructing a finite set of test experiments such that,
- if the implementation satisfies its specification then all
the test experiments will succeed,
and, more interestingly,
- if the implementation does not satisfy its specification,
then at least one of the test experiments will fail.
In this seminar we present a new method for testing whether
an implemented real-time system conforms to its Uppaal
timed automata specification. |
|
