 | Design Techniques for Real-time Embedded Systems |
| 
| Research Projects |
| 
| Open Source Software Development |
|  | UNU-IIST Home |
|
| Software Testing |
II/1/1/7 Software Testing
This research direction is concerned with the automated generation of
test-cases from formal requirements specifications as well as with
the associated testing theories. This includes the investigation of
existing testing, specification and refinement techniques.
In particular, the following research directions are under investigation:
- Test-case generation and refinement calculi.
- Glymour's Bootstrap Testing (continuation of Armando Haeberer's work).
- Testing theories for coalgebraic structures.
- Test-case generators based on constraint solvers and model-checkers.
Our aim is to develop testing theories that are able to unify the
existing results on specification-based testing. We have shown that a
refinement calculus can be used to describe different test-case
selection strategies via abstraction rules. This work should lead to a
clarification on the relations between testing and formal development
methods. Here, it is important not to ignore the previous results on
testing scientific theories. We plan to continue Armando Haeberer's
work in this area.
With the University of Minho, Braga, Portugal we investigate the use of
coalgebras and coalgebraic specifications for the modelling of components.
A testing theory for coalgebras should be developed that generalises the
existing work on Labelled Transition Systems.
Based on the theoretical results, test-case generators should be developed.
iistinfo@iist.unu.edu,
| Software Testing |
| Design Techniques for Real-time Embedded Systems |
| |
| Research Projects |
| |
| Open Source Software Development |
| | UNU-IIST Home |
|