一种蜕变关系形式化描述与分解方法

摘要

本发明公开了一种蜕变关系形式化描述与分解方法，包括如下步骤：（1）根据目标被测软件，抽取和设计软件必须满足的蜕变关系，创建蜕变关系；（2）基于符号逻辑对得到的蜕变关系进行形式化建模：首先确定蜕变关系成立的约束条件，并进行形式化描述；然后基于符号逻辑描述蜕变关系的输入参数和输出参数，建立蜕变关系形式化描述模型；（3）基于形式化模型，分别提取出构成蜕变关系的子关系以及蜕变关系构成模型的集合描述形式，建立蜕变关系分解模型。本发明简单明了，通过符号逻辑描述，保证了形式化模型的描述能力和适用范围，为蜕变关系描述提供了精确、规范、有效的方法，更有助于后续的蜕变测试的自动化实施。