形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

5.1 设计过程 5.2 设计原理 5.3 启发规则 5.4 描绘软件结构的图形工具 5.5 面向数据流的设计方法

12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例

• 8.1 软件维护的定义 • 8.2 软件维护的特点 • 8.3 软件维护过程 • 8.4 软件的可维护性 • 8.5 预防性维护 • 8.6 软件再工程过程

10.1 面向对象分析的基本过程 10.2 需求陈述 10.3 建立对象模型 10.4 建立动态模型 10.5 建立功能模型 10.6 定义服务 10.7 小结

7.1 编码 7.2 软件测试基础 7.3 单元测试 7.4 集成测试 7.5 确认测试 7.6 白盒测试技术 7.7 黑盒测试技术 7.8 调试 7.9 软件可靠性

2.1 可行性研究的任务 2.2 可行性研究过程 2.3 系统流程图 2.4 数据流图 2.5 数据字典 2.6 成本/效益分析 2.7 可行性研究报告书写

一、Ethereal软件介绍 二、通过 Ethereal捕获网络包 三、分析捕获数据,深入探查TCP/IP协议

河南中医药大学：《软件工程》实验指导_实验八 Rational Rose工具的使用

河南中医药大学：《软件工程》实验指导_实验七 软件测试