The proposal of a novel software testing framework

TL;DR

This paper introduces a new software testing framework that generates test oracles from VDM++ specifications, enabling effective class-level testing for object-oriented programs, demonstrated through a triangle problem case study.

Contribution

It presents a novel technique for translating VDM++ specifications into C++ test oracles, integrating them into a functional testing framework for object-oriented software.

Findings

Successfully generated test oracles from VDM++ specifications

Effectively tested class behaviors using the proposed framework

Demonstrated applicability with a triangle problem case study

Abstract

Software testing is normally used to check the validity of a program. Test oracle performs an important role in software testing. The focus in this research is to perform class level test by introducing a testing framework. A technique is developed to generate test oracle for specification-based software testing using Vienna Development Method (VDM++) formal language. A three stage translation process, of VDM++ specifications of container classes to C++ test oracle classes, is described in this paper. It is also presented that how derived test oracle is integrated into a proposed functional testing framework. This technique caters object oriented features such as inheritance and aggregation, but concurrency is not considered in this work. Translation issues, limitations and evaluation of the technique are also discussed. The proposed approach is illustrated with the help of popular triangle problem case study.