[发明专利]一种基于马尔可夫模型的软件错误定位系统及错误定位方法

摘要

一种基于马尔可夫模型的软件错误定位系统及错误定位方法，属于软件调试技术领域，由测试信息获取模块、自定制模块、图形交互界面模块、一步转移概率矩阵模块、错误定位模块、错误修正模块、数据库模块组成，具体步骤包括：测试信息获取模块编写执行测试用例获取测试信息；自定制模块构建错误定位技术备选集，划分错误类型；一步转移概率矩阵模块计算一步转移概率矩阵；错误定位模块预测当前的错误类型，选择相应的错误定位技术进行错误定位，计算备选集中各技术定位错误的代价，进而确定当前错误的类型并更新一步转移概率矩阵和错误历史序列；错误修正模块修正定位到的错误，继续进行错误定位或结束。本发明更快、更准确地实现了软件错误定位。

主权项

一种基于马尔可夫模型的软件错误定位系统，其特征在于包括：测试信息获取模块、自定制模块、图形交互界面模块、一步转移概率矩阵模块、错误定位模块、错误修正模块和数据库模块；其中：测试信息获取模块：用户使用编译系统软件对被测试程序进行插装，统计程序语句执行次数等信息；同时编写并运行测试用例，将获得的测试用例执行成功与否、程序每个语句执行的次数的测试信息保存到excel文件中，excel文件中的测试信息通过图形交互界面模块将测试信息存储到数据库模块的数据库中；自定制模块：用户注册用户账号，登录定位系统，然后用户构建错误定位技术备选集，根据备选集划分错误类型，用户选择或添加被测试程序版本信息；自定制模块的具体实施是用户通过图形交互界面模块与数据库模块交互配合完成的；图形交互界面模块：负责用户沟通测试信息获取模块、自定制模块、一步转移概率矩阵模块、错误定位模块、错误修正模块及数据库模块，具体实现其余各模块对数据库的操作；用户登录自己的账号，如没有账号则需注册新的账号；用户根据自定制模块构建的错误定位技术备选集在图形交互界面选择或添加相应的错误定位技术，根据自定制模块确定错误定位的程序版本；图形交互界面显示一步转移概率矩阵模块的一步转移概率矩阵；图形交互界面显示错误定位模块预测的当前错误的类型及确定当前错误的真实类型，并在确定当前错误类型后更新数据库中的错误历史序列，进而触发一步转移概率矩阵模块更新一步转移概率矩阵的事件，即时显示在图形交互界面上；一步转移概率矩阵模块：根据数据库模块存储的错误历史序列和自定制模块构建的存储于数据库中的错误定位技术备选集，计算获得一步转移概率矩阵信息，在图形交互界面模块进行显示；错误定位模块：结合一步转移概率矩阵模块的一步转移概率矩阵信息和测试信息获取模块获取并在数据库模块中存储的测试信息，预测当前错误的类型并选择相应的错误定位技术定位错误，计算备选集中各错误定位技术定位当前错误的代价，确定当前错误的真实类型，更新数据库中的错误历史序列，触发更新一步转移概率矩阵模块一步转移概率矩阵的事件；错误修正模块：根据错误定位模块定位到的错误的位置，结合错误修正方法修正错误，然后进行新一轮的测试，直到程序中没有错误；数据库模块：存储测试信息获取模块获取的测试信息、自定制模块构建的错误定位技术 备选集、程序错误历史序列信息和用户注册信息等。