论文部分内容阅读
摘 要 软件在其分析阶段就会有测试介入方面的需求，这种做法不仅能帮助软件开发人员对软件需求进行了解并完善，也可以让测试人员设计出更贴近软件需求的测试方法。在这样的基础上，当开发人员将软件进行更改后，其需求发生变化时，测试人员也能及时了解到需求的变动方向，继而对测试方法进行改良。本文根据模型驱动的思想，对软件测试需求的概念进行了阐述，并对一种测试需求的模型和其测试需求的建模方法进行了定义。
关键词 软件测试 需求建模 测试用例 生成方法
中图分类号：TP31 文献标识码：A
0前言
长时间以来，在软件设计的过程中，其需求与测试之间都具有很微妙的内在联系，两者之间的的内在联系被认为是一种先后出现的顺序关系。在之前的软件开发过程中，当其软件需求分析阶段进行开展时，测试被认定为还没有开始。但随着软件开发的不断发展以及其开发规模的不断扩大，这一观点也得到了相应的改变。Dorothy Graham中就曾指出，如果测试在软件的需求分析阶段进行介入的话，就可以帮助软件需求分析的更为详细。
1一种软件测试需求建模——模型驱动测试
随着软件系统形势越来复杂，如何对软件系统进行有效的测试成为了软件开发过程中的重点关注问题，而模型驱动测试作为一种新颖的具有良好发展前景的自动化测试方式，已经逐渐被广泛应用到软件系统需求的测试中。
模型驱动测试指的是通过测试模型对测试的架构及行为进行表示，并通过图形化的方式对测试模型进行展示。这里需要提到的是，将测试模型用图形化的方式进行展示，是因为该种方式更有利于测试人员对其进行理解与修改。测试模型的图形化将传统的基于特定语言环境下并且难以理解的测试脚本维护转化成了更加直观的测试用例模型维护，这种做法在极大程度上减少了软件测试人员的工作量，并且提高了软件测试时的工作效率。模型驱动测试可以实现将模型自动转化成测试脚本的职能转化，从而确保模型与测试脚本的同步性。与此同时，当软件的应用程序发生改变时，测试人员便不需要和过去一样，对测试项目进行重新设计，而只需要将测试模型进行修改，修改后的测试模型便会自动生成测试脚本。
在对软件需求测试的过程中采用模型驱动测试的方式，可以有效减少对软件进行测试设计过程中的初级阶段工作量，并有效提高测试的覆盖率。目前，在我国的软件开发工程中，测试占据了其五分之三的时间、能源和资金。而模型驱动测试中的新型方法以及相关工具的应用，可以有效提高软件开发者和测试人员的工作效率，在保证软件质量的同时，减少产品的开发时间。
2 基于测试需求的测试用例生成方法
测试需求模型可以对软件的测试需求进行直观且准确的概括，其作为整个测试活动的基础，可以对之后的软件测试进行有效的指导。测试用例可以通过软件需求测试模型和被测软件系统模型来生成，而测试用例可以与软件需求测试模型中的相应测试目标相对应，继而通过测试目标对测试目标设计提供依据的被测软件系统需求进行追溯。整个软件需求测试模型工作流程实现了软件系统需求对测试用例的自上向下追踪以及测试用例对软件系统需求的自下向上回溯。
2.1标记迁移系统
测试用例是通过软件需求测试模型与被测软件系统模型中的测试目标描述模型来得以实现和生成。其过程首先需要将被测软件系统在经过软件需求分析阶段并与用户进行多次讨论继而借助相关建模工具做出的状态图模型转换成标记迁移系统模型。而标记迁移系统模型是一种被广泛使用的通过计算机进行辅助设计和验证的形式模型，其通过节点的方式来表示软件系统的状态和配置，通过边来表示软件测试过程中的行为发生状态和系统配置之间的转移。
2.2测试用例生成
测试用例需要通过将被测软件系统模型系统的状态图模型转化成标记迁移系统模型（即形式模型）。根据软件需求测试系统状态图的显示，并采用标记迁移系统模型的生成算法，便可以得到与之相对应标记迁移系统模型。而在标记迁移系统模型的生成算法中，首先，需要通过Construct From（Specification Node）方法以被测软件系统模型状态图的初始状态为起点对其状态图进行分析，并将其状态图的结构信息在标记迁移系统模型中进行保存；其次，将标记迁移系统模型中同时拥有的输入输出信息的转移进行分裂，并在其中插入新生成的中间状态节点。而在将测试用例转化为标记迁移系统模型的过程中，软件需求测试模型中的测试目标模型也同样需要进行相应的标记迁移系统模型转化。
3结论
软件系统设计和实现的基础就是软件系统的需求，软件设计师对软件架构的设计、程序员对软件进行代码的编写都是根据软件的需求来进行并且完成，并且其需求还会影响到测试人员的测试方向。在软件的开发生命周期中，对软件的需求进行分析是最重要的步骤。而模型驱动的软件需求分析方法是将软件的需求模型作为软件需求标准的补充说明，继而对非形式化的软件需求信息从一个或多个角度进行正确度验证。该做法是为了发现软件需求标准中的差异性和缺陷性。
参考文献
[1] 杨波，吴际，刘超.一种软件测试需求建模及测试用例生成方法[J].计算机学报，2014，01（03）：522-538.
[2] 张丽颖，徐珞，蒋祖华.基于本体和规则推理的GUI软件测试用例生成[J].计算机应用研究，2010，01（19）：120-123.
[3] 殷永峰，刘斌，姜同敏.基于场景技术的嵌入式软件测试用例生成方法[J].计算机工程与设计，2012，11（16）：4111-4114.
关键词 软件测试 需求建模 测试用例 生成方法
中图分类号：TP31 文献标识码：A
0前言
长时间以来，在软件设计的过程中，其需求与测试之间都具有很微妙的内在联系，两者之间的的内在联系被认为是一种先后出现的顺序关系。在之前的软件开发过程中，当其软件需求分析阶段进行开展时，测试被认定为还没有开始。但随着软件开发的不断发展以及其开发规模的不断扩大，这一观点也得到了相应的改变。Dorothy Graham中就曾指出，如果测试在软件的需求分析阶段进行介入的话，就可以帮助软件需求分析的更为详细。
1一种软件测试需求建模——模型驱动测试
随着软件系统形势越来复杂，如何对软件系统进行有效的测试成为了软件开发过程中的重点关注问题，而模型驱动测试作为一种新颖的具有良好发展前景的自动化测试方式，已经逐渐被广泛应用到软件系统需求的测试中。
模型驱动测试指的是通过测试模型对测试的架构及行为进行表示，并通过图形化的方式对测试模型进行展示。这里需要提到的是，将测试模型用图形化的方式进行展示，是因为该种方式更有利于测试人员对其进行理解与修改。测试模型的图形化将传统的基于特定语言环境下并且难以理解的测试脚本维护转化成了更加直观的测试用例模型维护，这种做法在极大程度上减少了软件测试人员的工作量，并且提高了软件测试时的工作效率。模型驱动测试可以实现将模型自动转化成测试脚本的职能转化，从而确保模型与测试脚本的同步性。与此同时，当软件的应用程序发生改变时，测试人员便不需要和过去一样，对测试项目进行重新设计，而只需要将测试模型进行修改，修改后的测试模型便会自动生成测试脚本。
在对软件需求测试的过程中采用模型驱动测试的方式，可以有效减少对软件进行测试设计过程中的初级阶段工作量，并有效提高测试的覆盖率。目前，在我国的软件开发工程中，测试占据了其五分之三的时间、能源和资金。而模型驱动测试中的新型方法以及相关工具的应用，可以有效提高软件开发者和测试人员的工作效率，在保证软件质量的同时，减少产品的开发时间。
2 基于测试需求的测试用例生成方法
测试需求模型可以对软件的测试需求进行直观且准确的概括，其作为整个测试活动的基础，可以对之后的软件测试进行有效的指导。测试用例可以通过软件需求测试模型和被测软件系统模型来生成，而测试用例可以与软件需求测试模型中的相应测试目标相对应，继而通过测试目标对测试目标设计提供依据的被测软件系统需求进行追溯。整个软件需求测试模型工作流程实现了软件系统需求对测试用例的自上向下追踪以及测试用例对软件系统需求的自下向上回溯。
2.1标记迁移系统
测试用例是通过软件需求测试模型与被测软件系统模型中的测试目标描述模型来得以实现和生成。其过程首先需要将被测软件系统在经过软件需求分析阶段并与用户进行多次讨论继而借助相关建模工具做出的状态图模型转换成标记迁移系统模型。而标记迁移系统模型是一种被广泛使用的通过计算机进行辅助设计和验证的形式模型，其通过节点的方式来表示软件系统的状态和配置，通过边来表示软件测试过程中的行为发生状态和系统配置之间的转移。
2.2测试用例生成
测试用例需要通过将被测软件系统模型系统的状态图模型转化成标记迁移系统模型（即形式模型）。根据软件需求测试系统状态图的显示，并采用标记迁移系统模型的生成算法，便可以得到与之相对应标记迁移系统模型。而在标记迁移系统模型的生成算法中，首先，需要通过Construct From（Specification Node）方法以被测软件系统模型状态图的初始状态为起点对其状态图进行分析，并将其状态图的结构信息在标记迁移系统模型中进行保存；其次，将标记迁移系统模型中同时拥有的输入输出信息的转移进行分裂，并在其中插入新生成的中间状态节点。而在将测试用例转化为标记迁移系统模型的过程中，软件需求测试模型中的测试目标模型也同样需要进行相应的标记迁移系统模型转化。
3结论
软件系统设计和实现的基础就是软件系统的需求，软件设计师对软件架构的设计、程序员对软件进行代码的编写都是根据软件的需求来进行并且完成，并且其需求还会影响到测试人员的测试方向。在软件的开发生命周期中，对软件的需求进行分析是最重要的步骤。而模型驱动的软件需求分析方法是将软件的需求模型作为软件需求标准的补充说明，继而对非形式化的软件需求信息从一个或多个角度进行正确度验证。该做法是为了发现软件需求标准中的差异性和缺陷性。
参考文献
[1] 杨波，吴际，刘超.一种软件测试需求建模及测试用例生成方法[J].计算机学报，2014，01（03）：522-538.
[2] 张丽颖，徐珞，蒋祖华.基于本体和规则推理的GUI软件测试用例生成[J].计算机应用研究，2010，01（19）：120-123.
[3] 殷永峰，刘斌，姜同敏.基于场景技术的嵌入式软件测试用例生成方法[J].计算机工程与设计，2012，11（16）：4111-4114.