【摘要】 软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。更多还原

【Abstract】 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.更多还原