About CS&CE
Prospective Students
Research
Staff
Dept Comp Sci & Comp Eng
Contact Details
La Trobe University
Victoria 3086
AUSTRALIA
Tel: +61 3 9479 1107
Fax: +61 3 9479 3060
Email: info
@cs.latrobe.edu.au
|
 |
Research - Current Postgraduates - Details
Department of Computer Science & Computer Engineering
| Murnane, Tafline |
|
Course:
|
PhD |
|
Research Title/Topic:
|
Specification-Based Mutation Analysis |
|
Supervisor:
|
Dr. Andrew Skabar Co-external: Assoc. Prof. Karl Reed |
Description:
Program mutation analysis is a well-known testing technique in which program source code is seeded with certain classes of faults, with the aim of developing a test set that is successful at locating such faults. We have taken the concept of mutation analysis to the level of the specification. Test sets are developed by mutating the program specification. These mutation test cases are then used to test a program in the usual black-box manner. For this technique to have practical value and to be accepted by the software development industry, it must produce test sets that are of equal or higher quality than test cases generated by more popular forms of black-box testing. For example, Boundary Value Analysis and Equivalence Partitioning. Automation of the technique is also of particular interest. |
|
|
