关键词: 软件测试 软件的易测试性 合约式设计

Abstract:

Software testing is an important technology used to ensure the quality of software. Software testing evolves towards the former phase of software deve  lopment 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 designby-contract approach is proposed. And the existing design-by-contract tools supporting the Java programming language are compar ed. Finally, a new design-by-contract tool is developed, on which experiments are carried out to validate the effectiveness of our approach.

Key words: software testing;software testability, design-by-contract design