[ Last edited by bencat on 2005-4-7 at 15:36 ]作者: bencat 时间: 2005-4-7 10:54 标题: -- --
[ Last edited by bencat on 2005-4-7 at 10:58 ]作者: 关河 时间: 2005-4-29 17:49
核心是可验证性的问题。以前有过的研究包括 基于形式语言的描述研究、面向契约的编程方式、还有近期的通过UML建立测试用例等等,但总体来说,还未达到实用的程度。
Originally posted by bencat at 2005-4-7 10:52 AM:
我读了CppUnit的源码,觉得CppUnit在coding一级,或者说在单元测试一级使用非常好。CppUnit蕴含了很多简单但有效的方法。但是,如果上升一点点,比如如果想在describe一级,或者说在project一级对不同的程序进行 ...