Abstract:
In recent years attitudes to software testing have increased in formality, for well understood reasons, from informal test case selection and execution to consideration o...Show MoreMetadata
First Page of the Article
Abstract:
In recent years attitudes to software testing have increased in formality, for well understood reasons, from informal test case selection and execution to consideration of mathematically rigorous proofs that a program satisfies its requirements. The parallel development of software development methodologies has heightened awareness that testing approaches must be fully coordinated with software construction practices. This paper presents an approach to utilization of these trends and a prognosis for future testing technique evolution.
Published in: The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78.
Date of Conference: 13-16 November 1978
Date Added to IEEE Xplore: 10 December 2002
First Page of the Article
