基于动态分析构件接口交互约束建模
第三方构件的接口规约通常缺少接口行为语义信息。行为语义信息体现为构件接口方法调用的约束信息，包括这些方法调用的顺序、方法参数值的约束和方法返回值的约束。基于动态分析技术，本文提出一个通过交互追踪提取构件接口交互约束的方法。方法在系统测试用例集执行过程中，捕获构件与系统其他构件间的交互追踪序列，采用获得的交互追踪序列增量推理构件与系统其他构件间的接口交互约束，并将接口交互约束建模为带参数的有限状态机。现有的建模方法提取的行为模型为变量值的信息或者方法调用顺序的信息。本文方法产生的行为模型描述了方法调用顺序约束、参数值约束以及参数值和方法调用顺序之间的依赖关系。
构件接口 接口交互约束 行为模式 动态分析
高静 兰雨晴 金茂忠 郭树行 李红娟 赵同
北京航空航天大学计算机学院软件工程研究所，北京 100083 内蒙古农业大学计算机与信息工程学院，呼和浩特 010018 北京航空航天大学计算机学院软件工程研究所，北京 100083 北京航空 航天大学计算机学院软件工程研究所，北京 100083
国内会议
昆明
中文
326-330
2008-07-01（万方平台首次上网日期，不代表论文的发表时间）