新书推荐 |《软件架构理论与实践》

新书推荐

《软件架构理论与实践》

点击上图了解及购买

从软件架构基础理论方法到技术手段，从设计开发实践到质量保障实践，从静态软件架构到动态软件架构等。

编辑推荐

1. 理论与实践相结合：不仅详细地介绍了软件架构的基础理论方法、技术和手段，还结合作者的经验介绍了大量工程实践案例。

2. 架构质量和软件质量相结合：不仅详细地介绍了软件架构的质量保障问题，还详细介绍了架构质量和软件质量的关系。

3. 过去、现在和未来相结合：不仅详细地介绍了软件架构发展的过去和现在，还探讨了软件架构的前沿研究主题、业界关注点以及可能未来。

内容简介

本书是一本全面介绍SA的书，从SA发展历史的过去、现在到可能的未来，从SA的基础理论方法到技术手段，从SA的设计开发实践到质量保障实践，以及从静态SA到动态SA、再到运行态SA，等等。涵盖了SA涉及到的几乎所有必要的知识点。本书包括三个篇章：其中，基础理论篇包含7章内容，详细介绍SA的基础理论方法、技术和手段；工程实践篇包含10章内容，详细介绍SA的开发实践和质量保障实践；未来主题篇包含6章内容，详细介绍SA的最新研究主题、*新业界关注点以及SA未来发展趋势分析等。

作者简介

李必信

中国计算机学会软件工程专委会委员、容错计算专委会常务委员、江苏省计算机学会软件专委会副主任。2004年2月至今一直在东南大学计算机科学与工程学院任教。主要讲授的研究生课程有软件开发方法与技术、算法设计与分析、高级软件工程等。研究方向为软件架构建模、分析、测试与验证，软件系统演化及软件质量保证等。从1999年开始，主持各类项目30多项, 先后在《IEEE Transactions on Network and Service Management》《ACM Computing Surveys》《Software Testing, Verification and Reliability》《Science in China》《Journal of Computer Science and Technology》《软件学报》《计算机学报》《计算机研究与发展》等国内外著名期刊和ICSE、FSE、ASE等重要国际会议发表学术论文150余篇，出版专著3部，授权发明专利32项。论文被SCI/EI收录140多篇次，被他人引用累计超过2500篇次。他还曾获得2011年度的中创软件人才奖和2014年高校科学研究优秀成果奖自然科学二等奖（排名第一）。

目录

前言

教学建议

上篇　基础理论篇

第1章　软件架构概述 …… 2

1.1　软件架构产生的背景 …… 2

1.2　软件架构的主要思想和特征 …… 3

1.2.1　软件架构的主要思想 …… 3

1.2.2　软件架构的特征 …… 3

1.3　软件架构的发展阶段 …… 4

1.3.1　基础研究阶段（1968—1994） …… 4

1.3.2　概念体系和核心技术形成阶段（1991—2000） …… 6

1.3.3　理论体系完善与发展阶段（1996年至今） …… 7

1.3.4　普及应用阶段（1999年至今） …… 7

1.4　软件架构研究和应用现状 …… 7

1.4.1　软件架构理论和方法研究 …… 8

1.4.2　软件架构的应用研究 …… 11

1.5　本章小结 …… 13

思考题 …… 13

参考文献 …… 14

第2章　软件架构的概念 …… 17

2.1　引言 …… 17

2.2　组成派的主要定义 …… 18

2.3　决策派的主要定义 …… 19

2.4　其他定义 …… 20

2.5　参考定义框架 …… 20

2.6　本章小结 …… 21

思考题 …… 22

参考文献 …… 22

第3章　软件架构模型 …… 23

3.1　引言 …… 23

3.2　软件架构的可视化建模方法 …… 24

3.2.1　基于图形可视化的建模方法 …… 24

3.2.2　基于UML的建模方法 …… 25

3.3　软件架构的形式化建模方法 …… 31

3.3.1　基于形式化规格说明语言的建模方法 …… 32

3.3.2　基于UML的形式化建模方法 …… 36

3.4　其他建模方法 …… 45

3.4.1　文本语言建模方法 …… 45

3.4.2　模型驱动的架构建模方法 …… 47

3.5　软件架构建模方法的发展趋势分析 …… 49

3.5.1　第1层：文本模型 …… 50

3.5.2　第2层：图形可视化模型 …… 50

3.5.3　第3层：UML模型 …… 50

3.5.4　第4层：形式化模型 …… 51

