【导读】同时软件工程对实践经验要求非常高的，中间的很多经验都需要在实践中去体会和认识。在这六个实验中，全部以一个航空售票点售票软件的程序设计作为主线来贯穿。统分析设计、编码和单元测试，其中顾及到结构化程序设计方法和面向对象程序设计方法，通过这六个实验，基本了解和熟悉软件工程管理的几个主要过程，达到熟悉教材，理会软件工程管理理论的目的。学要求，以及软件工程专业培养方案对《软件工程导论实训》课程的要求编写的实验指导书，32学时来设计，计科专业采用本实验指导书时必须适当调整内容。验报告而全部在网络实验平台上提交实验报告。和现场检查的打分给每个实验项目打分。实验分数计零分，且必须补考或重新。航空公司售票点为给旅客乘机提供方便，需要开发一个机票预定系统。当旅客确认航班并交付了预订金后，系统打印出取票通知和帐单给旅客，旅客。求编码规则对需求要求进行编号；

【正文】达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次，因此判定覆盖也称为分支覆 盖。 ③条件覆盖。设计足够的测试用例，使得判定表达式中每个条件的各种可能的值至少出现一次。 ④判定／条件覆盖。设计足够的测试用例，使得判定表达式中的每个条件的所有可能取值至少出现一次，并使每个判定表达式所有可能的结果也至少出现一次。 ⑤条件组合覆盖。比较强的覆盖标准，它是指设计足够的测试用例，使得每个判定表达式中条件的各种可能的值的组合都至少出现一次。 ⑥路径覆盖。设计足够的测试用例，覆盖被测程序中所有可能的路径。 黑盒测试，又称为功能测试，因此设计测试用例时，需要研究需求规格说明和概要设计说明中有关程序功 能或输入、输出之间的关系等信息，从而与测试后的结果进行分析比较。用黑盒技术设计测试用例的方法一般有以下介绍的四种，但没有一种方法能提供一组完整的测试用例，以检查程序的全部功能，在实际测试中应该把各种方法结合起来使用。 （１）等价类划分 将输入数据域按有效的或无效的（也称合理的或不合理的）划分成若干个等价类，测试每个等价类的代表值就等于对该类其他值的测试。也就是说，如果从某个等价类中任选一个测试用例未发现程序错误，该类中其他测试用例也不会发现程序的错误。

（２）边界值分析 实践经验表明，程序往往在处理边界情 况时发生错误。边界情况指输入等价类和输出等价类边界上的情况。 （３）错误推测 在测试程序时，人们可能根据经验或直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的测试用例。错误推测法没有确定的步骤，凭经验进行。它的基本思想是列出程序中可能发生错误的情况，根据这些情况选择测试用例。 （４）因果图 因果图能有效地检测输入条件的各种组合可能会引起的错误。因果图的基本原理是通过画因果图，把用自然语言描述的功能说明转换为判定表，最后为判定表的每一列设计一个测试用例。36 附录 2 测试用例说明书 1 引言 编写的目的 说明编写这份测试用例说明书的目的，指出预期的读者。 背景 ； 、开发者、用户； 。 定义 列出本文件中用到的专门术语的定义和外文首字母组词的原词组。 参考资料 列出参考资料。 2 测试用例 注：用例应侧重于测试可直接追踪到的系统需求功能，目的是核实需求功能与实现功能是否一致。即，只要求说明功能测试用例。 用例 1(标识符 )详细说明 每个用例应说明下列内容： (1)测试用例名称 (2)测试项：规定并简要说明本测试用例所要涉及的项和特性、对于每一项、可考虑引用需求说明书和设计说明书。

(3)输入说明：规定执行测试用例所需的各个输入。有些输入可以用值（允许适当的误差）来规定。而另一些输入，如常数表或事务文件可以用名来规定。规定所有合适的数据库、文件、终端信息、内存常驻区域和由操作系统传送的值。规定各输入间所需的所有关系（如时序关系等）。 (4)输出说明：规定测试项的所有输出和特性（如：响应时间）。提供各个输出或特性的正确值（在适当的误差范围内）。 (5)环境要求：规定 执行本测试用例所需的硬件特征和配置、系统软件和应用软件。 (6)规程说明：描述对执行本测试用例的测试规程的一切特殊限制。这些限制可以包括特定的准备、操作人员干预、确定特殊的输出和清除过程。 (7)用例间的依赖关系：列出必须在本测试用例之前执行的测试用例名称，归纳依赖性质。 37 建议采用表格描述每个用例。 用例 2(标识符 )详细说明 更多用例，仿照 格式说明。 3 测试结果 对存在差异的测试结果进行分析 , 并给出最终的测试结论 . 附录 3 多体制信号源用户姿态建模系统 测试用例说明书 1 引言 编写目的 本文档根据软件多体制信号源用户姿态建模系统的需求说明书与设计说明书编写，用于系统功能、性能测试。

