Testing in top-down program development

Author

Laski, Janusz

Author_Institution

Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada

fYear

1988

fDate

19-21 Jul 1988

Firstpage

72

Lastpage

79

Abstract

A program design methodology is presented that advocates the synthesis of tests hand-in-hand with the design at every stage of program development and uses them for early detection of design flaws. It involves formal specifications of abstract programs and abstract data refinement that appear in the design. The main findings are: (1) formalization facilitates black-box and design-based functional testing; (2) abstract data testing allows a more natural selection of tests than concrete data testing; (3) black-box testing leads to significant structural coverage testing; and (4) the method can be combined with formal verification

Keywords

program testing; program verification; software engineering; specification languages; abstract data refinement; abstract data testing; abstract programs; black-box testing; design flaws; design-based functional testing; formal specifications; formal verification; structural coverage testing; top-down program development; Computer science; Concrete; Design engineering; Design methodology; Fault detection; Formal specifications; Formal verification; Monitoring; Process design; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on

Conference_Location

Banff, Alta.

Print_ISBN

0-8186-0868-4

Type

conf

DOI

10.1109/WST.1988.5355

Filename

5355