3.5.5　第5层：未来模型 …… 52

3.6　本章小结 …… 52

思考题 …… 53

参考文献 …… 53

第4章　软件架构的风格与模式 …… 59

4.1　软件架构风格的定义 …… 59

4.2　软件架构风格的分类 …… 60

4.3　典型的软件架构风格 …… 60

4.3.1　管道-过滤器风格 …… 60

4.3.2　主程序/子程序风格 …… 62

4.3.3　面向对象风格 …… 64

4.3.4　层次化风格 …… 65

4.3.5　事件驱动风格 …… 67

4.3.6　解释器风格 …… 69

4.3.7　基于规则的系统风格 …… 71

4.3.8　仓库风格 …… 73

4.3.9　黑板系统风格 …… 75

4.3.10　C2风格 …… 77

4.3.11　客户机/服务器风格 …… 79

4.3.12　浏览器/服务器风格 …… 83

4.3.13　平台/插件风格 …… 85

4.3.14　面向Agent风格 …… 87

4.3.15　面向方面架构风格 …… 91

4.3.16　面向服务架构风格 …… 93

4.3.17　正交架构风格 …… 95

4.3.18　异构风格 …… 97

4.3.19　基于层次消息总线的架构风格 …… 99

4.3.20　模型-视图-控制器风格 …… 101

4.4　软件架构模式 …… 103

4.5　本章小结 …… 103

思考题 …… 104

参考文献 …… 104

第5章　软件架构描述语言 …… 107

5.1　引言 …… 107

5.2　ADL的核心设计元素 …… 107

5.2.1　组件 …… 108

5.2.2　连接件 …… 108

5.2.3　架构配置 …… 109

5.3　几种典型的ADL …… 109

5.3.1　Aesop …… 109

5.3.2　C2 SADL …… 110

5.3.3　UniCon …… 114

5.3.4　Wright …… 116

5.3.5　XYZ/ADL …… 117

5.3.6　ACME …… 118

5.3.7　XBA …… 118

5.3.8　ABC/ADL …… 120

5.3.9　MetaH …… 121

5.3.10　Rapide …… 121

5.3.11　Darwin …… 122

5.3.12　xADL 2.0 …… 122

5.4　本章小结 …… 123

思考题 …… 123

参考文献 …… 123

第6章　软件架构与敏捷开发 …… 125

6.1　软件开发的发展简史 …… 125

6.2　敏捷开发 …… 127

6.2.1　敏捷开发的基本理念 …… 127

6.2.2　敏捷开发实践 …… 128

6.3　敏捷开发过程中的软件架构设计 …… 130

6.3.1　需求分析 …… 130

6.3.2　初始设计 …… 130

6.3.3　迭代过程 …… 130

6.3.4　敏捷的设计思想 …… 131

6.4　两类常见的敏捷软件架构设计方法 …… 132

6.4.1　敏捷开发初始阶段设计 …… 133

6.4.2　敏捷开发迭代过程中的设计 …… 134

6.5　本章小结 …… 136

思考题 …… 137

参考文献 …… 137

中篇　工程实践篇

第7章　架构驱动的软件开发 …… 140

7.1　架构驱动的软件开发简介 …… 140

7.2　架构需求获取 …… 140

7.3　架构设计、文档化和评估 …… 144

7.3.1　架构设计、文档化和评估是一个迭代过程 …… 144

7.3.2　什么是架构的结构 …… 147

7.3.3　从架构需求出发的评估 …… 148

7.3.4　寻找ATAM中的“权衡点”和“敏感点” …… 149

7.4　架构的实现与维护 …… 151

7.4.1　架构的实现 …… 151

7.4.2　架构的维护 …… 152

7.5　本章小结 …… 152

思考题 …… 152

参考文献 …… 153

第8章　软件架构设计和实现 …… 154

8.1　从需求分析到架构设计 …… 154

8.1.1　软件架构对需求的影响 …… 155

8.1.2　基于软件需求的软件架构设计 …… 156

8.1.3　需求与架构的协同演化 …… 163

8.2　从软件架构到详细设计 …… 163

8.2.1　详细设计对软件架构的影响 …… 164

8.2.2　从软件架构映射到详细设计 …… 166

8.2.3　软件架构视图 …… 168

8.3　软件架构设计原则 …… 169

8.3.1　架构设计的一些基本原则 …… 169

8.3.2　架构设计的关键原则 …… 170

