论文部分内容阅读
文中提出一个方法，由构件开发方提供有关构件内接口变量定义和使用的信息，以提高构件的可测试性和可理解性．形式化地定义了构件耦合测试准则，定义-使用属性和观察点值．在此基础上，引入包含上述两项属性的定义一使用表（DU表），给出基于该表的构件框架．最后将上述方法应用于自主开发的构件中，并生成了相应的测试用例．将文中提出的方法与Orso方法和Kan方法进行了相关的比较，结果表明文中方法无论在测试用例生成，还是在变异发现上都更有效．