The purpose of this project is to improve the automation of testing activities related to software systems and as a consequence the results of the test activities.
Examples of improvements are: reduced time to prepare and run tests, increase in the discovery of undetected faults and reduction in the amount of executed, unnecessary tests. The approach in this project is to apply semantic technologies and ontology engineering. The main purpose is to create a method for deriving test case data from an ontology representing the specification and domain for a software system. The ontology will be utilised to generate test data through inference rules, formalising the knowledge of experienced testers in the domain. Furthermore, this approach to ontology-based testing will be combined with evolutionary testing, e.g. genetic algorithms. Specifically, the fitness function will be defined through the domain relevance of generated test data as well as mutations which will partly be performed with the help of the domain ontology.
The most important industrial needs addressed in this project are to prepare test case data without actual test execution, reduce complexity of searching for test case data, ensure diversity of generated test cases and to reduce the amount of resources required for test case preparation.
The project work includes four major activities:
- development of a system specification ontology and formalisation of inference rules
- construction of a method for ontology-based testing
- development of a software prototype implementing the method
- experimentation and evaluation
- Formella metoder i programvarutestning. Elektronik i Norden. Posted on August 30th, 2016.
- Tan, H., Muhammad, I., Tarasov, V., Adlemo, A. & Johansson, M. (2016). Development and evaluation of a software requirements ontology. In: Proceedings of the 7th International Workshop on Software Knowledge - SKY 2016. (full text available)
- Tarasov V., Tan H., Ismail M., Adlemo A., Johansson M. (2017) Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases. In: Dragoni M., Poveda-Villalón M., Jimenez-Ruiz E. (eds) OWL: Experiences and Directions – Reasoner Evaluation. OWLED 2016. Lecture Notes in Computer Science, vol 10161. Springer, Cham. (full text available)
- Muhammad Ismail. Ontology Learning from Software Requirements Specification (SRS). Accepted to the Doctoral Consortium at the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW2016).
- Presentation about the project at the Software Technology Exchange Workshop, STEW, 2016, 12 - 13 October, Linköping, Sweden: http://swedsoft.se/event/stew-2016/
- Presentation about the project at the European Project Space in conjunction with the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2016, November, 10th 2016, Porto Portugal.
- Presentation about the project at the Work-in-Progress seminar at the School of Engineering, November 10, 2016.
- Workshop on software testing, Kulturhuset Spira, Jönköping , 7th February 2017
Vladimir Tarasov, Associate Professor