论文部分内容阅读
基于图论的路径分析是系统行为分析与监测的重要技术手段.基本路径覆盖技术是常用的路径分析技术, 而基本路径仅考虑路径间独立性分析, 缺乏对边对、 环路等路径特征分析.Paul提出一种Prime路径生成技术, 以最大简单路径覆盖为目标, 有效检测边对、 环路等路径缺陷问题, 然其没有考虑路径独立性.论文提出一种满足行为独立性覆盖的Prime路径生成技术, 采用启发式算法在生成独立路径时选择满足行为关联性覆盖的路径生成, 在保证覆盖充分性的同时,使得测试路径数和总测试路径长度在可测性前提下保持在合理的范围, 从