[发明专利]基于约束树的星载软件测试数据分析方法

摘要

本发明公开了一种基于约束树的星载软件测试数据分析方法，包括：将预设的需求的逐项描述逐一转换为表格化描述，并将所述表格化描述定义为约束表；采用主元融合法对所有所述约束表进行处理，生成需求约束树；采用主元融合法对实际测试生成的记录表中的各个用例的测试结果进行处理，生成与每个用例一一对应的结果约束树；将每个所述用例各自生成的结果约束树与所述需求约束树进行比较，分析当前用例生成的结果约束树与所述需求约束树是否相符。本发明依据软件需求自动建立需求约束树，并通过分析测试数据自动建立结果约束树，将结果约束树自动化进行分析其是否满足需求约束树分支条件、节点健康等，以自动化的完成测试正确性分析。

主权项

1.一种基于约束树的星载软件测试数据分析方法，其特征在于，包括：/n将预设的需求的逐项描述逐一转换为表格化描述，并将所述表格化描述定义为约束表；/n采用主元融合法对所有所述约束表进行处理，生成需求约束树，包括：将所述约束表分为逻辑选择型约束表、前置条件型约束表以及后置判断型约束表三种类型；将具有固定的逻辑关系的一组状态量设置在所述逻辑选择型约束表中的同一行；将当前状态量需要满足的判断条件定义为该当前状态量的前置条件，并将该前置条件与该当前状态量设置在所述前置条件型约束表中的同一行；将受约束于当前状态量的判断条件定义为该当前状态量的后置判断条件，并将该后置判断条件与该当前状态量设置在所述后置判断型约束表中的同一行；采用主元融合法对所有所述逻辑选择型约束表、所述前置条件型约束表以及所述后置判断型约束表进行处理，生成所述需求约束树；/n将每个所述用例各自生成的结果约束树与所述需求约束树进行比较，分析当前用例生成的结果约束树与所述需求约束树是否相符；/n其中，采用主元融合法对所有所述逻辑选择型约束表、所述前置条件型约束表以及所述后置判断型约束表进行处理，生成所述需求约束树，包括：/n将所述逻辑选择型约束表中最左列出现的状态量定义为最高优先级状态量，其余各状态量的优先级根据在所述逻辑选择型约束表中出现的位置由左至右依次降低，将所述逻辑选择型约束表中的每一个状态量作为所述需求约束树中的一个节点；/n将所述需求约束树的第0层定义为ROOT；/n将所述逻辑选择型约束表中的所有所述最高优先级状态量排列在所述需求约束树的第1层；/n将所述逻辑选择型约束表中的其余各状态量根据各自的优先级等级依次降序排列在所述需求约束树的其余各层；/n将所述前置条件型约束表中的各前置条件生成为一个前置有效节点，并插入在与该前置条件对应的状态量的节点的前端；/n将所述后置判断条件型约束表中的各后置判断条件生成为与该后置判断条件对应的状态量的后置有效节点，并插入在与该后置判断条件对应的状态量的节点的后端；/n将同时作为一个状态量的后置判断条件以及另一个状态量的前置条件的判断条件，生成一个中间有效节点并插入在该两个状态量的节点的中间；/n根据上述对所述状态量、所述前置条件、以及所述后置判断条件的排列方式，形成所述需求约束树。/n