8.4　软件架构设计面临的主要威胁及对策 …… 171

8.4.1　被忽略的重要非功能需求 …… 171

8.4.2　频繁变化的需求 …… 172

8.4.3　考虑不全面的架构设计 …… 172

8.4.4　不及时的架构验证 …… 173

8.4.5　较高的创造性架构比重 …… 173

8.4.6　架构的低可执行性 …… 174

8.5　本章小结 …… 174

思考题 …… 174

参考文献 …… 174

第9章　软件架构的演化和维护 …… 178

9.1　软件架构演化和软件架构定义的关系 …… 179

9.1.1　对象演化 …… 179

9.1.2　消息演化 …… 180

9.1.3　复合片段演化 …… 184

9.1.4　约束演化 …… 186

9.2　软件架构演化方式的分类 …… 186

9.2.1　软件架构静态演化 …… 187

9.2.2　软件架构动态演化 …… 190

9.3　软件架构演化原则 …… 197

9.4　软件架构维护 …… 201

9.4.1　软件架构知识管理 …… 201

9.4.2　软件架构修改管理 …… 202

9.4.3　软件架构版本管理 …… 202

9.5　本章小结 …… 202

思考题 …… 203

参考文献 …… 203

第10章　软件架构恢复 …… 207

10.1　引言 …… 207

10.1.1　软件架构的恢复过程 …… 208

10.1.2　架构信息提取 …… 208

10.1.3　架构恢复技术 …… 209

10.2　架构信息提取 …… 212

10.2.1　相关定义 …… 212

10.2.2　从源代码提取架构信息 …… 212

10.2.3　从编译构建过程提取架构信息 …… 215

10.2.4　从目录层次提取架构信息 …… 217

10.2.5　基于架构文档的架构信息提取 …… 219

10.3　基于多规则聚类的架构恢复 …… 220

10.3.1　聚类理论基础 …… 220

10.3.2　架构恢复流程 …… 222

10.3.3　具体恢复技术 …… 223

10.4　本章小结 …… 232

思考题 …… 233

参考文献 …… 233

第11章　软件架构质量 …… 237

11.1　引言 …… 237

11.2　软件架构与质量属性 …… 239

11.3　软件架构质量指标 …… 240

11.3.1　内部质量指标 …… 240

11.3.2　外部质量指标 …… 243

11.4　软件架构质量保障和评估方法 …… 245

11.4.1　评估准备 …… 246

11.4.2　利益相关者 …… 247

11.4.3　参与者 …… 248

11.4.4　评估时机 …… 249

11.4.5　评估技术 …… 250

11.4.6　软件架构评估的收益与成本 …… 253

11.5　本章小结 …… 254

思考题 …… 254

参考文献 …… 254

第12章　软件架构仿真 …… 256

12.1　软件仿真的概念 …… 256

12.1.1　连续型仿真 …… 256

12.1.2　离散型仿真 …… 257

12.1.3　混合型仿真 …… 257

12.2　软件架构仿真流程 …… 258

12.3　UML软件架构仿真 …… 259

12.3.1　基于UML类图和顺序图的软件架构仿真 …… 259

12.3.2　基于UML用例图和活动图的软件架构仿真 …… 259

12.3.3　从带有注释的UML图产生OPNET仿真模型 …… 260

12.4　非UML软件架构仿真 …… 261

12.4.1　SASIM仿真：用于系统功能分析 …… 261

12.4.2　面向对象数据库的架构仿真 …… 263

12.5　软件架构仿真实践 …… 264

12.5.1　软件架构描述文档 …… 264

12.5.2　SSD和SD转化为事件执行图 …… 266

12.5.3　局部仿真和整体仿真 …… 269

12.5.4　仿真结果的分析 …… 275

12.6　本章小结 …… 276

思考题 …… 276

参考文献 …… 277

第13章　软件架构度量和评估 …… 279

13.1　引言 …… 279

13.1.1　单版本的软件架构度量和评估 …… 280

13.1.2　多版本的软件架构度量和评估 …… 281

13.2　典型的软件架构度量和评估方法 …… 283

13.2.1　SAEM方法 …… 283

13.2.2　SAABNet方法 …… 283

13.2.3　SACMM方法 …… 285

13.2.4　SASAM方法 …… 287

13.2.5　ALRRA方法 …… 288

13.2.6　AHP方法 …… 290

13.2.7　COSMIC+UML方法 …… 291

13.2.8　基于Shannon信息论的方法 …… 292

