Risk Management

副标题:无

作   者:刘伟华译

分类号:

ISBN:9787800733833

微信扫一扫,移动浏览光盘

简介

   作者在本书的第5版讨论了该领域最新的话题并针对教学进行了修改。新增加的“如何实现”这部分总结了重要的技巧、新大纲、新要点以及更加具体的案例研究,突出了教学上的改进,增强了实用性。    为便于学生阅读,作者将本书分成两个部分:第1部分论述了软件工程的理论基础,第2部分阐述了生命周期的各个阶段。第2部分的主要特性是通过案例研究描述了所用的技巧。在第5版中,作者对连续的案例研究进行了更加详细的说明,以使学生更好地理解如何在实际中应用所学的技巧。给出的研究课题需要学生对案例研究进行修改,使学生能在干中学。   

目录

preface xv

part 1 introduction to software engineering 1

chapter 1 the scope of software engineering 3

l.l historical aspects 4

l.2 economic aspects 7

l.3 maintenance aspects 8

l.4 specification and design aspects l3

l.5 team programming aspects 15

1.6 the object-oriented paradigm l7

l.7 terminology 2l

chapter review 23

for further reading 24

problems 25

references 26


chapter 2 the software process 30

2.1 client, developer, and user 32

2.2 requirements phase 33

2.2.l requirements phase testing 34

2.2.2 requirements phase documentation 35

.2.3 specification phase 35

2.3.l specification phase testing 37

2.3.2 specification phase documentation 38

2.4 design phase 38

2.4.l design phase testing 39

2.4.2 design phase documentation 40

2.5 implementation phase 40

2.5.l implementation phase testing 40

2.5.2 implementation phase documentation 40

2.6 integration phase 41

2.6.l integration phase testing 4l

2.6.2 integration phase documentation 42

2.7 maintenance phase 42

2.7.l maintenance phase testing 43

2.7.2 maintenance phase documentation 43

2.8 retirement 43

2.9 problems with software production: essence and accidents 44

2.9.l complexity 45

2.9.2 conformity 47

2.9.3 changeability 48

2.9.4 invisibility 49

2.9.5 no si1verbullet? 50

2.l0 improving the software process 5l

2.l1 capability maturity models 5l

2.l2 other software process improvement initiatives 54

2.l3 costs and benefits of software process improvement 55

chanter review 57

for further reading 58

problems 59

references 60


chapter 3 software life-cycle models 64

3.l build-and-fix model 64

3.2 waterfall model 65

3.2.l analysis of the waterfall model 68

3.3 rapid prototyping model 70

3.3.l integrating the waterfall and rapid prototyping models 7l

3.4 incremental model 72

3.4.l analysis of the incremental model 73

3.5 extreme programming 75

3.6 synchronize-and-stabilize model 77

3.7 spiral model 78

3.7.l analysis of the spiral model 82

3.8 object-oriented life-cycle models 82

3.9 comparison of life-cycle models 84

chapter review 86

for further reading 86

problems 87

references 87


chapter 4 teams 90

4.l team organization 90

4.2 democratic team approach 92

4.2.l analysis of the democratic team approach 93

4.3 classical chief programmer team approach 93

4.3.l the new york times project 95

4.3.2 impracticality of the classical chief

programmer team approach 96

4.4 beyond chief programmer and democratic teams 97

4.5 synchronize-and-stabilize teams l0l

4.6 extreme programming teams l02

chapter review l03

for further reading 104

problems l04

references l05


chapter 5 the tools of the trade 106

5.l stepwise refinement 106

5.l.l stepwise refinement example l07

5.2 cost-benefit analysis ll3

5.3 software metrics ll4

5.4 case ll5

5.5 taxonomy of case ll6

5.6 scope of case ll8

5.7 software versions l22

5.7.l revisions l22

5.7.2 variations l23

5.8 configuration control l24

5.8.l configuration control during product maintenance l26

5.8.2 baselines l27

5.8.3 configuration control during product development l27

5.9 build tools 128

5.l0 productivity gains with case technology l29

chapter review l3l

for further reading l3l

problems l32

references l33


chapter 6 testing 136

6.l quality issues l37

6.l.l software quality assurance l37

6.l.2 managerial independence l38

6.2 nonexecution-based testing l39

6.2.l walkthroughs l39

6.2.2 managing walkthroughs l40

6.2.3 inspections l4l

6.2.4 comparison of inspections and walkthroughs l43

6.2.5 strengths and weaknesses of reviews l44

6.2.6 metrics for inspections l44

6.3 execution-based testing l45

6.4 what should be tested? l45

6.4.l utility l46

6.4.2 reliability l47

6.4.3 robustness l47

6.4.4 performance l48

6.4.5 correctness l49

6.5 testing versus correctness proofs l5l

6.5.l example of a correctness proofs l5l

6.5.2 correctness proof case study l54

6.5.3 correctness proof and software engineering l55

6.6 who should perform execution-based testing? l58

6.7 when testing stops 160

chapter review l60

for further reading l6l

problems l62

references 164


chapter 7 from modules to objects 167

7.l what is a module? l67

