An approach to software testing: methodology and tools
Roger Bate, G.T. Ligler · 2005
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.