Login | Register

Automatic generation of test cases and anticipated test outcome based on a tabular design specification

Title:

Automatic generation of test cases and anticipated test outcome based on a tabular design specification

Thatipamala, Ramakrishnaiah (1999) Automatic generation of test cases and anticipated test outcome based on a tabular design specification. Masters thesis, Concordia University.

[thumbnail of MQ47852.pdf]
Preview
Text (application/pdf)
MQ47852.pdf
5MB

Abstract

At the present time, even for safety-critical applications, it is very difficult, if not impossible, to produce a software that is "completely error-free". One of the important issues associated with this realistic situation is how to minimise the number of errors in a given software. Effective testing of software using trusted CASE tools is one possible strategy. This thesis discusses the development of a prototype CASE tool, called Apollo, that automates some of the "tedious, complex and error-prone" manual activities that are associated with the unit testing of software modules. The input to Apollo is a design specification document where the design is specified using a tabular notation. This specification is sufficiently detailed to enable execution by a machine. The tool generates a set of test cases and the anticipated test outcome for each test case by executing the tabular specification. Tabular specification is considered as a "practical" formal method, since it is a method that software developers can easily learn and apply without much mathematical background. The tabular design specification is parsed and test cases are generated based on the boundary value analysis. The anticipated test outcome for each test case is generated by executing the parsed design specification. The proposed methodology is applied to a hypothetical case study for unit testing of software related to nuclear industry. This application replaces some of the manual generation of test cases and anticipated test outcome thereby reduces the cost of software testing

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Thatipamala, Ramakrishnaiah
Pagination:xii, 149 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1999
Thesis Supervisor(s):Radhakrishnan, Thiruvengadam
Identification Number:QA 76.76 R44T43 1999
ID Code:937
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:15
Last Modified:13 Jul 2020 19:48
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top