Title :
A formal program testing methodology for use in the development of commercial software
Author :
Roper, R.M.F. ; Smith, P.
Author_Institution :
Sunderland Polytech., UK
Abstract :
The authors have developed a novel testing methodology which exploits the inherent testability of the Jackson Structured Programming (JSP) design process and also integrates fully with that process. The method comprises two components; a structural testing method (STM) and a functional testing method (FTM). The authors present an overview of the methodology and its two constituent methods
Keywords :
program testing; software engineering; structured programming; Jackson Structured Programming; commercial software; formal program testing; functional testing; software engineering; structural testing;
Conference_Titel :
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location :
Liverpool
