本发明属于图形化建模领域，尤其涉及一种基于离线状态的软件多人图形建模方法。
背景技术：
当前，嵌入式软件的复杂度越来越高，可靠性和实时性要求也越来越严格，但软件产品上市的时间要求却越来越短。为满足这些严苛的要求，高效的嵌入式软件测试是必要的，包括测试用例的自动规划、生成、优化、执行与评估等。高效的软件测试需要解决如何在尽可能弱的假设下，尽可能快地产生小而全的测试用例集合。
由于针对嵌入式软件建模的工作量很大，所以嵌入式软件建模需要的建模人员较多，消耗的时间较长，所需的成本也很高，互相之间很难协调。通过网络进行数据的传输整合，具有很高的危险性，难以保证整体建模的安全性及可靠性。
技术实现要素：
为了解决现有技术中的问题，本发明提出了一种基于离线状态的嵌入式软件多人建模方法。本发明采用如下技术方案：
一种基于离线状态的嵌入式软件多人建模方法，包括以下步骤：
s1：在服务器上搭建建模环境，创建顶层模型，将模型工程拆分；
s2：建模人员通过外部存储工具从建模服务器获得建模环境以及个人建模内容文件。
s3：建模人员搭建建模环境，并开始建模。
s4：完成建模后，通过外部存储工具将文件传输至建模服务器。判断当前建模人员文档是否完成，是否影响到他人建模。如果通过，则进行s5，不通过则返回s3。
s5：将文件保存到服务器建模环境。
对本发明作进一步改进，在步骤s1中，所述将模型工程拆分，拆分要求是每一块建模内容相对独立，各建模人员互不影响。
对本发明作进一步改进，在步骤s2中，建模人员使用外部存储工具，通过服务器光驱或usb接口，将s1步骤已完成模型拆分的建模工程属于本人的文件夹复制。
对本发明作进一步改进，在步骤s3中，建模人员使用外部存储工具，通过服务器光驱或usb接口，将s2步骤中复制的建模环境或个人建模内容文件保存到个人开发电脑，并完成建模环境搭建。
对本发明作进一步改进，在步骤s4中，建模人员完成建模以后，使用外部存储工具，通过服务器光驱或usb接口，将建模文档传送到建模服务器。
与现有技术相比，本发明的有益效果是：(1)将模型拆分，使多人同时创建模型，提高建模效率；(2)完全断网操作，安全性提高。
附图说明
图1是本发明的方法流程图。
具体实施方式
下面结合附图和实施例对本发明做进一步详细说明。
如图1所示，本发明的基于离线状态的软件多人图形建模方法，包括以下步骤：
s1：在服务器上搭建建模环境，创建顶层模型，将模型工程拆分；
s2：建模人员通过外部存储工具从建模服务器获得建模环境以及个人建模内容文件。
s3：建模人员搭建建模环境，并开始建模。
s4：完成建模后，通过外部存储工具将文件传输至建模服务器。判断当前建模人员文档是否完成，是否影响到他人建模。如果通过，则进行s5，不通过则返回s3。
s5：将文件保存到服务器建模环境。
下面通过一个具体实施例来详细说明。本发明采用的形式化方法针对软件多人建模工程，实现了离线形式的多人协同建模。具体实现方法为：
(1)在建模服务器上部署建模环境、搭建工程模型，并创建顶层图形模型。
(2)通过算法或人工对顶层图形模型进行分析并拆分。拆分要求是拆分后的每一块建模内容相对独立，不互相影响。
(3)建模人员使用外部存储工具从建模服务器上获得部署环境、搭建工程模型的文件，并获取个人建模内容。
(4)建模人员部署搭建与建模服务器相同建模环境，并开始建模。
(5)建模完成后，建模人员需通过外部存储工具将建模内容上传至建模服务器。
(6)检验当前建模人员提交建模内容是否合格，并且是否影响到其他建模人员的建模。
(7)将建模内容上传到建模服务器。
与现有技术相比，本发明将模型拆分，使多人同时创建模型，提高建模效率；完全断网的离线操作，安全性提高。
以上内容是结合具体的优选实施方式对本发明所作的进一步详细说明，不能认定本发明的具体实施只局限于这些说明。对于本发明所属技术领域的普通技术人员来说，在不脱离本发明构思的前提下，还可以做出若干简单推演或替换，都应当视为属于本发明的保护范围。