軟件需求工程方法與實(shí)踐

目錄

第1章軟件需求工程概述

1.1什么是軟件需求工程

1.1.1軟件需求案例

1.1.2軟件需求開發(fā)

1.1.3軟件需求工程任務(wù)抽象

1.2需求工程為什么有用

1.2.1功能需求與非功能需求

1.2.2需求干系人

1.2.3為什么需要需求工程

1.3為什么強(qiáng)調(diào)環(huán)境

1.4軟件需求工程是否需要方法學(xué)支撐

1.4.1需求開發(fā)的復(fù)雜性

1.4.2方法學(xué)的作用

1.5本書導(dǎo)讀

參考文獻(xiàn)

第2章軟件需求過程

2.1需求過程模型

2.1.1迭代式需求過程模型

2.1.2敏捷需求模型

2.2需求開發(fā)活動(dòng)

2.2.1需求獲取

2.2.2需求分析和磋商

2.2.3需求文檔化

2.2.4需求驗(yàn)證

2.3需求管理

2.3.1需求變化溯源

2.3.2需求變更管理

2.3.3需求追蹤

2.4小結(jié)與討論

2.5思考題

參考文獻(xiàn)

第3章面向目標(biāo)的方法

3.1概述

3.1.1目標(biāo)的分類

3.1.2目標(biāo)的層次

3.1.3目標(biāo)的作用

3.2目標(biāo)建模元素

3.2.1目標(biāo)的表示

3.2.2目標(biāo)的精化

3.2.3其他概念

3.3基于目標(biāo)的需求分析

3.3.1目標(biāo)建模

3.3.2目標(biāo)障礙分析

3.3.3對(duì)象識(shí)別

3.3.4主體職責(zé)分配

3.3.5最優(yōu)方案選擇和目標(biāo)操作化

3.4工業(yè)界應(yīng)用

3.5小結(jié)與討論

3.6思考題

參考文獻(xiàn)

第4章面向主體的方法

4.1概述

4.1.1主體的含義

4.1.2主體的作用

4.2面向主體的需求建?？蚣?/p>

4.2.1策略主體

4.2.2主體意圖

4.2.3依賴關(guān)系

4.2.4模型視圖

4.3基于策略主體的需求分析

4.3.1早期需求分析

4.3.2后期需求分析

4.4小結(jié)與討論

4.5思考題

參考文獻(xiàn)

第5章問題驅(qū)動(dòng)的方法

5.1概述

5.1.1問題的定位

5.1.2問題的描述

5.1.3問題的分解

5.2問題框架

5.2.1現(xiàn)象和領(lǐng)域特征

5.2.2基本問題框架

5.2.3基本問題框架變體

5.3框架關(guān)注點(diǎn)

5.3.1需求式行為問題關(guān)注點(diǎn)

5.3.2命令式行為問題關(guān)注點(diǎn)

5.3.3信息顯示問題關(guān)注點(diǎn)

5.3.4簡(jiǎn)單工件問題關(guān)注點(diǎn)

5.3.5變換問題關(guān)注點(diǎn)

5.4綜合關(guān)注點(diǎn)

5.5小結(jié)與討論

5.6思考題

參考文獻(xiàn)

第6章面向情景的方法

6.1概述

6.2基于文本的情景描述

6.2.1識(shí)別業(yè)務(wù)目標(biāo)/功能

6.2.2撰寫情景描述

6.2.3情景細(xì)化

6.3基于用例的情景建模

6.3.1用例和用例圖

6.3.2用順序圖建模情景

6.3.3用活動(dòng)圖建模情景

6.4應(yīng)用情景圖

6.5情景的原型化

6.6小結(jié)與討論

6.7思考題

參考文獻(xiàn)

第7章基于環(huán)境建模的方法

7.1概述

7.2環(huán)境建模和環(huán)境本體

7.2.1頂層環(huán)境本體

7.2.2領(lǐng)域環(huán)境本體

7.3軟件系統(tǒng)問題規(guī)約

7.3.1本體引導(dǎo)的環(huán)境實(shí)體識(shí)別

7.3.2本體支持的共享現(xiàn)象確定

7.3.3本體制導(dǎo)的用戶需求定義

7.3.4本體驅(qū)動(dòng)的現(xiàn)象關(guān)系規(guī)約

7.4環(huán)境相關(guān)的典型非功能需求

