Software engineering: theory and practice

第1章　软件工程概述　11.1　什么是软件工程　11.1.1　问题求解　21.1.2　软件工程师的角色是什么　31.2　软件工程取得了哪些进展　41.3　什么是好的软件　61.3.1　产品的质量　71.3.2　过程的质量　81.3.3　商业环境背景下的质量　81.4　软件工程涉及的人员　101.5　系统的方法　111.5.1　系统的要素　111.5.2　相互联系的系统　121.6　工程的方法　141.6.1　盖房子　151.6.2　构建一个系统　161.7　开发团队的成员　171.8　软件工程发生了多大的变化　181.8.1　变化的本质　191.8.2　软件工程的Wasserman规范　201.9　信息系统的例子　241.10　实时系统的例子　251.11　本章对单个开发人员的意义　271.12　本章对开发团队的意义　271.13　本章对研究人员的意义　271.14　学期项目　281.15　主要参考文献　291.16　练习　29第2章　过程和生命周期的建模　312.1　过程的含义　312.2　软件过程模型　332.2.1　瀑布模型　332.2.2　V模型　352.2.3　原型化模型　362.2.4　可操作规格说明　372.2.5　可转换模型　372.2.6　阶段化开发：增量和迭代　382.2.7　螺旋模型　392.2.8　敏捷方法　402.3　过程建模工具和技术　432.3.1　静态建模：Lai表示法　432.3.2　动态建模：系统动力学　452.4　实际的过程建模　482.4.1　Marvel的案例研究　482.4.2　过程建模工具和技术应该具有的特性　502.5　信息系统的例子　502.6　实时系统的例子　522.7　本章对单个开发人员的意义　532.8　本章对开发团队的意义　532.9　本章对研究人员的意义　532.10　学期项目　532.11　主要参考文献　552.12　练习　56第3章　计划和管理项目　573.1　跟踪项目进展　573.1.1　工作分解和活动图　583.1.2　估算完成时间　603.1.3　跟踪进展的工具　643.2　项目人员　663.2.1　人员角色和特性　663.2.2　工作风格　693.2.3　项目组织　703.3　工作量估算　723.3.1　专家判断　743.3.2　算法方法　753.3.3　机器学习方法　803.3.4　找出适合具体情形的模型　813.4　风险管理　823.4.1　什么是风险　823.4.2　风险管理活动　833.5　项目计划　853.6　过程模型和项目管理　873.6.1　注册管理　873.6.2　责任建模　883.6.3　紧密结合里程碑　913.7　信息系统的例子　923.8　实时系统的例子　933.9　本章对单个开发人员的意义　943.10　本章对开发团队的意义　943.11　本章对研究人员的意义　953.12　学期项目　953.13　主要参考文献　953.14　练习　96第4章　获取需求　984.1　需求过程　994.2　需求引发　1004.3　需求的类型　1034.3.1　解决冲突　1054.3.2　两种需求文档　1054.4　需求的特性　1074.5　建模表示法　1074.5.1　实体—联系图　1084.5.2　例子：UML类图　1094.5.3　事件踪迹　1114.5.4　例子：消息时序图　1124.5.5　状态机　1134.5.6　例子：UML状态图　1144.5.7　例子：Petri网　1164.5.8　数据流图　1184.5.9　例子：用例　1194.5.10　函数和关系　1204.5.11　例子：判定表　1214.5.12　例子：Parnas表　1224.5.13　逻辑　1224.5.14　例子：对象约束语言(OCL)　1244.5.15　例子：Z　1254.5.16　代数规格说明　1264.5.17　例子：SDL数据　1274.6　需求和规格说明语言　1294.6.1　统一建模语言(UML)　1294.6.2　规格说明和描述语言(SDL)　1304.6.3　软件成本降低(SCR)　1314.6.4　需求表示法的其他特征　1314.7　原型化需求　1314.8　需求文档　1334.8.1　需求定义　1334.8.2　需求规格说明书　1344.8.3　过程管理和需求的可跟踪性　1354.9　确认和验证　1364.9.1　需求确认　1364.9.2　验证　1384.10　测量需求　1394.11　选择规格说明技术　1404.12　信息系统的例子　1434.13　实时系统的例子　1454.13.1　本章对单个开发人员的意义　1464.13.2　本章对开发团队的意义　1464.13.3　本章对研究人员的意义　1474.14　学期项目　1474.14.1　前提和假设　1474.14.2　功能的高层描述　1474.14.3　功能需求　1484.14.4　数据约束　1484.14.5　设计和接口约束　1494.14.6　质量需求　1494.15　主要参考文献　1494.16　练习　150第5章　设计系统　1535.1　什么是设计　1535.2　分解和模块化　1555.3　体系结构风格和策略　1575.3.1　管道和过滤器　1585.3.2　面向对象的设计　1585.3.3　隐含调用　1585.3.4　分层　1595.3.5　信息库　1605.3.6　解释器　1605.3.7　过程控制　1615.3.8　其他风格　1625.4　创建设计中的问题　1635.4.1　模块化和抽象层次　1635.4.2　协作的设计　1645.4.3　设计用户界面　1665.4.4　并发性　1685.4.5　设计模式和复用　1695.5　好设计的特性　1705.5.1　构件独立性　1705.5.2　异常标识和处理　1755.5.3　防错和容错技术　1765.6　改进设计技术　1785.6.1　降低复杂性　1785.6.2　按合同设计　1805.6.3　原型化设计　1815.6.4　故障树分析　1825.7　设计的评估和确认　1845.7.1　数学的确认　1845.7.2　测量设计质量　1845.7.3　比较设计　1855.7.4　设计评审　1885.8　文档化设计　1915.9　信息系统的例子　1925.10　实时系统的例子　1935.11　本章对单个开发人员的意义　1945.12　本章对开发团队的意义　1945.13　本章对研究人员的意义　1955.14　学期项目　1955.15　主要参考文献　1955.16　练习　196第6章　细述对象　1976.1　什么是OO　1986.2　OO开发过程　2006.2.1　OO需求　2016.2.2　OO设计　2016.2.3　OO编码和测试　2016.3　用例　2026.4　OO的表示：一个使用UML的例子　2056.5　OO系统设计　2076.6　OO程序设计　2186.6.1　设计助手　2206.6.2　用户界面设计　2206.6.3　数据管理设计　2226.6.4　任务管理设计　2226.7　OO测度　2246.7.1　OO规模测量　2256.7.2　OO设计的测量　2266.7.3　在何处进行OO测度　2306.8　信息系统的例子　2316.9　实时系统的例子　2326.10　本章对单个开发人员的意义　2326.11　本章对开发团队的意义　2336.12　本章对研究人员的意义　2336.13　学期项目　2336.14　主要参考文献　2336.15　练习　234第7章　编写程序　2357.1　编程标准和过程　2357.1.1　对单个开发人员的标准　2367.1.2　对其他开发人员的标准　2367.1.3　设计和实现的匹配　2377.2　编程的指导原则　2377.2.1　控制结构　2377.2.2　算法　2387.2.3　数据结构　2397.2.4　通用性指导原则　2417.3　文档　2447.3.1　内部文档　2447.3.2　外部文档　2477.4　编程过程　2477.4.1　将编程作为问题求解　2477.4.2　极限编程　2487.4.3　结对编程　2497.4.4　编程向何处去　2497.5　信息系统的例子　2507.6　实时系统的例子　2517.7　本章对单个开发人员的意义　2527.8　本章对开发团队的意义　2527.9　本章对研究人员的意义　2527.10　学期项目　2527.11　主要参考文献　2537.12　练习　253第8章　测试程序　2548.1　软件故障和失效　2548.1.1　故障的类型　2558.1.2　正交缺陷分类　2568.2　测试的相关问题　2588.2.1　测试的组织　2588.2.2　对测试的态度　2598.2.3　谁执行测试　2598.2.4　测试对象的视图　2608.3　单元测试　2618.3.1　检查代码　2628.3.2　证明代码正确性　2648.3.3　测试程序构件　2678.3.4　技术比较　2708.4　集成测试　2718.4.1　自底向上集成　2718.4.2　自顶向下集成　2728.4.3　一次性集成　2748.4.4　三明治集成　2748.4.5　集成策略的比较　2758.5　测试面向对象系统　2778.5.1　代码测试　2778.5.2　面向对象测试和传统测试之间的区别　2778.6　测试计划　2798.6.1　计划的目的　2798.6.2　计划的内容　2798.7　自动测试工具　2808.7.1　代码分析工具　2808.7.2　测试执行工具　2818.7.3　测试用例生成器　2828.8　什么时候停止测试　2828.8.1　故障播种　2838.8.2　软件中的可信度　2848.8.3　其他的停止测试的标准　2848.8.4　识别易出故障的代码　2858.9　信息系统的例子　2868.10　实时系统的例子　2868.11　本章对单个开发人员的意义　2878.12　本章对开发团队的意义　2878.13　本章对研究人员的意义　2888.14　学期项目　2888.15　主要参考文献　2888.16　练习　289第9章　测试系统　2919.1　系统测试的原则　2919.1.1　软件故障根源　2919.1.2　系统测试过程　2939.1.3　配置管理　2959.1.4　测试小组　2999.2　功能测试　3009.2.1　目的与职责　3009.2.2　因果图　3019.3　性能测试　3049.3.1　目的和职责　3049.3.2　性能测试的类型　3049.4　可靠性、可用性以及可维护性　3059.4.1　定义　3059.4.2　失效数据　3069.4.3　测量可靠性、可用性和可维护性　3079.4.4　可靠性稳定性和可靠性增长　3089.4.5　可靠性预测　3099.4.6　操作环境的重要性　3119.5　验收测试　3129.5.1　目的和职责　3129.5.2　验收测试的种类　3129.5.3　验收测试的结果　3139.6　安装测试　3149.7　自动化系统测试　3149.8　测试文档　3159.8.1　测试计划　3159.8.2　测试规格说明和评估　3179.8.3　测试描述　3189.8.4　测试分析报告　3209.8.5　问题报告表　3219.9　测试安全攸关的系统　3229.9.1　设计多样性　3249.9.2　软件安全性案例　3259.9.3　净室方法　3279.10　信息系统的例子　3309.11　实时系统的例子　3319.12　本章对单个开发人员的意义　3329.13　本章对开发团队的意义　3329.14　本章对研究人员的意义　3329.15　学期项目　3339.16　主要参考文献　3339.17　练习　333第10章　交付系统　33710.1　培训　33710.1.1　培训的种类　33810.1.2　培训助手　33910.1.3　培训的指导原则　34010.2　文档　34010.2.1　文档的种类　34010.2.2　用户帮助和疑难解答　34410.3　信息系统的例子　34510.4　实时系统的例子　34510.5　本章对单个开发人员的意义　34610.6　本章对开发团队的意义　34610.7　本章对研究人员的意义　34610.8　学期项目　34610.9　主要参考文献　34710.10　练习　347第11章　维护系统　34811.1　变化的系统　34811.1.1　系统的类型　34811.1.2　在系统生命周期过程中发生的变化　35111.1.3　系统生命周期跨度　35111.2　维护的本质　35311.3　维护问题　35611.3.1　人员的问题　35611.3.2　技术问题　35711.3.3　必要的妥协　35811.3.4　维护成本　35811.4　测量维护特性　36111.4.1　可维护性的外部视图　36111.4.2　影响可维护性的内部属性　36211.4.3　其他的产品测量　36411.5　维护技术和工具　36511.5.1　配置管理　36511.5.2　影响分析　36611.5.3　自动化维护工具　36911.6　软件再生　37011.6.1　文档重构　37211.6.2　重组　37211.6.3　逆向工程　37311.6.4　再工程　37411.6.5　软件再生的前景　37511.7　信息系统的例子　37511.8　实时系统的例子　37611.9　本章对单个开发人员的意义　37611.10　本章对开发团队的意义　37711.11　本章对研究人员的意义　37711.12　学期项目　37711.13　主要参考文献　37711.14　练习　377第12章　评估产品、过程和资源　37912.1　评估的方法　37912.1.1　特征分析　37912.1.2　调查　38012.1.3　案例研究　38012.1.4　正式试验　38112.1.5　准备评估　38112.2　选择评估技术　38212.2.1　关键选择因素　38212.2.2　相信什么　38312.3　评价与预测　38512.3.1　确认预测系统　38612.3.2　确认测量　38712.3.3　对确认的紧迫需求　38812.4　评估产品　38812.4.1　产品质量模型　38912.4.2　建立基线和设定目标　39212.4.3　软件可复用性　39312.5　评估过程　39912.5.1　事后分析　40012.5.2　过程成熟度模型　40312.6　评估资源　41012.6.1　人员成熟度模型　41112.6.2　投资回报　41212.7　信息系统的例子　41412.8　实时系统的例子　41412.9　本章对单个开发人员的意义　41412.10　本章对开发团队的意义　41512.11　本章对研究人员的意义　41512.12　学期项目　41512.13　主要参考文献　41512.14　练习　416第13章　改进预测、产品、过程和资源　41713.1　改进预测　41713.1.1　预测的精确性　41713.1.2　处理偏误：u曲线　41813.1.3　处理噪声：prequential似然度　42013.1.4　重新校准预测　42113.2　改进产品　42313.2.1　审查　42413.2.2　复用　42613.3　改进过程　42613.3.1　过程和能力成熟度　42713.3.2　维护　42913.3.3　净室方法　43013.4　改进资源　43113.4.1　工作环境　43213.4.2　成本和进度间的权衡　43313.5　总体改进指导原则　43313.6　信息系统的例子　43413.7　实时系统的例子　43413.8　本章对单个开发人员的意义　43513.9　本章对开发团队的意义　43513.10　本章对研究人员的意义　43513.11　学期项目　43613.12　主要参考文献　43613.13　练习　436第14章　软件工程的未来　43714.1　已经取得的进展　43714.1.1　Wasserman的获得成熟度的措施　43714.1.2　当前要做的工作　43914.2　技术转移　43914.2.1　现在我们怎样做出技术转移的决策　44014.2.2　在技术决策中使用证据　44014.2.3　支持技术决策的证据　44114.2.4　对证据的进一步讨论　44114.2.5　技术转移的新模型　44314.2.6　改进技术转移的下一步　44414.3　软件工程中的决策　44414.3.1　大量的决策　44514.3.2　群体决策　44614.3.3　我们实际上如何决策　44714.3.4　群体实际上如何决策　44914.3.5　一个适度的观察研究　45014.3.6　获得的经验教训　45214.4　软件工程的职业化：执照发放、认证和伦理　45314.4.1　将重点放在人员上　45314.4.2　软件工程教育　45414.4.3　软件工程知识体系　45514.4.4　给软件工程师颁发执照　45714.4.5　认证　46014.4.6　伦理守则　46214.4.7　职业发展　46314.4.8　研究和实践的进一步发展　46414.5　学期项目　46514.6　主要参考文献　46514.7　练习　465参考文献注解(图灵网站下载)索引(图灵网站下载)