专利名称：基于DXM模型的SaaS软件测试用例构建方法
技术领域：
本发明涉及对互联网环境下的基于SAAS软件的测试用例的构建方法，特别是借助于DXM (Durable X-Machine)支持流式输入输出，并拥有内存，同时支持持久存储特点的测试用例构建方法，利用该模型能够以形式化的方法有效构建MaS软件的测试集，从而验证&iaS系统的正确性。
背景技术：
SaaS是software-as-a-service(软件即服务)的简称，它是一种基于hternet提供软件服务的软件应用模式。在这种模式下，用户不再购买软件，而是向服务提供商租用基于Web的软件。MaS通过hternet提供软件访问的模式给MaS软件的测试带来了挑战。 在发布之初，SaaS软件即面临广大^ternet用户的检验，任何问题都有可能导致软件的失败。因而^aS软件在发布之前需要经历严格的测试，包括软件功能的有效性与完备性、系统的可靠性、以及数据通信与访问的安全性等诸多方面的验证。传统的软件测试通常在系统构建过程中或之后针对代码展开。这种测试无法在软件开发之初发现系统设计存在的问题，因而并不适用于MaS系统。目前传统的测试用例的构建方法，在对^aS软件进行测试时存在如下局限性
1.随着^aS软件部署的规模的增大，无法保证测试用例集的完备性；
2.SaaS软件相互之间的依赖性更强，无法避免系统之间相互的接口干扰、数据共享冲
突；
SaaS软件通过Web访问，用户利用浏览器访问&iaS系统，在软件测试过程中，用户可以随时终止和离开，无法支持任意时刻用户状态的保存。
发明内容
本发明主要是针对^aS软件通常都比较庞大、复杂，系统之间接口众多的问题， 提出一种基于DXM模型的^aS软件测试用例构建方法，该方法基于持久化的X-Machine计算模型构造测试用例，保证了测试用例的完整性，可用性和正确性。同时由于MaS软件变化快的特点，基于持久化的X-Machine计算模型构造的测试用例，能够快速的应对这种变化。本发明的技术方案是
一种基于DXM计算模型的MaS软件测试用例构建方法，包括以下实现步骤
A、根据软件测试需求，构造待测功能的输入集合，在软件测试中的输入集合相当于软件操作的输入操作；
B、根据软件测试需求，构造待测功能所有的状态集合，在软件测试中的状态集合相当于软件功能中软件功能状态集合；C、确定待测功能的初始状态和终止状态集合，初始状态指待测功能初始的装态，例如 用户登录。终止状态集合是指待测功能的结束状态；
D、构造状态集合的状态转移集合；
E、由任意初始状态到终止状态的路径，即为一个测试用例，当状态发生变化时，采用持久化的方法(例如磁盘)保存从初始状态到终止状态的所有状态变化信息，以便系统功能发生变化时，能够在前序测试用例的基础上，快速构造新的测试用例。本发明的待测功能的输入集合为{el，e2,……，en}。本发明的待测功能所有的状态集合{ q0, ql,……，qn}。本发明的所述的待测功能的初始状态集合和终止状态集合均为{qX}，X为0-n之间的任意一个或多个。本发明的有益效果
本发明采用基于DXM(DurabIe X-Machine)是一种理论计算模型。在软件设计之初，根据实际需求，构建^aS软件的DXM模型，以形式化的方法刻画软件功能，并在随后的系统设计与实现中，不断检测系统与模型的差距，利用该模型能够以形式化的方法有效构建MaS 软件的测试集，从而验证MaS系统的正确性。一、通过持久化X-Machine (DXM)的理论模型形式化地提出了 &iaS系统测试集的构造方法，从而保证测试用例的完备性。二、当^aS系统需求发生变化时，特别是在软件功能发生变化的时候，能够快速的响应变化，构造出完备的测试用例。三、由于是采用形式化的构建测试用例的方法，模型可以直接驱动MaS软件的自动化测试。
图1是本发明的实施例的结构示意图。
具体实施例方式下面结合附图和实施例对本发明作进一步的说明。如图1所示，以添加用户信息的&iaS软件测试用例构建为例 第一步，确定功能的输入集合{el, e2, e3, e4, e5, e6, e7}；
第二步，确定功能的有限的状态集合{ q0, ql, q2, q3, q4, q5, q6, q7}； 第三步，确定功能的初始状态集{q0}、{q2，q5，q7}；
第四步，构造状态的装换集合 Kq0，el，ql)，(ql，e2，ql)，(ql，e3，q3)，(q3, e4, q4), (q4，e5，q5), (q4, e6, q6,), (q6, e7, q7)}；
第五步，确定测试用例集合{ele2, ele3, ele3e4e5, ele3e4e6e7}。由任意初始状态到终止状态的路径，即为一个测试用例，当状态发生变化时，采用持久化的方法(例如磁盘)保存从初始状态到终止状态的所有状态变化信息。本发明未涉及部分均与现有技术相同或可采用现有技术加以实现。
权利要求
1.一种基于DXM计算模型的MaS软件测试用例构建方法，其特征在于，包括以下实现步骤A、根据软件测试需求，构造待测功能的输入集合，即软件操作的输入操作；B、根据软件测试需求，构造待测功能所有的状态集合，即软件功能状态集合；C、确定待测功能的初始状态和终止状态集合；D、构造状态集合的状态转移集合；E、由任意初始状态到终止状态的路径，即为一个测试用例，当状态发生变化时，采用持久化的方法保存从初始状态到终止状态的所有状态变化信息。
2.根据权利要求1所述的基于DXM计算模型的^aS软件测试用例构建方法，其特征在于，所述的待测功能的输入集合为{el，e2,……，en}。
3.根据权利要求1所述的基于DXM计算模型的^aS软件测试用例构建方法，其特征在于，所述的待测功能所有的状态集合{ q0，ql，……，qn}。
4.根据权利要求1所述的基于DXM计算模型的^aS软件测试用例构建方法，其特征在于，所述的待测功能的初始状态集合和终止状态集合均为{qx}，Χ为0-n之间的任意一个或多个。
5.根据权利要求1所述的基于DXM计算模型的^aS软件测试用例构建方法，其特征在于，步骤E中，当状态发生变化时，采用磁盘保存从初始状态到终止状态的所有状态变化信息。
全文摘要
一种基于DXM计算模型的SaaS软件测试用例构建方法，包括以下实现步骤根据软件测试需求，构造待测功能的输入集合；构造待测功能所有的状态集合，即软件功能状态集合；确定待测功能的初始状态和终止状态集合；构造状态集合的状态转移集合；由任意初始状态到终止状态的路径，即为一个测试用例，当状态发生变化时，采用持久化的方法保存从初始状态到终止状态的所有状态变化信息。本发明的基于DXM计算模型的SaaS软件测试用例构造方法，保证了测试用例的完整性，可用性和正确性。同时由于SaaS软件变化快的特点，基于持久化的X-Machine计算模型构造的测试用例，能够快速的应对这种变化。
文档编号G06F11/36GK102253887SQ201110196069
公开日2011年11月23日 申请日期2011年7月13日 优先权日2011年7月13日
发明者刘永明, 曹阳, 王渊, 马陟刚 申请人:南京中兴软创科技股份有限公司