Authors:
Vladimir Tarasov
1
;
He Tan
1
;
Anders Adlemo
1
;
Anders Andersson
2
;
Ismail Muhammad
1
;
Mats Johansson
3
and
Daniel Olsson
4
Affiliations:
1
Jönköping University, Sweden
;
2
School of Engineering, Jönköping University, Sweden
;
3
Saab Avionics Systems i Jönköping, Sweden
;
4
AddQ AB, Sweden
Keyword(s):
Black-box Testing, Embedded Systems, Genetic Algorithms, Inference Rules, Knowledge Modelling, Model-Based Testing, Ontology Development, Ontology Quality Evaluation, Ontology Verbalisation, OWL, Prolog, Protégé, Software Requirements Specification, Test Case Generation.
Abstract:
Testing is a paramount quality assurance activity in every software development
project, especially for embedded, safety critical systems. During the
test process, a lot of effort is put into the generation of test cases. The presented
OSTAG project aimed at developing methods and techniques to automate the
software test case generation for black-box testing. The proposed approach was
based on the creation of a software requirements ontology and the application
of inference rules on the ontology to derive test cases. The ontology represents
knowledge of the requirements, the software system and the corresponding application
domain while the inference rules formalize knowledge from documents
and experienced testers in the domain of test planning and test case generation.
A software prototype of the approach was implemented and one of the industrial
project partners evaluated the results. An alternative method for generating test
cases, based on genetic algorithms, was also explored.