文档包含了各功能模块的测试用例，提供了针对系统进行完整测试的解决方案。文档预期读者有多体制信号源用户姿态建模系统的软件开发人员、项目主管和后期维护人员、系统测试人员等。 背景 网站的名称是华服如昔服饰网站，属于独立系统。华服如昔服饰网站需要进行系统测试，测试功能是否实现，功能的结果是否正确。本文档提供测试的指导。 定义 CGS2020： BD 系统使用的大地坐标系。 ECEF：地心地固坐标系 。 ECI：地心惯性坐标系。 卫星导航系统 ：通过 卫星信号为定位导航的系统，如： COMPASS、 GPS、 GLONASS、 GALILEO。 参考资料 [1]国防科技 大学卫星导航研究中心 .多体制高性能卫星导航信号模拟源技术研制技术要求[R].北京 :总装备部航天装备总体研究发展中心， . [2]GB／ T [S].北京：中国标准出版社， 2020. [3]彭超 . 多体制信号源用户姿态建模系统需求规格说明书 [R].长沙：长沙学院计算机科学与技术系， 2020. 2 测试用例 测试环境满足如下条件。操作系统 :Windows 操作系统 (XP 及 以上 )； PC 机配置： CPU 主频 以上，内存 1G 以上，硬盘 80G 以上。

测试过程中，各测试用例无特殊 规程，故在此没有说明。 在手动输入页码模块中，要求页码大于 0，并且小于 800，其单元测试如表 所示。 表 页码输入限制 测试 用例 38 测试 用例编号： HKST01 测试用例名称： 页码输入限制 测试项： 用户可输入页码，选择需要下载的开源数据。在页码输入框中输入 1 到 799的整数后，点击开始按钮，检查程序能否正 常响应。 输入说明： ① 在页码输入框中输入 0，点击开始按钮； ② 在页码输入框中输入 20，点击开始按钮； ③ 在页码输入框中输入 800，点击开始按钮。 输出说明： 所有操作，程序正常响应，开始抓取数据并且输出结果。 测试结果： 成功 航空公司为随时掌握各个航班飞机的乘载情况，需要定期进行查询统计，以便适当调整。航空公司能够统计一段时间内售出飞往某地的机票，需要测试该功能，我们采用等价类划分方法测试改功能。 时间段 售票统计等价类 a 测试合理输入的结果， 详细说明如表 所示： 表 时间段 售票统计等价类 a 测试用 例 测试 用例编号： HKST02 测试用例名称： 时间段 售票统计等价类 a 测试项： 起始日期从 2020 年 1 月 1 日开始到当前日期； 结束日期从 2020 年 1 月 1 日开始到当前日期，结束日期不能早于起始日期； 目的地只能从数据库中选择，若为空，则不限制地点。

前置测试用例： 航空公司管理员身份验证 输入说明： ； ； 输入 空 ； （字符界面程序通常没有这样的步骤）。 输出说明： 系统输出共有 10 张票售出。 测试 结果： 成功 时间段 售票统计等价类 b 测试非法输入的结果，起始日期不符合要求， 详细说明如表 所示： 表 时间段 售票统计等价类 a 测试用例 测试 用例编号： HKST03 测试用例名称： 时间段 售票统计等价类 b 测试项： 起始日期从 2020 年 1 月 1 日开始到当前日期； 39 结束日期从 2020 年 1 月 1 日开始到当前日期，结束日期不能早于起始日期； 目的地只能从数据库中选择，若为空，则不限制地点。 前置测试用例： 航空公司管理员身份验证 输入说明： ； ； 输入 “长沙” ； （字符界面程序通常没有这样的步骤）。 输出说明： 系统提示：起始日期输入不合理。 测试结果： 成功 时间段 售票统计等价类 c 测试非法输入的结果，起始日期晚于结束日期不符合要求， 详细说明如表 所示： 表 时间段 售票统计等价类 c 测试用例 测试 用例编号： HKST04 测试用例名称： 时间段 售票统计等价类 c 测试项： 起始日期从 2020 年 1 月 1 日开始到当前日期； 结束日期从 2020 年 1 月 1 日开始到当前日期，结束日期不能早于起始日期 ； 目的地只能从数据库中选择，若为空，则不限制地点。

前置测试用例： 航空公司管理员身份验证 输入说明： ； ； 输入 “北京” ； （字符界面程序通常没有这样的步骤）。 输出说明： 系统输出共有 1 张票售出。 测试结果： 失败 (提示： 失败的测试用例，说明程序有问题，有时间的话，要求同学们修改代码，重新测试。 ) 前述三个测试用例的测试内容，可合并成一个测试用例。时间段 售票统计等价类划分测试用例，测试内容包括四 个无效等价类（ 起始日期无效，结束日期无效，结束日期早于起始日期， 目的地 无效） ，两个有效等价类（ 起始日期和结束日期有效， 目的地为“空”或“从数据库中选择”） ， 详细说明如表 所示。 40 表 时间段 售票统计等价类划分 测试用例 测试 用例编号： HKST05 测试用例名称： 时间段 售票统计等价类划分 测试项： 起始日期从 2020 年 1 月 1 日开始到当前日期； 结束日期从 2020 年 1 月 1 日开始到当前日期，结束日期不能早于起始日期； 目的地只能从数据库中选择，若为空，则不限制地点。 前置测试用例： 航空公司管理 员身份验证 输入说明： ，结束日期输入 ， 目的地 输入 “” ； ，结束日期输入 ， 目的地 输入 “长沙” ； ，结束日期输入 ； 目的地 输入 “长沙” ； ，结束日期输入 ， 目的地 输入 “北京”； ，结束日期输入 ， 目的地 输入 “北京”； ，结束日 期输入 ， 目的地 输入 “洪山桥” 。 三个测试项输入结束后，都点击确定按钮。 输出说明： 10 张票售出。 2 张票售出。 ：起始日期输入不合理； ：结束日期不能早于起始日期； ：结束日期输入不合理； ：找不到 目的地 。 测试结果：3. 成功 4. 成功 5. 成功 6. 成功