第07实现.ppt

软件工程 ( Software Engineering ) 第7章：实现 7.1 软件测试基础 7.3 单元测试 7.4 集成测试 7.5 确认测试 7.6 白盒测试技术 7.7 黑盒测试技术 7.8 调试 7.9 软件可靠性 7.10 小结 重点和难点 结构化程序设计的原则和风格；软件测试的目的和原则；白盒测试、黑盒测试的定义。 熟练掌握白盒测试中各种逻辑覆盖的基本思想 熟练掌握黑盒测试中等价划分、边界值分析方法；软件测试策略中单元测试、组装测试、确认测试和系统测试的相关概念及方法；程序调试步骤和几种程序调试方法、过程 编码和测试统称为实现。 编码：把软件设计结果翻译成程序。 测试：检测程序并改正错误的过程。 计算机程序设计语言基本上可以分为两大类： 1. 汇编语言; 2. 高级语言。 从应用特点看，高级语言可分为： 1）基础语言 如BASIC、FORTRAN、COBOL、ALGOL等 2）结构化语言 如ALGOL、PL/1、PASCAL、C、ADA等 3）专用语言 如APL、BLISS、FORTH、LISP、PROLOG等 选择一种编程语言的理论标准： 1）有理想的模块化机制； 2）可读性好的控制结构和数据结构； 3）便于调试和提高软件可靠性； 4）编译程序发现程序错误的能力强