论文部分内容阅读
本文提出了一种通过静态分析提取宏动作的方法。静态分析的对象是基动作之间的关系。首先经过分析问题域，特定的选取一些常量对动作实例化，得到一些基动作。然后分析这些基动作得到矛盾谓词对，在此基础上将基动作之间的关系进行分类，并根据基动作的之间的关系生成模式图。最终根据模式图提取出具有实际应用价值的宏动作。