A formal program testing methodology for use in the development of commercial software

摘要

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.