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