A Formal Software Testing Technique

Abstract

Software Testing is defined as a single phase activity in software development process by using water fall model. We have been working on a research project on formal software testing technique. In this paper, contrary to usual practice, a built-in testing module at each stage of software development process is proposed. The problem description is first expressed in a formal notation to get the problem-definition, in an unambiguous and formal format. This formal description of the problem will be more accurate and will form a formal test bed in the tabular form. This test bed will facilitate different types of relevant testing at each phase of system development process, both vertical and horizontal testing. The said software testing technique consists of three modules. This paper covers the work done in the first module.