基于Z规格说明的可复用测试用例形式化描述
Z规格说明的测试用例自动生成
随 着信息 技 术 的 飞 速 发展 ， 应用 领域 的迅 速 扩
大， 人们 对软 件质 量 提 出了更 高 的要求 ． 质量 保证 一 直是 软 件产业 的 重 大课 题 ． 于 软 件质 量 问 题 的 重 鉴 要性 和迫 切性 ， 们 提 出 各种 方 法 和技 术 来 提 高 软 人 件质 量 ， 如形式 化方 法 、 向对象 方 法和 软件测 试技 面 术 等 ． 中， 其 以软件 测试 为 中心 的质 量保 障技术 在 软
Ｚ规 格 说 明 的测 试 用例 自动 生成
朱 ， 彬 缪淮扣 ， 娜 王
（． １ 上海 第 二 工 业 大 学 计 算 机 与 信 息 学 院 ， 海 ２ １０ ； ． 海 大 学 计 算 机 工 程 与 科 学 学 院 ，上海 ２０７ ； 上 ０２９ ２ 上 ００２ ３ ．上海 水 产 大学 爱 恩 学 院 ， 海 ２ １０ ） 上 ０３０
ＺＨＵ Ｂ ｎ ‘ ｉຫໍສະໝຸດ 一， ＭＩ ＡＯ ａ． ｏ ， Ｗ ＡＮＧ ３ Ｈｕ ｉｋ ｕ Ｎａ
（ ．Ｓｈ ｏ ｏ ｏ ｐ ｔ ＆ Ｉ ｏｍ ｔ ｎ ｈ ｎ ｈ ｉ ｅｏｄ Ｐ ｌｅｈ ｉ Ｕ ｉ ｒｔ ，Ｓ ｎ ｈ ｉ ０ ２ ９ ｈｎ １ ｃｏ ｌｆＣ ｍ ｕ ｒ ｎ ｒ ａ ｏ ，Ｓ ａ ｇ ａ ｃｎ ｏ ｔ ｎ ｎ ｅ ｉ ｅ ｆ ｉ Ｓ ｙ ｃ ｃ ｖ ｓｙ ｈ ｇ ａ １０ ，Ｃ ｉ ａ ２ ａ； ２ ｃｈ ｏ ｏ ｏ ｐ ｔｒ ｎ ｉ ｅ ｎ ｎ ｃ ｎｅ ｈ ｎ ｈ ｉ ｎ ｒｔ ，Ｓ ｎ ｈ ｉ ０ ０ ２ ．Ｓ ｏ ｌｆＣ ｍ ｕ ｇ ｎ ｒ ｇａ Ｓｉ ｃ ，Ｓ ａ ｇ ｉ ｓｙ ｈ ｇ ａ ０ ７ ； ｅＥ ｅｉ ｄ ｅ ａ Ｕ ｖ ｉ ｅ ａ ２
摘
要 ： 件 测 试 是 软 件 质 量 保 证 的重 要 手 段 ，测 试 用 例 的 生 成 是 软 件 测 试 的关 键 和 难 点 ． 中应 用 范 畴 划 分 测 软 文
如何编写可复用的测试用例
编写可复用的测试用例是软件测试工作中非常重要的一项技能。
好的测试用例能够有效地发现软件中的缺陷，提高软件质量。
然而，编写可复用的测试用例并不是一件容易的事情。
本文将介绍如何编写可复用的测试用例，分别从测试设计、测试数据和测试可执行性等方面展开讨论。
一、测试设计测试设计是编写可复用测试用例的基础。
一个好的测试设计能够帮助测试人员更好地理解软件需求和功能，并能够对软件进行全面的覆盖。
以下是一些测试设计的原则和方法：1.边界值测试边界值测试是一种常用的测试方法，它通过测试边界值来发现软件中的缺陷。
测试人员应该分析软件的输入和输出边界，并设计合适的测试用例来覆盖这些边界。
2.等价类划分等价类划分是一种将输入数据划分为不同等价类的方法。
测试人员可以根据软件需求和功能特性，将输入数据划分为不同等价类，并设计测试用例来覆盖每个等价类。
3.路径覆盖路径覆盖是一种测试方法，它通过测试程序的不同执行路径来发现软件中的缺陷。
测试人员应该分析软件的控制流程，并设计测试用例来覆盖不同的路径。
二、测试数据测试数据是测试用例的重要组成部分，好的测试数据能够提高测试用例的可复用性。
以下是一些测试数据的原则和方法：1.正常数据正常数据是软件正常运行时的输入数据。
测试人员应该设计合适的测试数据来验证软件的正常功能，并确保这些测试数据可以被多个测试用例复用。
2.异常数据异常数据是软件可能遇到的异常情况下的输入数据。
测试人员应该设计合适的测试数据来验证软件在异常情况下的处理能力，并确保这些测试数据可以被多个测试用例复用。
3.边界数据边界数据是软件输入和输出的边界值。
测试人员应该设计合适的测试数据来验证软件在边界值情况下的处理能力，并确保这些测试数据可以被多个测试用例复用。
三、测试可执行性测试可执行性是指测试用例能够被重复执行，并且结果可以被准确地验证。
以下是一些测试可执行性的原则和方法：1.测试前提测试前提是指执行测试用例之前需要满足的条件。
《基于CPN和TTCN-3的软件并发行为的测试》范文
《基于CPN和TTCN-3的软件并发行为的测试》篇一一、引言随着信息技术和计算机科学的飞速发展，软件系统的复杂性和并发性日益增加，软件测试成为了确保软件质量、可靠性和性能的重要手段。
本文将探讨基于CPN（Colored Petri Nets，彩色Petri网）和TTCN-3（Test and Test Control Notation 3，测试与测试控制标记法）的软件并发行为测试方法。
我们将首先介绍CPN 和TTCN-3的基本概念和特点，然后详细阐述如何利用这两种技术进行软件并发行为的测试。
二、CPN和TTCN-3概述1. CPN概述CPN是一种形式化建模工具，通过图形化表示来描述并发系统的行为。
它具有直观、易理解的特点，能够有效地描述系统中的并发、同步和通信等行为。
CPN的彩色元素可以表示系统中的不同对象和状态，使得模型更加丰富和细致。
2. TTCN-3概述TTCN-3是一种用于描述和执行测试用例的标记法，具有高度的灵活性和可扩展性。
它支持多种测试场景的描述，包括并发、同步、通信等，能够有效地对软件系统进行全面测试。
TTCN-3的语法简单明了，易于学习和使用。
三、基于CPN和TTCN-3的软件并发行为测试方法1. 建模阶段首先，根据软件系统的需求和设计，使用CPN进行建模。
在模型中，通过彩色元素表示系统中的不同对象和状态，描述系统中的并发、同步和通信等行为。
建模过程中，需要确保模型的准确性和完整性，以便后续的测试工作。
2. 测试用例设计在建模完成后，根据模型中的行为和状态，使用TTCN-3设计测试用例。
测试用例应覆盖系统中的各种并发行为、同步行为和通信行为等，以确保系统的全面测试。
在设计测试用例时，需要考虑并发行为的复杂性和随机性，以及系统可能出现的异常情况。
3. 测试执行与验证使用TTCN-3的执行工具执行测试用例，并观察系统的行为。
在测试过程中，需要关注系统的并发性能、同步性能和通信性能等方面。
软件工程需求分析与规格说明的测试
软件工程需求分析与规格说明的测试在软件工程领域中，需求分析与规格说明是开发一款成功软件的关键步骤。
而测试作为软件生命周期的重要环节之一，对于确保软件质量和满足用户需求至关重要。
本文将对软件工程需求分析与规格说明的测试进行探讨。
一、需求分析与规格说明简介需求分析是指在软件开发之前，对用户需求进行梳理、整理和明确的过程。
它主要关注用户对软件的期望和要求，并将之转化为明确、具体的规格说明，为软件开发提供准确的指导。
规格说明包括功能规格、性能规格、界面规格等，是对软件行为和性能的具体描述。
二、需求分析与规格说明的测试目标1. 确保需求的准确性：测试过程中，要验证需求是否明确、具体、可测量，并且符合用户期望。
2. 确保需求的一致性：测试过程中，要保证需求与其他文件（如原型、用户反馈等）之间的一致性。
3. 确保需求的完整性：测试过程中，要验证需求是否全面、完整，没有遗漏关键功能或需求。
4. 确保规格说明的可测试性：测试过程中，要验证规格说明是否具备可测试性，是否能够通过测试用例进行验证。
三、需求分析与规格说明的测试方法1. 静态测试方法静态测试方法主要包括需求复审、检查清单和形式化验证。
需求复审通过团队内部审查，检查需求是否明确、具体、可测量，并且是否符合用户期望。
检查清单通过列出需求的特性、功能、界面等要素，逐一核对是否满足。
形式化验证通过使用数学语义、自动化验证工具等方式来验证规格说明的正确性和一致性。
2. 动态测试方法动态测试方法主要包括功能测试、性能测试、界面测试等。
功能测试通过设计并执行测试用例来验证需求的功能是否符合规格说明。
性能测试通过模拟用户使用场景，测试软件在实际环境下的性能表现。
界面测试通过对软件的界面进行测试，验证用户体验是否符合预期。
四、需求分析与规格说明的测试流程1. 收集需求：从用户、市场调研等途径收集用户需求。
2. 分析需求：对需求进行分析、整理和梳理，明确用户期望。
3. 编写规格说明：将需求转化为明确、可测量的规格说明。
软件工程智慧树知到答案章节测试2023年山东财经大学
第一章测试1.软件没有相应的文档，且最终不能满足用户要求是软件危机的一种表现。
（）A:错B:对答案:B2.软件本身的不可见性和复杂性随规模的增加呈指数上升是产生软件危机的主要原因。
（）A:错B:对答案:A3.开发软件就是写程序。
（）A:错B:对答案:A4.开发软件所需高成本和产品的低质量之间有着尖锐的矛盾，这种现象称（）。
A:软件危机B:软件工程C:软件产生D:软件周期答案:A5.以下对软件工程描述正确地是（）。
A:结合最好的技术方法。
B:经济地开发出高质量的软件并有效地维护它。
C:一门工程学科。
D:采用经过时间考验而证明正确的管理技术。
答案:ABCD6.软件生命周期中所花费费用最多的阶段是（）。
A:需求分析。
B:软件总体设计。
C:软件实现。
D:软件维护。
答案:D7.软件是（）。
A:计算机系统。
B:处理对象和处理规则的描述。
C:程序。
D:程序、数据及其文档的集合。
答案:D8.同螺旋模型相比，原型模型主要缺少（）。
A:客户评估B:制定计划C:风险分析D:实施工程答案:C9.在软件生存周期模型中，不适应变化需求的软件开发模型是（）。
A:原型模型B:瀑布模型C:螺旋模型D:增量模型答案:B10.针对高质量软件的生产的软件过程模型（）。
A:RUP模型B:基于构件的模型C:净室模型D:增量模型答案:C第二章测试1.可行性研究的技术可行性是指现有技术是否可行。
（）A:对B:错答案:A2.可行性研究的成本效益分析是从经济方面讨论是否可行。
（）A:对B:错答案:A3.可行性分析研究的目的是（）。
A:功能内聚B:项目值得开发否C:开发项目D:争取项目答案:B4.描绘物理系统的传统工具是（）。
A:程序流程图B:系统流程图C:数据流程图D:软件结构图答案:B5.数据字典的基本功能是（）。
A:数据维护。
B:数据通信。
C:数据定义。
D:数据库设计。
答案:C6.使用数据流图对工资系统进行需求分析建模，外部实体是（）。
A:工资单B:工资系统代码C:工资数据库维护D:接受工资单的银行答案:D7.数据流图的作用包括（）。
基于Z的适配器模式形式化描述
识 ， 次介 绍 了设 计 模 式 中 类和 函数 间存 在 的 各种 基 化 描 述 适 配 器模 式。 其 最
【 关键词 】 ：设计模 式 形 式化 适配器模 式
１ 言 引
别 表 示类 集 合 和 函数 集 合 中 的元 素 ． 和 函数 统 称 为 实体 。 过 类 通
一
从广 义 角度 。 式 化 方 法 是 软 件 开 发过 程 中规 格 、 计 及 实 对 像 放 在一 个 新 场 合 中使 用 ．而 新 场 合 所 期望 的接 口是 这 些 原 形 设 现 的系 统 工程 方 法 。 义 地 ， 式化 方 法 是 软 件规 格 和 验证 的方 有 对 象 所不 能满 足 的 ， 狭 形 而我 们 又不 想 改 变 这些 原 有 实 现 。 个 时 这 法 ． 因此 ，形 式 化方 法 又 分 为 形 式 化 规 格 方 法 和 形式 化验 证 方 候 我 们 就需 要 ” 化 ” 配） 下 ， 供 一个 适 配 器 ， 原 来 产 品 转 ｆ 适 一 提 将 法 式 化规 格 就 是通 过 数 学 符 号 对 系统 及 行 为 进行 精 确 、 洁 的 接 口转化 为客 户 期 望 的接 口 适 配 器模 式 可 以将 某 个 类 的 接 形 简
设 计 模 式 和 形 式 化 是 软 件 工 程 领 域 研 究 的 两 个 重 要 方 面 。 分 析 Ｇ Ｆ的 ２ ０ ３种 设 计 模 式 ．可 以发 现 如 表 １所示 的 类 和 函 数 设 计 模 式记 录 和 提炼 了软 件 人 员 在 面 向 对 象 软件 设 计 中的 成 功 之 间 的 关 系 。 表 １ 中 Ａ ｓ ａｔ 别 ｘ 是 否 为 抽 象 实 体 ． ｂｔ ｃ 判 ｒ 经验 和 问题 的 解 决方 案 ． 系 统 可 复用 的基 础 。 计 模 式规 格 可 Ａ ｇＮ ｍｂ 返 回 函 数 参 数 个 数 。ｒ 回 函 数 第 参 数 。 是 设 ｒ ｕ ｅ ＿ ｒ ｇ返 Ａ ｋ个 采用 非 形式 化 和 形式 化描 述 方 法 。 非形 式 化 描 述 包括 自然 语 言 、 Ｒｅ ｔ Ｓｎ ｌ ｆ ｏ ｉｇｅ和 Ｒｅ ｔ Ｍｕ ｉ ｅ表 示 类 引 用 ． ｖ ｃ ｔ ｎ表 示 函 ｆｏ ｌｐ ｔｌ Ｉ ｏａ ｏ ｎ ｉ Ｆ ｒ ａｄｎ Ｃｅ ｉ ａｏ Ｐｏ ｕ ． 图、 等 ， 这种方法本身所 存在的矛盾 、 义性、 糊性 ， 表 但 二 含 以及 数 间 调 用 ． ｏｗ ｒｉｇ表 示 函 数 同构 ， ｒ ｔ ｎ表 示 创 建 ，ｒｄ ｃ
软件测试中的测试复用与测试框架
软件测试中的测试复用与测试框架在软件测试中，测试复用和测试框架是提高测试效率和质量的重要手段。
测试复用指的是在不同的测试任务中，通过利用已有的测试资产和测试经验来减少重复劳动，提高测试效率。
而测试框架则是一套用于支撑和组织测试活动的结构和工具集合。
一、测试复用的意义和目标测试复用在软件测试中具有重要的意义和目标。
首先，它能够提高测试效率，减少工作量。
通过复用已有的测试用例、测试脚本和测试数据，测试人员可以省去重复编写和准备的时间和精力，从而更加高效地完成测试任务。
其次，测试复用能够提升测试质量。
已有的测试资产经过多次的验证和迭代，具有较高的可靠性和覆盖率，可以帮助测试人员发现和解决潜在的缺陷和问题，提高软件的健壮性和稳定性。
最后，测试复用还能够促进知识共享和团队协作。
通过建立和维护共享的测试资产库，测试人员可以相互学习和借鉴，共同进步，提高整体的测试能力和水平。
二、测试复用的方法和技术为了实现测试复用，我们可以采用多种方法和技术。
以下是一些常用的测试复用方法和技术：1. 测试用例复用：通过编写通用的测试用例，覆盖多个测试场景和测试需求，实现测试用例的复用。
测试用例可以包含测试目的、步骤、期望结果等信息，以便于对被测软件进行全面的功能和性能验证。
2. 测试脚本复用：在自动化测试中，测试脚本是执行测试任务的关键。
通过编写通用的测试脚本和函数库，可以实现对不同功能模块的复用，减少代码重复和维护成本。
测试脚本可以基于各种测试框架和工具进行编写和执行。
3. 测试数据复用：测试数据是进行测试的重要资源。
通过建立和维护测试数据库，将不同测试任务中所需的测试数据进行整理和分类，可以实现测试数据的复用。
同时，可以利用生成和管理工具来自动化地生成大量的测试数据，提高测试的覆盖率和效率。
4. 测试环境复用：测试环境包括硬件、软件和网络等资源，是进行测试的基础设施。
通过建立统一的测试环境和虚拟化技术，可以实现测试环境的复用，提高测试的一致性和可重复性。
如何评估测试用例的可维护性与可复用性
如何评估测试用例的可维护性与可复用性测试用例是软件测试过程中一个重要的组成部分，它用于验证软件是否按照预期的方式运行，并检测潜在的缺陷。
评估测试用例的可维护性与可复用性是测试工程师必须面对的挑战之一。
本文将介绍如何评估测试用例的可维护性与可复用性，并提供一些实用的建议。
让我们来了解一下可维护性和可复用性的概念。
可维护性是指测试用例在软件版本变更或需求变更时的易于修改和更新。
可复用性是指测试用例是否可以在不同的项目或不同的软件模块中重复使用。
要评估测试用例的可维护性，我们可以考虑以下几个方面。
测试用例的设计是否简单明了，逻辑清晰。
一个好的测试用例应该能够让任何测试工程师都能快速理解并执行。
测试用例是否尽量避免了硬编码，而是使用参数化和数据驱动的方式来实现。
使用参数化可以使测试用例对于变更更具灵活性，减少了修改的工作量。
测试用例是否具备良好的封装性，即能够独立于其他测试用例运行，并与其他测试用例解耦。
测试用例是否具备良好的文档和注释，对于测试用例的修改和维护提供帮助。
评估测试用例的可复用性也是十分重要的。
我们可以看测试用例是否具有高度一般性。
一个好的测试用例应该是能够在不同的项目或不同的软件模块中重复使用的。
有时，我们可能需要对测试用例进行一些调整，但是它的基本结构和逻辑应该是通用的。
测试用例的复杂度是否适中。
过于复杂的测试用例可能难以在其他项目中进行重用，而过于简单的测试用例可能难以覆盖足够的功能点。
测试用例的可维护性也与其可复用性密切相关。
一个易于维护的测试用例更容易被其他项目所接受和使用。
为了提高测试用例的可维护性与可复用性，我们可以采取一些实用的策略。
我们可以使用模块化的设计方法。
将测试用例分解为小模块，每个模块负责测试一个特定的功能点。
这种方式可以使得测试用例更具可重用性，并且在维护时更加灵活。
我们可以使用测试用例模板来规范测试用例的编写。
测试用例模板可以提供一些固定的结构和格式，使得测试工程师能够更加方便地编写和维护测试用例。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
３ Ｓ ａ ｇ ａ Ｋ ｙＬ ｂ ｒｔｒ ｆ ｏ ｕ ｅ ｏ ｔ ｒ ｖ ｌａｉｇ＆ Ｔ ｓ ｎ ， ｈ ｎ ｈ ｉ ０ ２ ５ Ｃ ｉａ ． ｈ ｎ ｈ ｉ ｅ ａ ｏ ａｏｙｏ ｍｐ ｔｒ ｆ Ｃ Ｓ ｗａｅＥ ａｕ ｔ ｎ ｅｔ ｇ Ｓ ａ ｇ ａ ２ ０ ３ ， ｈ ｎ ） ｉ
的测试 用例 的相关 定义 ，根据粒 度从 小 到大 的顺 序 ， 次 依 为 测试项 、测试 用例 、测试 用例套 ，并给 出相应 概念 的形
式化 定义 。
测 试 文档 、测试 技术 均 有详 细的 定义和 解释 ， 是该标 准 但
没 有对 测试 用例 的规 范进 行说 明 ，只给 出 了测 试 用例 设 计 的指 导 意见 。
关健 诃 ：测试 用例库 ； 测试 用例套 ；测试项 ；形式化描述 ；ｚ规格说明 ；软件测试
Ｆｏｒ ａ ｉ ｅ ｓ ｒｐｔｏ ｆＲｅ ａ ｅＴｅ ｔＣａ ｅ ｍ ｌｚ ｄ Ｄｅ ｃ ｉ ｉ ｎ ０ ｕｓ ｂｌ ｓ ｓ Ｂａ ｅ ｎ Ｚ ｓ ｄ ０ Ｓｐｅ ｉ ｃ ｔｏ ｃｆ ａ ｉ ｎ ｉ
在 国 际软件 测试 标准 制定 的基础 上 ，国内相继制 定 了 许 多适合 中国特色 的软 件测 试标 准 。目前 和软件 测试 相关
的现 行标 准 如下 ： 计算机 软件 测 试规 范 Ｉ 计算 机软 ， 件测 试 文档 编 制 规 范 Ｊ 软件 工 程软 件 产 品质 量要 求 ，
第３ 卷 ８
第 １ 期 ６
张
娟 ，童维勤 ，蔡立志 ：基于 ｚ 规格说 明的可复 用测试 用例形 式化描述
４ ５
准也相 继 出 台。目前 ， 门 的关于软 件测 试 的国 际标准 草 专
案 已经 完成 ，将取 代现 行 的以下 ４个 国际标 准 ：美 国国
统一规范的描述和定义可 以为测试 用例库提供 良好
家标 准 国家 学会 （Ｎ Ｉ Ａ Ｓ） 和美 国电子 电气 工程 师 协会（ Ｅ ） Ｉ Ｅ Ｅ
制 定 的软件 测试文档标准 ｌ ５ 和软件单元测 试标 准 ，英 国标
准 学会 制 定 的 软件 测试术语 标准和 软件构 件测试 标准 。
ＩＯ ＩＣ ２ １９标 准对软 件测 试 的概念 和术 语、测试 过程 、 Ｓ ／Ｅ ９ １
ｔｅｔｓ ａｅ ｅ ｓ ｂｌｔ． ｈ ｔ ｓ ｓｒｕ ａ ｉ ｙ ｅ ｃ ｉ
［ ｙｗｏ ｄ ］ｔｓｃｓ ｂａ ；ｅｔ ａｅ ｕｔ；ｅｔｔ ｆｒ ｌ ｅ ｅｃｉｔ ｎ Ｚｓｅｉｃｔ ｎ ｓｆ ｒ ｓ Ｋｅ ｒ ｓ ｅｔ ａｅｌ ｒｒ ｔｓｃ ｓ ｉ ｔ ｅ ｏｍａｚ ｄｄｓｒ ｉ ； ｃｆ ａｉ ；ｏｔ ｅ ｅｔ ｉ ｙ ｓ ｅ ｓ ｉｍ； ｉ ｐｏ ｐ ｉ ｏ ｗａ ｔ ＤＯＩ １ ． ６ ／ｉ ｎ１０ —４ ８２ １．６Ｏ １ ： ０３ ９ｊｓ ． ０３ ２ ．０ ２１．１ ９ ．ｓ ０
１ 概述
测试 用例是 软件测 试过 程 中的核 心资产 ， 测试 用例 的 设 计 占有软 件 测试 的大部 分 成本 。文献 ［ 认 为测 试 用例 １ ］ 是软 件测 试 的灵魂 ，并给 出如下 定义 ： 一个 好 的测 试可 能 发现 至今 尚未 被发现 的故 障 。 试 用例 的优 劣往往 取决 于 测
经 过 多年 的软 件测试 实 践 ， 已经 积累 了许 多优秀 的测试 用 例 ， 效地组 织和 利 用这 些有 价值 的资源 ， 有 将极 大提 高设
计测试 用例 的效率 ，从 而降低 软件 测试 的成本 。
软件 测试 用例复 用的基 本前提 ： （） 有可 以复 用的测 试 用例 。 １ 必须 （） 用 的测试 用例必 须是 有用 的 。 ２所复 （） 用者 必须 知道如何 去使 用被 复用 的测试 用例 。 ３复
与评价（Ｑ ａ Ｅ商业现货（ Ｏ Ｓ软件产品的质量要求和 Ｓ ｕＲ ） Ｃ Ｔ）
测试 细则 Ｕ］ ｏ国内 的标 准是 在 国际标 准 的基 础 上制定 完 Ｏ 成 的 ，标 准主要 侧重 于测 试术 语 、测试 计划 、测试 过程 、
具有完整含义的测试执行步骤。比如单击一个按钮、打开
一
粒度划分 的原则 ，针对基于 ｚ规格 说明的软件测试 ，提 出测试项、测试 用例 、测试用例套、测试 用例库等概念 ，并给出这些概念的形式化 定义 。通过 ｚ规格 说明对 可复用测试用例库进行描述 ，保证该用例库的描述准确和无二义性 。应用结果证明 ，该 方法能提高测试 用例 的可
复 用性 。
３ 溯试项 ． １ 为了能使测试用例的粒度进行最细小的解析 ， 本文提
出测试 项 的概 念 。测试 项也 可 以称 为测 试步骤 ， 是测 试 用 例 中的最小 元素 ， 是一 个具 有独立 意义 的可识 别 的最小输 入 或者 最小操 作 。 测试项 是测 试过程 中某 一个 不可分 解 的
ｏ ｄ ｒｔ ｎ ｒ ａ ｅｔ ｅ ｒ ｕ ａ ｉ ｔ ｆ ｅ ｔｃ ｓ ｓ ｂ ｏ ｌ ｗｉ ｇ ｔ ｅ ｐ ｉ ｃｐ ｅｏ ｎ ｍ ｉ ｉ ｇ ｔ ｅ ｃ ｍｐ ｓ ｔ ｎ ｏ ｅ ｔｃ ｓ ， ｈ ｓｐ ｐ ｒｇ ｖ ｓｔ ｅ ｃ ｎｃ ｐ ｓａ ｄ ｒ ｅ ｉ ｃ ｅ ｓ ｅ ｓ ｂ ｌ ｙ ｏ ｔ ｓ ａ ｅ ， ｙ ｆ ｌｏ ｎ ｈ ｒ ｎ ｉ ｌ ｆｍｉ ｉ ｚ ｎ ｈ ｏ ｏ ｉｉ ｆｔ ｓ ａ ｅ ｔ ｉ ａ ｅ ｉ ｅ ｏ ｅ ｔ ｎ ｏ ｈ ｉ ｏ ｈ ｆ ｒ ａ ｉｅ ｅ ｎｉ ｏ ｓ ｏ ｓ ｔ ｍ， ｅ ｔｃ ｓ ， ｅ ｔ ａ ｅ ｓ ｔ ｎ ｅ ｔｃ ｓ ｉ ｒ ｒ ， ｔ ． ｅ ｆ ｒ ｌ ｅ ｅ ｃ ｉ ｔｏ ｏ ｔ ｓ ａ ｅ ｎ ｔ ｅ ｔ ｓ ａ ｅ ｌ ｒ ｒ ， ｏ ｍ ｌｚ ｄ ｄ ｆ ｔ ｎ ｆ ｅ ｔｉ ｉ ｉ ｔ ｅ ｔ ｓ ａ ｅ ｔ ｓ ｓ ｕｉ ａ ｄ ｔ ｓ ａ ｅ ｌ ａ ｙ ｅ ｃ Ｔｈ ｏ ｍａ ｉ ｄ ｄ ｓ ｒｐ ｉ ｎ ｔ ｅ ｔｃ ｓ ｓｉ ｈ ｅ ｔ ｓ ｉ ａ ｙ ｃ ｅ ｂ ｚ ｃ ｂ ｂ ｓｎ ｓ ｅ ｉ ｃ ｔｏ ， ｎｓ ｒ ｓｔ ｅ ａ ｃ ｒ ｔ ｎ ｎａ ｉ ｕｏ ｏ ｒ ｕ ａ ｅｔ ｓ ａ ｅ ｌｂ ａ ｙ． ｐ ｉ ａ ｉ ｎ ｒ ｓ ｌ ｓ ｏ ｈ ｔ ｅ ｍｅ ｈ ｄ ｃ ｎ ｉ ｒ ｖ ｙ ｕ ｉ ｇ Ｚ ｐ ｃ ｆ ａ ｉ ｎ ｅ ｕ ｅ ｈ ｃ ｕ ａ ｅ ａ ｄ ｕ ｍｂ ｇ ｕｓｔ ｅ ｓ ｂｌ ｅ ｔｃ ｓ ｉ ｒ ｒ Ａｐ ｌｃ ｔ ｅ ｕ ｔ ｈ ｗｓｔ ａ ｔ ｏ ａ ｍｐ ｏ ｅ ｉ ｏ ｈ ｔ
作者简介 ：张 ￣（９ ５ ，女 ，工程师 ，主研方 向：软件测试 ；童维勤 ，教授、博士生导师 ；蔡立志 ，博士 １ ７ 一）
收稿 日期 ：２ １— — 修 回日期 ：２ １－ —３ ０ １ ９１ ０ ４ ０１１ １ ２
Ｅｍａ ：ｚａｇ ＠￣ｘ ａ． ｍ － ｉ ｈｎ－ ｌ ｊ ｍ ｉｏ ｌ ｅ
第 ３ 卷 第 １ 期 ８ ６
Ｖ０ ３８ ｌ
・
计
算
机
工
程
２１ ０ ２年 ８月
Ａｕｇ ｓ ０１ ｕ ｔ２ ２
Ｎ Ｏ．６ １
Ｃｏ ｐｕ ｅ ｇｉ ｅ ｉｇ ｍ ｔｒＥｎ ｎｅ ｒｎ
软件 技 术与数 据 库 ・
文章编号： ００－２（ １１一ｌ４ 文献标识码： １ｏ—３ ８０２每 ０ — ５ ４ ２ ） ４ Ａ
中圈分类号： Ｐ１ Ｔ３１
基 于 Ｚ 规 格 说 明 的 可 复 用 测 试 用 例 形 式化 描 述
张 娟 ，童维勤 ，蔡立志 ，
（．上海大学计算机工程与科学学院 ，上海 ２ ０ ４ ；２ １ ０ ０ ７ ．江西财经大学 ，南昌 ３０ １ ； ３０ ３
３ 上海市计算机 软件评 测重 点实验室 ，上海 ２ ０ ３ ） ． ０２５ 摘 要 ：可复 用的、统一的描述规范是测试 用例复 用的前提条件 ，能够为测试用例的共享提供 良好的复用机制 。为此 ，遵循测试用例最小
因此 ，正 确地 刻 画、描述 和管 理可复 用 的测试 用例是 实现 测试 用例 复 用的 关键 。 Ｊ
由于 基于 规 格 说 明 的测 试 用例 具 有天 然 的可 复 用特
性， 因此本 文研 究的对象 将 只限于基 于规 格说 明 的测 试 用 例 。为 了提 高测 试用例 的可 复用性 ， 出可复 用 的测试 用 提
ＺＨ ＡＮ Ｇ Ｊｕａｎ１ ， ＴＯ ＮＧ ｅ ． ｎ ，３ ２ Ｗ ｉｑｉ ．ＣＡ ＩＬ ｉｚ ３ ． ｈｉ
，
（． ｃ ｏ ｌ ｆ ｍｐ ｔｒ ｎ ｉｅｒｎ ｎ ｃｅ ｃ， ｈ ｎ ｈｉ ｉｅｓｙ Ｓ ａ ｇａ ０ ０ ７ Ｃ ｉａ １Ｓ ｈ ｏ ｏ Ｃｏ ｕｅ ｇｎ ｅｉｇａｄＳ ｉｎｅ Ｓ ａ ｇ ａＵｎｖ ｒｉ ， ｈｎ ｈ ｉ ０ ４ ， ｈｎ ； Ｅ ｔ ２
例套概念 ， 并在此基础上给出了和可复用测试用例库有关
的一套 完
随着软件 测试 的不 断深 入 ， 多和测 试相 关 的行 业标 许
根 据测试 用例 的来 源 ， 件测 试可 以分为 基于 程序代 软
基金项 目：国家火炬计划基金资助项 目（ ０Ｇ ５０６） ２ ９ Ｈ １０８；上海 市科委科研计划基金资助项 目（０ Ｚ ２ １０） ０ １Ｄ ２９ ８０
基于 规格 说 明的测试 还为测 试用例 的 重用提供 了可能 。 它 改变 了现在 编程 ，以后测试 的工 作方 式 ， 使得 在整 个软件 生命 期 中都可 以并行 地进 行测试 工作 ， 从而极 大地 提 高了
软 件测 试 的效 率 。
测试工程师的经验和水平 ，将直接影响软件测试的效率 。
的复 用机 制 。多年 的测 试经 验表 明 ， 试用 例 的粒 度直接 测 影响 其可复 用性 。测试 用例 的粒度 越小 ， 潜在 的可复 用 其 性也会 越 高 。 是测试 用例 的粒度 越小 ， 但 将直 接影 响测试