A New Design-by-Contract Approach to Improving Software Testability
Ping Chuan Sun · Computer Engineering and Science · 2008
Software testing is an important technology used to ensure the quality of software.Software testing evolves towards the former phase of software development and inosculates with the design and coding phases of software development.The testability of software gains our concern gradually.Design-by-contract is an effective approach to designing software testability.This paper introduces the basic ideas and primary approaches to design software testability.Then a new design-by-contract approach is proposed.And the existing design-by-contract tools supporting the Java programming language are compared.Finally,a new design-by-contract tool is developed,on which experiments are carried out to validate the effectiveness of our approach.