DocumentCode
281367
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
fYear
1988
fDate
11-15 Jul 1988
Firstpage
128
Lastpage
132
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;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location
Liverpool
Type
conf
Filename
196374
Link To Document