一种基于测量构件变迁模型的可重构测量构件一致性检测方法

摘要

可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容.建立了一种基于工作流的构件变迁模型MCTM(Measurement Component Transfer Model),详细阐述了MCTM模型的形式化定义,并基于MCTM模型给出了一种能自动生成遍历所有构件的测试用例生成算法CTBM-CTM.实验结果表明,CTBMCTM算法可以准确定位存在问题的构件,与T&GS算法相比,该算法在生成较短测试序列的同时显著缩短了算法的运行时间.