第六章 系统测试.ppt

1、第14章系统测试，2009-马春燕，西北工业大学软件与微电子学院，大纲，铅需求规格的基本概念，寻找铅测试的结构策略，铅测试的功能策略，系统测试指南，2009-马春燕，西北工业大学软件与微电子学院，系统测试是三个测试级别中最接近日常测试实践的。它根据期望来评估产品，而不是根据规范或标准来测试软件系统是否满足所有需求，包括功能需求(主要基于需求规范)和非功能需求(例如可用性测试)，这些通常由独立的测试人员(测试团队)来执行，通常使用黑盒测试，2009 -马春燕，西北工业大学软件与微电子学院，系统测试的功能测试，目标检查应用程序是否满足其期望的需求， 并根据行为/功能规范测试案例判断一系列原子系统功

2、能(ASF)，2009-马春燕，西北工业大学软件与微电子学院，系统测试的压力测试，将其推向极限之外，应用(系统)，用户，卷，资源： phy。 逻辑，响应，2009-马春燕，西北工业大学软件与微电子学院，系统测试性能测试，用户视角，延迟支持强度，系统吞吐量，内存，中央处理器等。系统的可用性测试，系统运行过程中的人的因素，图形用户界面，消息，报告，2009，马春燕，西北工业大学软件与微电子学院，线程，关于常用场景线索的各种观点系统级测试用例激励/响应输入和输出事件的交互序列行为端口生成的系统级输入序列转换序列系统状态机描述查看系统测试的机器指令序列的交互序列， 对象消息和方法执行根据系统级线索源指

3、令序列MM-路径序列原子系统功能序列，2009 -马春燕，西北工业大学软件与微电子学院，有不同级别的线索。 单元级通常理解为源指令执行时间路径，或DD- path集成级是MM- path，即模块执行和消息交替序列系统级是原子系统功能序列。因为ASFs在输入和输出期间有端口事件，所以，ASFs包含端口输入和输出事件的交替序列线索，提供了三层测试的统一视图。单元测试执行单一功能测试单元之间的集成测试，检查交互系统测试和检查原子系统功能之间的交互，2009 -马春燕，西北工业大学软件和微电子学院，线索定义，(原子系统功能，ASF)将ASF定义为可以在系统级别观察到的端口输入和输出事件的动作。ASF以

4、端口输入事件开始，遍历一个或多个多路径的一部分，并以端口事件结束。在SATM系统中，数字输入、现金支付和会话结束都是ASF的好例子，2009 -马春燕，西北工业大学软件与微电子学院，2009 -马春燕，西北工业大学软件与微电子学院，线索定义(续)，ASF代表集成测试和系统测试之间的差距，它是集成测试中最大的测试项目和系统测试中最小的测试项目，因此ASF示例可以在两个级别进行测试-数字输入ASF系统测试过程端口输入事件由按键传感器检测并作为GetPIN发送GetPIN决定是按数字键还是取消键，并做出相应的响应。ASF最终显示屏2或4集成测试过程不需要系统输入键并在屏幕上显示它们，但使用驱动程序提

5、供的这些功能，并通过集成测试检查数字输入ASF，2009-马春燕，西北工业大学软件与微电子学院，线索定义(续)，ASF图(ASF定义的系统)是一个有向图，其中节点表示ASF，边缘表示串行流源ASF/接收器ASF是一个原子系统功能，在系统ASF图中显示为源/接收器节点的示例-“自动柜员机卡”对话结束ASF -惠ASF，2009-，西北工业大学软件与微电子学院，线索定义(续)，系统线索是从源ASF到汇ASF(给定一个由系统线索定义的系统)的路径线索图，它是一个有向图，节点代表系统线索。边缘代表个别线索的顺序。实施上述定义提供了更广泛的线索的内部集合，从非常短的线索(在一个单元内)开始，以系统级线索

6、之间的交互结束，2009 -马春燕，西北工业大学软件和微电子学院，需求规格说明的基本概念，目的是讨论在系统测试级构建一套基本需求规格说明。五个基本需求规范的构建构成了数据操作端口事件线程。每个系统都可以用以上五个基本概念来表达。为了解释他们如何支持测试人员的线程识别过程，2009年西北工业大学软件与微电子学院马春燕以数据为中心的线程识别，关注数据描述系统中系统使用和创建的信息。使用变量、数据结构、字段、记录、数据存储和文件来描述数据的示例：E/R模型是最高级别数据描述的最常见选择。以数据为中心的视图或许多面向对象方法的突破点。数据是指已经初始化、存储、更新或可能销毁的信息。-SATM系统的初始

