论文部分内容阅读
第三方构件的接口规约通常缺少接口行为语义信息。行为语义信息体现为构件接口方法调用的约束信息，包括这些方法调用的顺序、方法参数值的约束和方法返回值的约束。基于动态分析技术，本文提出一个通过交互追踪提取构件接口交互约束的方法。方法在系统测试用例集执行过程中，捕获构件与系统其他构件间的交互追踪序列，采用获得的交互追踪序列增量推理构件与系统其他构件间的接口交互约束，并将接口交互约束建模为带参数的有限状态机。现有的建模方法提取的行为模型为变量值的信息或者方法调用顺序的信息。本文方法产生的行为模型描述了方法调用顺序约束、参数值约束以及参数值和方法调用顺序之间的依赖关系。