7.2 cohesion l7l

7.2.l coincidental cohesion l7l

7.2.2 logical cohesion l72

7.2.3 temporal cohesion l73

7.2.4 procedural cohesion l74

7.2.5 communicational cohesion l74

7.2.6 functional cohesion l75

7.2.7 informational cohesion l75

7.2.8 cohesion example l76

7.3 coupling 177

7.3.l content coupling l78

7.3.2 common coupling l78

7.3.3 control coupling l80

7.3.4 stamp coupling l80

7.3.5 data coupling l82

7.3.6 coupling example l82

7.3.7 the importance of coupling l82

7.4 data encapsulation l84

7.4.l data encapsulation and product development l86

7.4.2 data encapsulation and product maintenance l88

7.5 abstract data types l94

7.6 infromation hiding l95

7.7 objects l98

7.8 inheritance, polymorphism, and dynamic binding 20l

7.9 cohesion and coupling of objects 203

7.l0 the object-oriented paradigm 204

chapter review 207

for further reading 207

problems 208

references 209


chapter 8 reusability portability, and interoperability 212

8.l reuse concepts 2l2

8.2 impediments to reuse 2l4

8.3 reuse case studies 216

8.3.l raytheon missi1e systems division 2l6

8.3.2 toshiba software factory 2l7

8.3.3 nasa software 2l8

8.3.4 gte data services 2l9

8.3.5 hewlett-packard 220

8.3.6 european space agency 22l

8.4 objects and reuse 222

8.5 reuse during the design and implementation phases 222

8.5.l design reuse 222

8.5.2 application frameworks 224

8.5.3 design patterns 225

8.5.4 software architecture 229

8.6 reuse and maintenance 230

8.7 portability 23l

8.7.l ware incompatibilities 232

8.7.2 operating systems incompatibilities 233

8.7.3 numerical software incompatibilities 233

8.7.4 compiler incompatibilities 235

8.8 why portability? 239

8.9 techniques for achieving portability 240

8.9.l portable system software 240

8.9.2 portable application software 24l

8.9.3 portable data 242

8.l0 interoperability 243

8.l0.l com 243

8.l0.2 corba 244

8.l0.3 comparing com and corba 245

8.ll future trends in interoperability 245

chapter review for further reading 247

problems 248

references 250


chapter 9 planning and estimating 257

9.l planning and the software process 257

9.2 estimating duration and cost 259

9.2.l metrics for the size of a product 260

9.2.2 techniques of cost estimation 264

9.2.3 intermediate cocomo 267

9.2.4 cocomo ii 270

9.2.5 tracking duration and cost estimates 272

9.3 components of a software project management plan 272

9.4 software project management plan framework 274

9.5 ieee software project management plan 274

9.6 planning testing 278

9.7 planning object-oriented projects 279

9.8 training requirements 280

9.9 documentation standards 281

9.l0 case tools for planning and estimating 282

9.ll testing the software project management plan 282

chapter review 283

for further reading 283

problems 284

references 285


part 2 the phases of the software life cycle 289

chapter 1o requirements phase 290

l0.l requirements elicitation 29l

l0.l.l interviews 29l

l0.l.2 scenarios 292

l0.l.3 other requirements elicitation techniques 293

l0.2 requirements analysis 294

l0.3 rapid prototyping 294

l0.4 human factors 296

l0.5 rapid prototyping as a specification technique 298

l0.6 reusing the rapid prototype 300

l0.7 management implications of the rapid prototyping model 302

l0.8 experiences with rapid prototyping 304

l0.9 techniques for requirements elicitation and analysis 305

l0.l0 testing during the requirements phase 305

10.ll case tools for the requirements phase 306

l0.l2 metrics for the requirements phase 307

10.l3 object-oriented requirements? 308

10.l4 air gourmet case study: requirements phase 308

10.l5 air gourmet case study: rapid prototype 3ll

l0.l6 challenges of the requirements phase 3l3

chapter review 3l5

for further reading 3l5

problems 316

references 3l7


chapter 11 specification phase 319

ll.l the specification document 3l9

ll.2 informal specifications 32l

ll.2.l case study: text processing 322

ll.3 structured systems analysis 323

1l.3.l sally's software shop 323

l1.4 other semiformal techniques 33l

ll.5 entity-relationship modeling 332

1l.6 finite state machines 335

ll.6.l elevator problem: finite state machines 336

ll.7 petri nets 34l

ll.7.l elevator problem: petri nets 343

ll.8 z 346

ll.8.l elevator problem: z 347

ll.8.2 analysis of z 349

ll.9 other formal techniques 35l

ll.l0 comparison of specification techniques 352

ll.ll testing during the specification phase 353

ll.l2 case tools for the specification phase 354

ll.l3 metrics for the specification phase 355

ll.l4 air gourmet case study: structured systems analysis 355

ll.l5 air gourmet case study: software project management plan 357

ll.l6 challenges of the specification phase 358

chapter review 358

for further reading 359

problems 360

references 362


chapter 12 object-oriented analysis phase 366

l2.l object-oriented analysis 366