13.3　软件架构度量和评估过程 …… 293

13.3.1　质量属性选择 …… 293

13.3.2　软件架构可维护性度量及评估 …… 294

13.3.3　软件架构可靠性度量及评估 …… 297

13.4　软件架构演化度量和评估实践 …… 302

13.4.1　演化过程已知的软件架构演化评估 …… 302

13.4.2　演化过程未知的软件架构演化评估 …… 305

13.4.3　实例分析 …… 305

13.5　本章小结 …… 313

思考题 …… 313

参考文献 …… 313

第14章　软件架构形式化验证 …… 317

14.1　引言 …… 317

14.2　形式化验证 …… 317

14.2.1　形式语义 …… 318

14.2.2　规约语言 …… 318

14.2.3　求精分析 …… 319

14.2.4　验证方法 …… 320

14.2.5　形式化验证方法的优缺点 …… 320

14.3　软件架构验证 …… 322

14.3.1　静态软件架构验证 …… 322

14.3.2　动态软件架构验证 …… 323

14.3.3　运行态软件架构验证 …… 323

14.4　基于SPIN的静态软件架构验证实践 …… 324

14.4.1　SPIN简介 …… 324

14.4.2　基于SPIN的验证过程 …… 325

14.4.3　架构模型 …… 326

14.4.4　验证模型 …… 332

14.4.5　验证结果 …… 334

14.5　架构演化验证案例分析——以MVC为例 …… 335

14.5.1　演化案例 …… 335

14.5.2　场景1演化评估 …… 337

14.5.3　场景2演化评估 …… 341

14.6　本章小结 …… 344

思考题 …… 345

参考文献 …… 345

第15章　软件架构分析与测试 …… 347

15.1　引言 …… 347

15.2　软件架构分析方法 …… 347

15.2.1　SAAM …… 348

15.2.2　SAAMCS …… 350

15.2.3　ESAAMI …… 351

15.2.4　SAAMER …… 352

15.2.5　ATAM …… 352

15.2.6　QAW …… 356

15.2.7　OATAM …… 358

15.2.8　ARID …… 358

15.2.9　SBAR …… 361

15.2.10　ALPSM …… 362

15.2.11　SNA …… 362

15.2.12　ALMA …… 363

15.2.13　PSAEM …… 364

15.2.14　ASAAM …… 365

15.2.15　PASA …… 365

15.2.16　SALUTA …… 367

15.2.17　HoPLAA …… 368

15.2.18　CBAM …… 370

15.2.19　CPASA …… 370

15.3　软件架构测试 …… 371

15.4　本章小结 …… 371

思考题 …… 372

参考文献 …… 372

第16章　软件架构重构 …… 375

16.1　引言 …… 375

16.2　软件重构现状 …… 376

16.2.1　软件重构概念 …… 376

16.2.2　重构点识别和定位方法 …… 376

16.2.3　重构实施技术 …… 379

16.2.4　现状分析 …… 380

16.3　基于度量的软件架构重构 …… 381

16.3.1　软件架构度量评估 …… 382

16.3.2　产生重构需求 …… 385

16.3.3　分析重构需求 …… 385

16.3.4　建议重构操作 …… 387

16.3.5　实施重构操作 …… 389

16.4　面向模式的软件架构重构 …… 392

16.4.1　模式选择 …… 392

16.4.2　重构点定位 …… 393

16.4.3　重构实施 …… 394

16.5　本章小结 …… 397

思考题 …… 398

参考文献 …… 398

下篇　未来主题篇

第17章　软件架构的腐蚀和对策 …… 402

17.1　引言 …… 402

17.2　软件架构腐蚀的含义 …… 403

17.3　软件架构腐蚀的预防控制策略 …… 403

17.3.1　腐蚀最小化方法 …… 403

17.3.2　腐蚀预防方法 …… 406

17.3.3　腐蚀修补方法 …… 407

17.4　软件架构实践中面临的主要威胁及其对策 …… 408

17.4.1　主要威胁 …… 408

17.4.2　有效对策 …… 409

17.5　本章小结 …… 409

思考题 …… 409

参考文献 …… 409

第18章　软件架构解耦 …… 412

18.1　引言 …… 412

18.2　分层架构及其解耦 …… 413

18.2.1　模式描述 …… 413

18.2.2　架构解耦 …… 413

18.2.3　实例分析 …… 414

18.3　微内核架构及其解耦 …… 414

