object-orientedtesting and maintenance
...类测试的框架并不使用形式规格说明,例如D.Kung等提出的面向对象的测试和 维护环境(Object-OrientedTesting and Maintenance,OOTM)。00TM使用了 一个数学定义的测试模型,这个测试模型是从源代码生成的。
基于1个网页-相关网页
object-orientedtesting and maintenance
面向对象的测试和维护
以上为机器翻译结果,长、整句建议使用 人工翻译 。