7.5小結(jié)與討論

7.6思考題

參考文獻(xiàn)

第8章質(zhì)量需求分析

8.1概述

8.1.1質(zhì)量需求定義

8.1.2質(zhì)量需求分析概述

8.2質(zhì)量需求建?？蚣?/p>

8.2.1質(zhì)量目標(biāo)的定義與建模

8.2.2質(zhì)量目標(biāo)與功能目標(biāo)的關(guān)聯(lián)建模

8.2.3質(zhì)量目標(biāo)關(guān)系的建模與表示

8.3質(zhì)量需求精化分析

8.3.1安全目標(biāo)的結(jié)構(gòu)化

8.3.2多維度安全目標(biāo)精化規(guī)則

8.3.3安全目標(biāo)精化分析策略

8.4基于模式的質(zhì)量需求操作化分析

8.4.1安全模式

8.4.2基于情景目標(biāo)建模的安全模式

8.4.3安全模式的選擇與應(yīng)用

8.5小結(jié)與討論

8.6思考題

參考文獻(xiàn)

第9章形式化需求規(guī)約和驗(yàn)證

9.1概述

9.2需求形式化建模

9.2.1狀態(tài)遷移系統(tǒng)

9.2.2需求的遷移系統(tǒng)表示

9.3約束或性質(zhì)的表示

9.3.1性質(zhì)規(guī)約語言簡(jiǎn)介

9.3.2性質(zhì)的時(shí)態(tài)邏輯表示

9.4需求驗(yàn)證

9.5案例研究

9.5.1系統(tǒng)模型構(gòu)建

9.5.2驗(yàn)證性質(zhì)

9.6四變量模型及其文檔化方法

9.6.1模型介紹

9.6.2系統(tǒng)需求文檔及其驗(yàn)證

9.6.3系統(tǒng)的設(shè)計(jì)文檔

9.6.4軟件需求文檔

9.7小結(jié)與討論

9.8思考題

參考文獻(xiàn)

第10章時(shí)間需求分析

10.1概述

10.2簡(jiǎn)單時(shí)序約束

10.2.1狀態(tài)狀態(tài)關(guān)系模式

10.2.2狀態(tài)事件關(guān)系模式

10.2.3事件事件關(guān)系模式

10.3簡(jiǎn)單實(shí)時(shí)需求

10.3.1狀態(tài)持續(xù)時(shí)間

10.3.2狀態(tài)狀態(tài)關(guān)系

10.3.3狀態(tài)事件關(guān)系

10.3.4事件狀態(tài)關(guān)系

10.3.5事件事件關(guān)系

10.4復(fù)合模式

10.5時(shí)間建模

10.5.1系統(tǒng)的時(shí)間約束建模

10.5.2性質(zhì)的時(shí)間約束建模

10.6小結(jié)與討論

10.7思考題

參考文獻(xiàn)

第11章敏捷開發(fā)中的需求活動(dòng)

11.1寫用戶故事

11.1.1如何寫故事

11.1.2怎樣寫好故事

11.1.3如何保證故事質(zhì)量

11.2敏捷開發(fā)中的需求規(guī)劃

11.2.1團(tuán)隊(duì)的組織

11.2.2為用戶故事確定優(yōu)先級(jí)

11.2.3規(guī)劃的迭代與發(fā)布

11.3敏捷需求質(zhì)量檢查和測(cè)試

11.3.1故事質(zhì)量檢查

11.3.2需求測(cè)試

11.3.3非功能屬性測(cè)試

11.4敏捷需求管理工具

11.4.1常用功能

11.4.2擴(kuò)展功能

11.4.3常用工具

11.5小結(jié)與討論

11.6思考題

參考文獻(xiàn)

第12章新時(shí)代的需求工程

12.1面向群體的需求工程

12.1.1群體參與需求活動(dòng)

12.1.2群體需求工程模型

12.1.3群體需求工程框架

12.2面向新型應(yīng)用的需求工程

12.2.1大數(shù)據(jù)分析軟件的需求

12.2.2智能軟件的需求

12.3結(jié)束語

參考文獻(xiàn)

附錄A時(shí)間需求模式

A.1簡(jiǎn)單時(shí)序約束模式

A.2簡(jiǎn)單實(shí)時(shí)需求模式

A.3復(fù)合模式