loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.238.90.95

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Tarasov, V.; Tan, H.; Adlemo, A.; Andersson, A.; Muhammad, I.; Johansson, M. and Olsson, D. (2015). Ontology-based Software Test Case Generation (OSTAG). In European Projects in Knowledge Applications and Intelligent Systems - EPS Lisbon 2016, ISBN 978-989-758-356-8, pages 135-159. DOI: 10.5220/0007901301350159

@conference{eps lisbon 201615,
author={Vladimir Tarasov. and He Tan. and Anders Adlemo. and Anders Andersson. and Ismail Muhammad. and Mats Johansson. and Daniel Olsson.},
title={Ontology-based Software Test Case Generation (OSTAG)},
booktitle={European Projects in Knowledge Applications and Intelligent Systems - EPS Lisbon 2016,},
year={2015},
pages={135-159},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007901301350159},
isbn={978-989-758-356-8},
}

TY - CONF

JO - European Projects in Knowledge Applications and Intelligent Systems - EPS Lisbon 2016,
TI - Ontology-based Software Test Case Generation (OSTAG)
SN - 978-989-758-356-8
AU - Tarasov, V.
AU - Tan, H.
AU - Adlemo, A.
AU - Andersson, A.
AU - Muhammad, I.
AU - Johansson, M.
AU - Olsson, D.
PY - 2015
SP - 135
EP - 159
DO - 10.5220/0007901301350159