火龙果软件软件质量保证与测试.pptVIP

C3: 目标导向的测试活动 目标 测试技术 例子 检验公布的功能 检查安全必威体育官网网址性 执行无效输入 评价脆弱性 检查GUI中的错误 检验操作的正确性 评价可靠性 检验入侵防御 检验系统性能 检验用户可接受度 检验业务兼容性 检验外设兼容性 检验外国语言兼容性 功能测试 安全必威体育官网网址性测试 鲁棒性测试 脆弱性测试 GUI测试 操作测试 可靠性测试 入侵检测 性能测试 验收测试 兼容性测试 外设配置测试 外国语言测试 渗透测试 捕获/回放；事件顺序图；完整交互序列；事务流； 压力测试 接口测试、安装测试 C4: 被测软件制品（目标软件特性） 被测软件制品的特性 测试技术 应用程序组件 批处理 客户/服务器 编译器 设计 编码 数据库系统 OO软件 操作系统 实时软件 需求 Web服务 组件测试 等价类划分、基于FSM的测试及其他； C/S测试 编译器测试 设计测试 编码测试 事务流测试 OO测试 OS测试 实时测试 需求测试 Web服务测试 C5: 测试过程 测试过程 属性 瀑布测试模型 V测试模型 螺旋测试 敏捷测试 测试驱动开发 通常在临近开发过程结束时进行测试 在开发过程中每一阶段明确定义了测试活动； 应用于软件增量测试，为演化软件开发而提出的。每一个软件增量都是一个软件原型，最后形成提交给用户的软件。 应用于敏捷软件开发方法学，如极限编程(XP) 将需求定义为测试用例。 ?Aditya P. Mathur 2009 小结 我们已经学习了一些在软件测试中最基本的概念。第1章的结尾有一些练习，它们会帮助你更好地理解本章内容。 本章作业 Void DoWork(int x,int y) { int k=0,j=0 if ((x3)(y10)) { k=x*y-1 j=sqrt(k) } if ((x==4)||(y5)) j=x*y+10 j=j%3 } 作业1 : 程序中每行开头的数字（1~9）是对每条语句的编号 （1）画出相应的流图。（用题中给出的编号）； （2）用三种方法确定流图的圈复杂性； （3）确定流图的独立路径集。 1.9 缺陷管理 ?Aditya P. Mathur 2009 缺陷管理 缺陷管理是软件开发和测试的重要组成部分。 缺陷管理包括：缺陷预防、缺陷发现、缺陷记录和报告、缺陷分类、缺陷纠正、缺陷预测等。 存在一些用于缺陷管理的工具。 1.10 执行历史 ?Aditya P. Mathur 2009 执行历史 又称执行轨迹，是程序一次执行中收集到的程序各方面信息的有序集合。 可以用多种方法表示执行轨迹 语句的执行序列； 对象方法的访问序列； 程序变量值的变化的序列； 1.11 测试生成策略 ?Aditya P. Mathur 2009 ?Aditya P. Mathur 2009 测试生成 任何形式的测试生成都使用源文档。最非正规的测试方法，测试人员也在脑海里驻留了一个基于知识和需求的源文档。 在大多数的商业环境中，测试过程更正式一些。测试会通过正式和非正式的混合方法直接从作为源的需求文档产生。在更先进的测试过程中，需求将作为开发过程中的正规模型的来源。 ?Aditya P. Mathur 2009 测试生成策略 基于模型的：要求需求的一个子集使用了正式的符号（通常为图形界面）来建模。模型：有限状态机，时间自动机，Petri网等。 基于规范的：要求需求的一个子集使用一个正式的数学符号进行建模。例如：B，Z，和Larch。 基于代码：直接从代码中生成的测试。 ?Aditya P. Mathur 2009 测试生成策略 (总结) 需求 有穷状态机 状态图 Petri网 时间I/O自动机 代数和逻辑规范 代码 运行时数据 测试生成算法 测试生成算法 测试生成算法 测试生成算法 测试生成算法 测试生成算法 测试生成算法 测试用例 1.12 静态测试 ?Aditya P. Mathur 2009 静态测试 静态测试最大特点是不需要执行被测软件； 走查：非正式的过程，对源代码和文档的检查。 审查：更加正规的检查过程。 使用静态代码分析工具 通过静态代码分析工具得到代码的相关信息。如：控制流信息、数据流信息等。 有商业化和开源的静态分析工具。 软件复杂性和静态测试 通过分析软件的复杂性，在静态测试中对较复杂的模型给予更多的关注。 可以用不同的复杂性度量来计算模块复杂性。 同时需要考虑模块功能的重要性。 1.13 基于模型的测试与模型检验 ?Aditya P. Mathur 2009 基于模型的测试 基于模型的测试：对软件行为进行建模，以及根据软件的形式化模型设计测试活动。 模型检测 模型检测是指用于验证特定模型的一个或多个特性的技术。 1.14 控制