Ontology-based Software Test Case Generation (OSTAG) [Elektronisk resurs]

• Testing is a paramount quality assurance activity in every software developmentproject, especially for embedded, safety critical systems. During thetest process, a lot of effort is put into the generation of test cases. The presentedOSTAG project aimed at developing methods and techniques to automate thesoftware test case generation for black-box testing. The proposed approach wasbased on the creation of a software requirements ontology and the applicationof inference rules on the ontology to derive test cases. The ontology representsknowledge of the requirements, the software system and the corresponding applicationdomain while the inference rules formalize knowledge from documentsand experienced testers in the domain of test planning and test case generation.A software prototype of the approach was implemented and one of the industrialproject partners evaluated the results. An alternative method for generating testcases, based on genetic algorithms, was also explored. 

Ämnesord

Engineering and Technology  (hsv)

Electrical Engineering, Electronic Engineering, Information Engineering  (hsv)

Computer Systems  (hsv)

Teknik och teknologier  (hsv)

Elektroteknik och elektronik  (hsv)

Datorsystem  (hsv)

Genre

government publication  (marcgt)

Indexterm och SAB-rubrik

Black-box Testing

Embedded Systems

Genetic Algorithms

Inference Rules

Knowledge Modelling

Model-Based Testing

Ontology Development

Ontology Quality Evaluation

Ontology Verbalisation

OWL

Prolog

Prot´eg´e

Software Requirements Specification

Test Case Generation.