| 主权项 |
一种软件可信性测试方法，其特征在于，包括：获取软件代码中待检测的对象的名称、所有状态以及状态变迁条件，所述状态变迁条件为状态之间的转换关系；根据所述对象的名称、所有状态以及状态变迁条件，在用自然语言描述的所述对象的缺陷中进行提炼和语义转换，生成用测试语言描述的所述对象的缺陷，所述测试语言为符合所述软件代码的语义的描述方式；根据用测试语言描述的所述对象的缺陷，在所述软件代码中对所述对象进行缺陷检测；所述根据所述对象的名称、所有状态以及状态变迁条件，在用自然语言描述的所述对象的缺陷中进行提炼和语义转换，生成用测试语言描述的所述对象的缺陷包括：根据所述对象的所有状态以及状态变迁条件，从用自然语言描述的所述对象的缺陷中提取出所述对象的错误的状态以及状态变迁条件；用所述测试语言对所述对象的名称、所述对象的错误的状态以及状态变迁条件进行描述，生成用测试语言描述的所述对象的缺陷；所述根据用测试语言描述的所述对象的缺陷，在所述软件代码中对所述对象进行缺陷检测包括：根据用测试语言描述的所述对象的缺陷中的所述对象的名称，获取所述对象在所述软件代码中的状态以及状态变迁条件；判断所述对象在所述软件代码中的状态以及状态变迁条件是否属于用测试语言描述的所述对象的缺陷中的所述对象的错误的状态以及状态变迁条件；如果判断结果为是，确定所述对象存在缺陷；如果判断结果为否，确定所述对象不存在缺陷。 |
