An approach to formalizing specification-based class testing
缪淮扣, 刘玲 · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2006
这份报纸论述能被用来形式化基于说明的单人赛类的测试产生过程的一个框架。Object-Z 被用来描述软件要求和建议框架。用这个框架，测试工程师能自动地在测试产生过程期间得到严峻的过程模型。与这个模型一起，测试用例的性质(例如在测试用例和方法之间的关系，罐头容易被捕获。与框架，而且，测试过程模型能与测试产生过程自动地被更新。测试用例的性质然后能相应地被更新。测试将极大地便于回归。这份报纸的主要贡献是它提供一条途径给由扩大存在框架到班测试，和作为多部分代表测试用例的一个方法形式化严峻的过程，多步，多水平人工制品。关键词测试类框架 - 测试的班 - 有限州的机器(FSM )- 中国(资助号码 60373072 ) 的国家自然科学基础支持的 Object-Z 工程，和国家基本研究中国编程序(资助号码 973 - 2002CB312001 )