7、数据描述了各种账户及其个人识别码，每个账户都有一个数据结构。包括账户余额等信息，2009 -马春燕，西北工业大学软件与微电子学院，以数据为中心的线索识别(续)。以数据为中心的系统通常由CRUD开发(“创建、检索、更新、删除”)，有时可以通过数据模型直接识别线索。数据实体之间的关系可以是1: 1、1: n等。这些差异应用于数据处理的线索银行客户可以有多个账户，每个账户需要一个唯一的个人识别码。如果多人可以访问同一个账户，他们需要具有相同个人识别码的自动柜员机卡，2009 -马春燕，西北工业大学软件与微电子学院，以数据为中心的线索识别(续)，并且可能有只读但从不写的初始数据(如个人识别码和“预期个

8、人识别码”双重)。该只读数据必须是系统初始化过程的一部分。如果没有，那么一定有线索来创建这样的数据。因此，只读数据是一个源ASF指标，2009 -马春燕，西北工业大学软件与微电子学院，以行动为中心的线索识别，以行动为中心的建模是一种常见的需求规格说明形式。动作包括输入和输出，它们可以是数据。它也可以与端口事件动作同义：转换、数据转换、控制转换、处理、活动、任务、方法和服务动作也可以分解为底层活动(如数据流图)。动作的输入/输出视图是功能测试的基础，动作的分解(和最终实现)是结构测试的基础，2009 -马春燕，西北工业大学软件与微电子学院，以端口为中心的线索识别每个系统都有端口(和端口设备)。这

9、些端口设备是系统级输入和输出的来源和目的地。区分端口和端口设备之间的细微差别。从技术上讲，端口是输入/输出设备访问系统的点，如串行端口、并行端口、网络端口和电话端口。如果没有实际的端口设备，可以通过将端口边界向内移动到端口事件的逻辑实例来实现系统测试，用术语“端口”替换端口设备，如SATM系统中的端口：号码、取消键、功能键、显示屏、存取通道、自动柜员机卡和收款槽。考虑端口有助于测试人员定义功能测试和系统测试所需的输入空间，西北工业大学软件与微电子学院马春燕，2009，以事件为中心的线索识别，在数据和动作方面有一些特点。事件是发生在端口设备上的系统级输入(或输出)事件，并且动作的输入和输出事件可

10、以是离散的(例如SATM键盘输入)或连续的(例如温度、高度或压力)。离散事件必须有一定的持续时间。这在实时系统中非常重要。输入事件可视为破坏性读取数据，输出事件可视为破坏性写入数据。2009年，马春燕，西北工业大学软件与微电子学院，以事件为中心的线索识别(续)。事件是物理事件和这些事件的内部逻辑表示。端口输入事件是物理到逻辑的转换。端口输出事件是逻辑到物理的转换。例如，在SATM系统中，当显示屏幕5时，按B1键的端口输出事件表示“平衡”，当显示屏幕6时，表示“检查”。这就是所谓的“港口事件相关的背景”，2009年-马春燕。西北工业大学软件与微电子学院，线索是五种基本结构中最少使用的。因为线索是

11、要被测试的，测试人员通常无法在数据、事件和动作之间的交互中找到线索。在控制模型中通常很容易找到线索。线索发现系统的有限状态机模型是寻找线索的良好起点，因为这些路径可以很容易地转换成线索，2009 -马春燕，西北工业大学软件与微电子学院，基本概念的E/R模型，输入，输出，2009-马春燕，西北工业大学软件与微电子学院，使用基本概念建模，需求规格模型的三种基本形式，2009-马春燕，西北工业大学软件与微电子学院，使用基本概念建模(续)， 用于开发的结构模型，上下文模型，代表功能分解、数据分解和组件之间的接口，通常是结构模型的起点，强调系统设备和动作，并密切关注将五个基本结构中的四个集成在一起的线索

12、行为模型(控制模型)。选择适当的控制模型是需求规格说明的基础太弱的模型不能表示重要的系统行为，太强的模型一般会淹没没有意思的行为一般地，决策表只对计算系统是个好选择，有限状态机对于菜单驱动的系统良好，petri网是针对并发系统的模型，2009 -马春燕，西北工业大学软件与微电子学院，寻找线索，2009 -马春燕，西北工业大学软件与微电子学院，测试线程，宏级别状态是：卡输入个人识别码输入交易请求（和处理(会话管理请注意，此声明的顺序与测试顺序相同，因为这些阶段都是先决条件顺序(在成功输入卡之前，我们不能输入个人识别码)，2009年-马春燕，西北工业大学软件与微电子学院，先决条件，我们需要一些先决

13、条件数据：2009 -马春燕，西北工业大学软件与微电子学院金硫基苹果酸钠县，最初显示屏幕1 .取款分配器的可用现金总额为500美元。我们将在表格中表示线程，其中成对的行对应于端口输入和预期端口输出。让我们从3个基本线程开始，每个事务类型一个2009年-马春燕，西北工业大学软件与微电子学院，余额查询，2009年-马春燕，西北工业大学软件与微电子学院，存款，2009年-马春燕，西北工业大学软件与微电子学院，退出，2009年-马春燕，西北工业大学软件与微电子学院，无效卡，这是最短的线程，它由无效卡组成，会被立即拒绝2009年-马春燕，西北工业大学软件与微电子学院密码输入的变化，跟随线程1的宏状态，我们接下来执行密码输入的变化。我们得到4个线程，它们在个人识别码入口有限状态机中产生边缘覆盖，2009 -马春燕，西北工业大学软件与微电子学院，个人识别码输入，2009 -马春燕，西北工业大学软件与微电子学院，个人识别码输入（续)，2009年年-马春燕，西北工业大学软件与微电子学院，交易请求，我们在三种类型的交易、两种类型的账户和请求的金额方面有所不同。现在我们关注数量驱动线程2009年-马春燕，西北工业大学软件与微