[发明专利]基于静态模型的软件测试文档生成方法、系统及存储介质

说明书

技术领域

本发明涉及图形化建模领域，尤其涉及一种基于静态模型的嵌入式软件测试文档生成方法、系统及存储介质。

背景技术

目前，对于嵌入式软件的研发、测试和过程管理依然以传统的文档驱动的软件开发方法为主，使用大量人力编写需求与设计文档，并手工编写代码和测试用例，同时为保证软件质量而使用大量人力对软件开发各阶段产生的文档和代码进行评审、走查和测试。软件质量保证效果取决于文档对需求与设计描述的精确程度和评审人员对文档检查的细致程度，但是自然语言的不精确性和人工管理难以避免疏漏的缺点，使得这种以大量人力工作为基础的、非自动化的、以文档为中心的软件开发方法存在开发效率低下、成本高、周长期长、质量难以保证等问题，严重制约了我国航空、航天、汽车等产业的发展。

其中，编写需求规格文档、设计文档、测试需求等文档已成为程序员最为头疼的事。目前编写文档存在以下问题：

(1)文档不齐全、相关内容不一致、缺乏完整性；

(2)人为疏漏，带来人为性错误；

(3)文档存储的信息对“人为”的测试活动不能进行连续的、强制的、完备的、规则化的制约和指导；

(5)文档存储的信息没有最大限度的利用前一阶段的输出成果等情况。

综上，为了能够切实缩短我国型号软件的研制周期，提升可靠性安全性，需要在国际上这种图形化、自动化开发方法的大趋势下，批判的吸收现有的技术和研究成果，并根据我国型号软件研制技术状态和标准，改造、补充和完善现有理论、技术和工具，研制出实用、易用、有效的一套技术体系和相应支持工具，从而有效提升型号软件的研制能力。

发明内容

本发明的主要目的在于提供一种基于静态模型的嵌入式软件测试文档生成方法、系统及存储介质，能够将静态的测试需求实现于静态模型之中，能够很容易地实现静态的测试需求追踪，自动生成规范的、标准化的测试需求和测试说明文档，改善文档相关内容不一致和缺乏完整性等问题，提高工作效率。

为实现上述目的，本发明提供的一种基于静态模型的嵌入式软件测试文档生成方法，所述基于静态模型的嵌入式软件测试文档生成方法包括以下步骤：

S1：制定带有Freemarker语法标记的文档模板；

S2：使用结构化分析方法，采用预设图表以及图形间的嵌套机制和图形的扩充语义构建嵌入式软件的静态模型，所述预设图表包括：数据流图、故障树、因果图和判定表中的一种或多种；

S3：根据图形模型规划测试项并生成测试项对应的测试用例，采用数据库的形式存储测试项和测试用例集合；

S4：基于所述静态模型自动生成测试文档。

其中，在步骤S1中，所述文档模板为Word文档模板，将Word文档模板另存为XML文件，并做好Freemarker标记，得到格式为.ftl的文档模板。

其中，在步骤S2中，所述嵌入式软件的静态模型采用XML文档的形式进行存储。

其中，在步骤S2中，所述图形间的嵌套机制如下：

(1)数据流图分层构建，数据流图的数据加工可以嵌套子数据流图；

(2)数据流图的数据加工可以嵌套故障树、因果图和判定表；

(3)故障树的底事件可以嵌套子故障树。

其中，在步骤S2中，所述图形的扩充语义如下：

(1)数据流图的图元添加了必要的测试语义，具体包括：数据加工添加反算程序、时间域、硬件和中断属性；

(2)故障树的图元添加必要的测试语义，具体包括：底事件添加CMP属性；

(3)判定表添加必要的测试语义，具体包括：根据逻辑表达式自动生成判定表、添加判定表的前置条件。

其中，在步骤S4中，所述测试文档为Word文档，且基于Freemarker模板引擎实现测试文档生成。

其中，在所述步骤S4中，套用“模板+数据模型＝输出”公式，得出“测试项+测试需求规格说明文档模板＝测试需求规格说明文档”，“测试项/测试用例+配置项测试说明文档模板＝配置项测试说明文档”，其中，将基于图形模型导出的图片、测试项集合和测试用例集合替换文档模板中的语法标记，得到所需的测试文档。

本发明还提出一种基于静态模型的嵌入式软件测试文档生成系统，包括：存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述计算机程序被所述处理器执行时实现如上所述的方法的步骤。

本发明还提出一种计算机可读存储介质，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如上所述的方法的步骤。