18.3.1　模式描述与解耦 …… 415

18.3.2　实例分析 …… 415

18.4　微服务架构及其解耦 …… 416

18.4.1　模式描述与解耦 …… 416

18.4.2　设计原则 …… 417

18.4.3　实例分析 …… 417

18.5　黑板架构风格及其解耦 …… 418

18.6　干净架构及其解耦 …… 419

18.6.1　模式描述 …… 419

18.6.2　架构解耦 …… 421

18.7　管道-过滤器风格及其解耦 …… 421

18.7.1　模式描述与解耦 …… 421

18.7.2　实例分析 …… 422

18.8　基于元模型的架构及其解耦 …… 422

18.9　REST架构风格及其解耦 …… 422

18.10　本章小结 …… 424

思考题 …… 424

参考文献 …… 424

第19章　软件架构技术债 …… 426

19.1　引言 …… 426

19.2　技术债简介 …… 426

19.2.1　技术债的定义 …… 426

19.2.2　技术债的分类 …… 427

19.2.3　技术债的产生 …… 428

19.3　设计债 …… 429

19.3.1　设计债的定义 …… 429

19.3.2　设计债的识别方法 …… 429

19.3.3　架构技术债 …… 430

19.4　代码债 …… 432

19.5　测试债 …… 432

19.6　文档债 …… 433

19.7　技术债的处理 …… 433

19.7.1　发现技术债 …… 433

19.7.2　管理技术债 …… 433

19.7.3　偿还技术债 …… 435

19.8　本章小结 …… 435

思考题 …… 435

参考文献 …… 436

第20章　软件架构坏味道 …… 438

20.1　引言 …… 438

20.2　典型的代码坏味道 …… 439

20.2.1　应用级坏味道 …… 439

20.2.2　类级坏味道 …… 440

20.2.3　方法级坏味道 …… 441

20.3　典型的设计坏味道 …… 442

20.3.1　架构坏味道 …… 442

20.3.2　架构坏味道的检测 …… 447

20.4　本章小结 …… 450

思考题 …… 451

参考文献 …… 451

第21章　软件架构脆弱性 …… 453

21.1　引言 …… 453

21.2　什么是软件脆弱性 …… 453

21.2.1　软件脆弱性定义 …… 453

21.2.2　软件脆弱性的特点和产生的原因 …… 454

21.2.3　软件脆弱性的生命周期 …… 455

21.3　典型的软件架构脆弱性 …… 455

21.3.1　分层架构 …… 456

21.3.2　C/S架构 …… 457

21.3.3　B/S架构 …… 457

21.3.4　事件驱动架构 …… 458

21.3.5　MVC架构 …… 460

21.3.6　微内核架构 …… 461

21.3.7　管道-过滤器架构 …… 461

21.3.8　黑板模式架构 …… 462

21.3.9　微服务架构 …… 462

21.3.10　基于空间的架构 …… 463

21.3.11　PAC架构 …… 464

21.4　本章小结 …… 465

思考题 …… 466

参考文献 …… 466

第22章　软件架构模式识别 …… 468

22.1　引言 …… 468

22.2　模式识别方法现状 …… 468

22.2.1　设计模式识别现状 …… 468

22.2.2　架构模式识别现状 …… 469

22.3　两种典型的架构模式识别方法 …… 470

22.3.1　IDAPO方法 …… 470

22.3.2　基于DSL的架构模式识别方法 …… 472

22.4　基于本体的架构模式识别方法 …… 473

22.4.1　可行性分析 …… 473

22.4.2　识别过程 …… 474

22.4.3　典型步骤 …… 475

22.5　本章小结 …… 481

思考题 …… 481

参考文献 …… 481

第23章　结束语 …… 484

23.1　软件架构是早期阶段质量保障的基础 …… 484

23.2　软件架构的作用 …… 485

23.2.1　好的架构设计能够满足系统的多种品质 …… 485

23.2.2　架构设计能够使利益相关者达成一致的目标 …… 485

23.2.3　架构设计能够支持计划编制过程 …… 485

23.2.4　架构设计能够有效地管理复杂性 …… 486

23.2.5　架构设计为重用奠定了基础 …… 486

23.2.6　架构设计能够降低维护费用 …… 487

23.2.7　架构设计能够支持冲突分析 …… 487

23.2.8　架构设计的其他作用 …… 487

23.3　软件架构发展趋势 …… 487

思考题 …… 489

参考文献 …… 489