[发明专利]一种基于性质规约模式的软件运行时性质监测方法

摘要

本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取待监测软件中的元信息数据，生成元信息文件；配置性质规约模版，生成待监测软件的监测脚本文件；解析监测脚本文件，生成监测代码；将待监测软件和方面监测文件进行编织，生成具有运行时性质监测能力的新软件；运行编织后生成的新软件，对软件性质进行监测并将监测结果进行显示。采用本发明可为软件故障发现、诊断和缺陷定位提供支持，降低软件失效和维护成本，降低了监测工作量和监测难度，提高了时效性。

主权项

一种基于性质规约模式的软件运行时性质监测方法，其特征在于包括以下步骤：第一步，将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版，将这些性质规约模版编号并保存在性质规约模版库中；每种性质规约模式表示一类具有相似描述方式和实现方式的监测需求；第二步，提取待监测软件中的元信息数据，生成元信息文件；元信息数据包括类的名称、修饰符、继承关系；类所有属性的名称、类型、修饰符；方法的名称、参数、修饰符、返回值类型；全局变量的名称、类型、结构；软件的名称、版本号；第三步，配置性质规约模版，生成待监测软件的监测脚本文件；监测脚本文件由脚本头部和一个或多个监测项组成，脚本头部包括监测脚本名称，待监测软件名称，监测脚本建立时间，监测脚本名称标识此监测脚本文件，待监测软件名称指出此监测脚本描述的是此名称所对应的待监测软件的监测需求，监测脚本建立时间标识建立此监测脚本的时间；监测项由监测项名称、性质、描述信息组成，每一个监测项描述一个监测需求；监测项名称标识监测项，监测项的名称不能重复；性质指需要监测的软件运行时性质，由性质类型和性质约束组成，性质类型为性质规约模式中的一种，性质约束表示针对待监测软件的一个具体的监测需求，通过配置与性质规约模式对应的性质规约模版生成；描述信息使用自然语言对监测项进行描述，缺省为空；生成监测脚本文件的具体步骤为：3.1初始化监测脚本文件的头部：获取待监测软件的名称和监测脚本建立时间，生成缺省的监测脚本名称，并将这些信息填充到监测脚本头部；3.2依次生成监测项：根据待监测软件性质监测需求的类型，选择相应的性质规约模式作为监测项的性质类型，生成缺省的监测项名称和描述信息；选择待监测软件的元信息数据，配置与性质规约模式对应的性质规约模版生成针对待监测软件的性质约束；3.3将生成的所有监测项保存到监测脚本文件中；第四步，解析监测脚本文件，生成监测代码，具体步骤为：4.1初始化，将软件监测脚本文件中的第一个监测项设为当前解析项，将临时文件和方面监测文件清空，临时文件用于存储解析当前解析项生成的监测代码；4.2根据当前解析项的性质类型采用相应的解析方法对性质约束进行解析，生成监测代码，保存在临时文件中；4.3如果当前解析项为监测脚本文件中的第一个监测项，则直接将临时文件中的监测代码加入方面监测文件中，清空临时文件，转步骤4.5，否则，执行步骤4.4；4.4利用方面冲突检测工具对临时文件中的监测代码和方面监测文件中的监测代码进行方面冲突检测，如果存在方面冲突，则给出提示信息，忽略当前解析项，清空临时文件，如果不存在方面冲突，则将临时文件中的监测代码加入方面监测文件中，清空临时文件；4.5判断软件监测脚本文件中的所有监测项是否解析完毕，如果没有，则将下一个监测项作为当前解析项，转步骤4.2；否则，执行下一步；第五步，选用方面代码编织工具将待监测软件和方面监测文件进行编织，生成具有运行时性质监测能力的新软件；第六步，运行编织后生成的新软件，对软件性质进行监测并将监测结果进行显示。