摘要
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。文章分析了这些问题,提出了一种结合单元测试工具xUnit的解决方案,并提供了实现方法,使程序员能够更为容易的实现断言测试,从而为其应用铺平了道路。
Embedded assertions is a potentially useful tool for automatic software testing, and several specification languages have been invented to apply this idea into practical applications;however it＇s not generally accepted due to some problems it has.This article analyses these problems, brings forward a solution combined with unit testing tools, and gives an implementation of this idea, which make it easier for programmers to write assertions.
出处
《微计算机信息》
2010年第8期82-83,79,共3页
Control & Automation
关键词
断言
测试
规格语言
JAVA
Assertions
software testing
specification languages
java
