[发明专利]一种基于模型检测的前台系统设计与验证方法

摘要

本发明提出一种基于模型检测的前台系统设计与验证方法，属于模型检测的系统设计与验证领域。本发明包括：模型生成模块根据前台系统的设计需求建立界面模型，生成状态转移图；测试用例生成模块遍历界面模型，自动批量生成对前台系统测试的检测用例集；界面模型自动机对检测用例集中的每一个检测用例，通过触发界面上的菜单或者菜单项来调用相应的api转到下个界面，获取检测用例的状态表和状态转移表；状态转移自动机将检测用例的状态及状态转移规则，与规约相比对进行正确性验证，验证不通过时，输出验证不通过的位置。本发明实现了在项目初期对前台系统的设计及开发的验证，减少后期项目的维护成本，提高了前台系统的设计质量和开发效率。

主权项

1.一种基于模型检测的前台系统设计与验证方法，基于计算机实现的测试框架，其特征在于，测试框架包括模型生成模块、测试用例生成模块、界面模型自动机和检测自动机，执行如下步骤：步骤一，模型生成模块根据前台系统的设计需求，获取前台系统中所包含的界面以及界面包含的元素，建立界面模型，生成状态转移图；将前台系统包含的界面作为节点，建立界面模型，界面分为基本界面和复合界面，复合界面由基本界面组合而成，基本界面中包含菜单和界面元素，菜单和菜单项也作为节点，用有向边表示节点间包含关系或者跳转关系；将一个界面或者由界面、菜单和菜单项组成的三元组作为一个状态，依据节点间跳转关系生成状态转移图；所建立的界面模型中包括四种节点，如下：基本界面baseui，定义为baseui::＝(uiname,menu,element+)形式的三元组，其中uiname表示基本界面的名称，menu表示基本界面所包含的菜单，element+表示基本界面所包含的界面元素，有一个或多个；复合界面complexui，定义为complexui::＝∪baseui，其中符号“∪”表示进行界面叠加操作；界面ui，定义为ui::＝∪(ui)|baseui，其中符号“|”表示或者；界面是一个基本界面或一个复合界面；菜单menu，定义为menu：：＝(name,menuitems+)形式的二元组，其中name表示菜单的名称，menuitems+表示菜单所包含的菜单项，有一个或多个；菜单项menuitem，定义为menuitem::＝(itemname,api+)，其中itemname表示菜单项的名称，api表示菜单项提供的功能接口，有一个或多个；四种节点存在的关系包括3种包含关系和1种跳转关系，依次是：复合界面包含基本界面ComplexUI2Parts，基本界面包含菜单UI2Menu，菜单包含菜单项Menu2MenuItems，菜单项触发跳转MenuItem2UI；步骤二，测试用例生成模块遍历界面模型，自动批量生成对前台系统测试的检测用例集；一个检测用例是一个界面跳转序列；步骤三，界面模型自动机对检测用例集中的每一个检测用例，通过触发界面上的菜单或者菜单项来调用相应的api转到下个界面，遍历检测用例中的状态得到状态表和状态转移表；状态表中记录检测用例的所有状态，状态转移表中记录检测用例中的所有状态转移规则；步骤四，将根据系统设计要求设计好的状态及状态转移图作为检测用例正确性验证的规约，状态转移自动机将输入的检测用例的状态及状态转移规则，与所述的规约相互比对，进行正确性验证，当验证不通过时，输出验证不通过的位置及相应的验证记录，验证不通过的位置就是设计错误的位置。