l2.2 elevator problem: object-oriented analysis 369

l2.3 use-case modeling 369

l2.4 class modeling 37l

l2.4.l noun extraction 372

l2.4.2 crc cards 374

l2.5 dynamic modeling 375

l2.6 testing during the object-oriented analysis phase 378

l2.7 case tools for the object-oriented analysis phase 383

l2.8 air gourmet case study: object-oriented analysis 383

l2.9 challenges of the object-oriented analysis phase 390

chapter review 39l

for further reading 39l

problems 392

references 393


chapter 13 design phase 395

l3.l design and abstraction 395

l3.2 action-oriented design 396

l3.3 data flow analysis 397

l3.3.l data flow analysis example 398

l3.3.2 extensions 402

13.4 transaction analysis 403

13.5 data-oriented design 406

l3.6 object-oriented design 406

l3.7 elevator problem: object-oriented design 407

13.8 formal techniques for detailed design 415

l3.9 real-time design techniques 4l6

l3.10 testing during the design phase 4l8

13.l1 case tools for the design phase 4l8

l3.l2 metrics for the design phase 4l9

l3.13 air gourmet case study: object-oriented design 420

l3.l4 challenges of the design phase 429

chapter review 429

for further reading 430

problems 43l

references 43l


chapter 14 implementation phase 434

14.l choice of programming language 434

l4.2 fourth-generation languages 437

l4.3 good programming practice 440

l4.4 coding standards 445

l4.5 module reuse 446

l4.6 module test case selection 447

l4.6.l testing to specifications versus testing to code 447

l4.6.2 feasibility of testing to specifications 447

l4.6.3 feasibility of testing to code 448

l4.7 black-box module-testing techniques 451

l4.7.l equivalence testing and boundary value analysis 45l

l4.7.2 functional testing 452

l4.8 glass-box module-testing techniques 454

l4.8.l structural testing: statement, branch, and path coverage 454

l4.8.2 complexity metrics 456

l4.9 code walkthroughs and inspections 458

l4.l0 comparison of module-testing techniques 458

l4.ll cleanroom 459

l4.12 potential problems when testing objects 460

l4.l3 management aspects of module testing 463

l4.l4 when to rewrite rather than debug a module 463

l4.l5 case tools for the implementation phase 465

l4.l6 air gourmet case study: black-box test cases 465

l4.l7 challenges of the implementation phase 467

chapter review 467

for further reading 468

problems 469

references 470


chapter 15 implementation and integration phase 474

l5.l introduction to implementation and integration 474

l5.l.l top-down implementation and integration 475

l5.l.2 bottom-up implementation and integration 477

l5.l.3 sandwich implementation and integration 478

l5.l.4 implementation and integration of object-oriented products 480

l5.l.5 management issues during the implementation and integration phase 480

l5.2 testing during the implementation and integration phase 48l

l5.3 integration testing of graphical user interfaces 48l

l5.4 product testing 482

l5.5 acceptance testing 483

l5.6 case tools for the implementation and integration phase 484

l5.6 case tools for the complete software process 484

l5.8 integrated environments 485

l5.9 environments for business applications 486

l5.l0 public tool infrastructures 487

l5.ll potential problems with environments 487

l5.l2 metrics for the implementation and integration phase 488

l5.l3 air gourmet case study: implementation and integration phase 488

l5.l4 challenges of the implementation and integration phase 489

chapter review 489

for further reading 490

problems 490

references 492


chapter 16 maintenance phase 493

16.1 why maintenance is necessary 493

16.2 what is required of maintenance programmers 494

l6.3 maintenance case study 497

l6.4 management of maintenance 498

l6.4.l fault reports 498

l6.4.2 authorizing changes to the product 499

l6.4.3 ensuring maintainability 500

l6.4.4 problem of repeated maintenance 500

l6.5 maintenance of object-oriented software 501

l6.6 maintenance skills versus development skills 504

l6.7 reverse engineering 505

16.8 testing during the maintenance phase 506

l6.9 case tools for the maintenance phase 507

l6.l0 metrics for the maintenance phase 507

l6.l1 air gourmet case study: maintenance phase 508

16.l2 challenges of the maintenance phase 508

chapter review 509

for further reading 509

problems 510

references 51l


appendix a broadlands area children's hospital 513

appendix b software engineering resources 518

appendix c air gourmet case study: c rapid prototype 520

appendix d air gourmet case study: java rapid prototype 521

appendix e air gourmet case study: structured systems analysis 522

appendix f air gourmet case study: software project management plan 529

appendix g air gourmet case study: object-object-oriented analysis 534

appendix h air gourmet case study: design for c++ implementation 535

appendix i air gourmet case study: design for java implementation 560

appendix j air gourmet case study: black-box test cases 582

appendix k air gourmet case study: c++ source code 588

appendix l air gourmet case study: java source code 589


bibliography 590

author index 617

subject index 623


已确认勘误

次印刷

页码 勘误内容 提交人 修订印次

Risk Management
    • 名称
    • 类型
    • 大小

    光盘服务联系方式: 020-38250260    客服QQ:4006604884

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon