Verification and Validation for Quality of UML 2.0 Models
暫譯: UML 2.0 模型的驗證與確認以確保品質

Bhuvan Unhelkar

Verification and Validation for Quality of UML 2.0 Models
  • 出版商: Wiley
  • 出版日期: 2005-07-20
  • 定價: $3,580
  • 售價: 5.0 折 $1,790
  • 語言: 英文
  • 頁數: 312
  • 裝訂: Hardcover
  • ISBN: 0471727830
  • ISBN-13: 9780471727835
  • 相關分類: UML

    • 立即出貨

買這商品的人也買了...

相關主題

商品描述

Description:

A practical approach to enhancing quality in software models using UML Version 2.0

"Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book!"
-From the Foreword by Prof. Brian Henderson-Sellers

This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the discussion on the nature and creation of UML models. This is followed by a demonstration of how to apply verification and validation checks to these models with three foci: syntactical correctness, semantic meaningfulness, and aesthetic symmetry. The quality work is carried out within three distinct yet related modeling spaces:
* Model of problem space (MOPS)
* Model of solution space (MOSS)
* Model of background space (MOBS)

Readers can then choose a specific quality approach according to their roles in their projects.

Verification and validation checks are also organized according to these three modeling spaces, making it easier for the reader to focus on the appropriate diagrams and quality checks corresponding to their modeling space. In addition, a major element of this publication is the Strengths, Weaknesses, Objectives, and Traps (SWOT) analysis. This analysis is performed on each UML diagram, enabling readers to fully comprehend these diagrams, their advantages and limitations, and the way in which they can be used in practical projects for modeling.

A consistent case study of the Lucky Insurance System is provided throughout the chapters to illustrate the creation of good quality UML diagrams, followed by application of quality checks to them. With its emphasis on quality in UML-based projects, this book is an essential resource for all quality professionals, including quality analysts, process consultants, quality managers, test designers, and testers.

 

Table of Contents:

Figures.

Foreword.

Preface.

Acknowledgments.

Glossary of Acronyms and Terms.

Author Profile.

1 The Quality Strategy for UML.

1.1 Modeling and Quality.

1.2 Positioning UML for Modeling.

1.3 Quality Aspects of UML.

1.4 Understanding Modeling Spaces in Software.

1.5 Modeling Spaces and UML.

1.6 Verification and Validation.

1.7 Quality Checks and Skills Levels.

1.8 Levels of Quality Checks to UML Diagrams.

1.9 Model-Driven Architecture (MDA) and Quality.

1.10 Prototyping and Modeling Spaces.

2 Nature and Basics of UML Diagrams.

2.1 The Nature of UML Diagrams.

2.2 Use Case Diagrams.

2.3 Activity Diagrams.

2.4 Class Diagrams.

2.5 Sequence Diagrams.

2.6 Communication Diagrams.

2.7 Interaction Overview Diagrams.

2.8 Object Diagrams.

2.9 State Machine Diagrams.

2.10 Composite Structure Diagrams.

2.11 Component Diagrams.

2.12 Deployment Diagrams.

2.13 Package Diagrams.

2.14 Timing Diagrams.

2.15 UML’s Extensibility Mechanisms.

2.16 UML Meta-Models and Quality.

3 Strengths, Weaknesses, Objectives and Traps (SWOT) of UML Diagrams.

3.1 SWOT Analysis of the UML Diagrams.

3.2 SWOT of Use Case Diagrams.

3.3 SWOT of Activity Diagrams.

3.4 SWOT of Classes and Class Diagrams.

3.5 SWOT of Sequence Diagrams.

3.6 SWOT of Communication Diagrams.

3.7 SWOT of Interaction Overview Diagrams.

3.8 SWOT of Object Diagrams.

3.9 SWOT of State Machine Diagrams.

3.10 SWOT of Composite Structure Diagrams.

3.11 SWOT of Component Diagrams.

3.12 SWOT of Deployment Diagrams.

3.13 SWOT of Package Diagrams.

3.14 SWOT of Timing Diagrams.

4 V&V of the Quality of MOPS.

4.1 UML Diagrams in MOPS.

4.2 V&V of Use Cases and Use Case Diagrams in MOPS.

4.3 Quality of Activity Diagrams in MOPS.

4.4 Quality of Package Diagrams in MOPS.

4.5 Quality of Classes and Class Diagrams in MOPS.

4.6 Quality of Sequence Diagrams in MOPS.

4.7 Quality of State Machine Diagrams in MOPS.

4.8 Quality of Interaction Overview Diagrams in MOPS.

4.9 Validating the Entire MOPS.

4.10 Summary of Quality Checks for MOPS.

5 V&V of the Quality of MOSS.

5.1 UML Diagrams in the Solution Space (MOSS).

5.2 Analyzing MOPS for MOSS for a Solution.

5.3 Quality of Classes and Class Diagrams in MOSS.

5.4 Quality of Sequence Diagrams in MOSS.

5.5 Quality of Communication Diagrams in MOSS.

5.6 Quality of Object Diagrams in MOSS.

5.7 Quality of State Machine Diagrams in MOSS.

5.8 Quality of Timing Diagrams in MOSS.

5.9 Converting Models into Systems.

5.10 Cross-Diagram Dependencies.

6 V&V of the Quality of MOBS.

6.1 Working in the Background Space.

6.2 UML Diagrams in the Background Space (MOBS).

6.3 V&V of Package Diagrams in MOBS.

6.4 Classes and Class Diagrams in the Background Space.

6.5 V&V of Class Diagrams in the Background Space.

6.6 V&V of Robustness through Class Diagrams in MOBS.

6.7 V&V of Component Diagrams in MOBS.

6.8 V&V of Composite Structure Diagrams in MOBS.

6.9 V&V of Deployment Diagrams in MOBS.

6.10 Cross-diagram dependencies in MOBS.

7 Managing the V&V Process.

7.1 Processes and UML.

7.2 Understanding the Process and Process Components.

7.3 Iterations and Increments in a Process.

Appendix A: LUCKY Insurance Case Study.

Appendix B: UML CASE Tools.

Appendix C: Summary of Checks for V&V of the Quality of MOPS.

Appendix D: Summary of Checks for V&V of the Quality of MOSS.

Appendix E: Summary of Checks for V&V of the Quality of MOBS.

Appendix F: Templates for Actors, Use Cases and Classes in MOPS.

Index.

商品描述(中文翻譯)

**描述：**
本書提供了一種實用的方法，旨在利用 UML 版本 2.0 提升軟體模型的品質。
「儘管 UML 的使用日益增加，許多公司卻未能充分利用 UML，偶爾也有個人因應用其標準而感到挫折。也許這是因為他們尚未閱讀本書！」
- 來自布萊恩·亨德森-塞勒斯教授的前言

本書提出了一種實用的檢查清單方法，以提升使用統一建模語言（UML）版本 2.0 創建的軟體模型的品質。品質的基礎是通過對 UML 模型的性質和創建進行討論來建立的。接下來，展示了如何對這些模型應用驗證和驗證檢查，重點包括：語法正確性、語義意義和美學對稱性。品質工作在三個不同但相關的建模空間內進行：
* 問題空間模型（MOPS）
* 解決方案空間模型（MOSS）
* 背景空間模型（MOBS）

讀者可以根據他們在項目中的角色選擇特定的品質方法。
驗證和驗證檢查也根據這三個建模空間進行組織，使讀者更容易專注於與其建模空間相對應的適當圖表和品質檢查。此外，本出版物的一個主要元素是優勢、劣勢、目標和陷阱（SWOT）分析。這項分析針對每個 UML 圖進行，使讀者能夠充分理解這些圖的優點和限制，以及它們在實際項目中的建模用途。

全書提供了一個一致的案例研究——幸運保險系統，以說明如何創建高品質的 UML 圖，並隨後對其應用品質檢查。由於本書強調 UML 基礎項目的品質，因此對於所有品質專業人士，包括品質分析師、流程顧問、品質經理、測試設計師和測試人員來說，都是一個必不可少的資源。

**目錄：**
圖表。
前言。
序言。
致謝。
縮略語和術語詞彙表。
作者簡介。
**1 UML 的品質策略。**
1.1 建模與品質。
1.2 為建模定位 UML。
1.3 UML 的品質方面。
1.4 理解軟體中的建模空間。
1.5 建模空間與 UML。
1.6 驗證與驗證。
1.7 品質檢查與技能水平。
1.8 UML 圖的品質檢查層級。
1.9 模型驅動架構（MDA）與品質。
1.10 原型設計與建模空間。
**2 UML 圖的性質與基本概念。**
2.1 UML 圖的性質。
2.2 用例圖。
2.3 活動圖。
2.4 類圖。
2.5 序列圖。
2.6 通信圖。
2.7 互動概述圖。
2.8 物件圖。
2.9 狀態機圖。
2.10 複合結構圖。
2.11 元件圖。
2.12 部署圖。
2.13 封裝圖。
2.14 時序圖。
2.15 UML 的擴展機制。
2.16 UML 元模型與品質。
**3 UML 圖的優勢、劣勢、目標與陷阱（SWOT）。**
3.1 UML 圖的 SWOT 分析。
3.2 用例圖的 SWOT。
3.3 活動圖的 SWOT。
3.4 類別及類圖的 SWOT。
3.5 序列圖的 SWOT。
3.6 通信圖的 SWOT。
3.7 互動概述圖的 SWOT。
3.8 物件圖的 SWOT。
3.9 狀態機圖的 SWOT。
3.10 複合結構圖的 SWOT。
3.11 元件圖的 SWOT。
3.12 部署圖的 SWOT。
3.13 封裝圖的 SWOT。
3.14 時序圖的 SWOT。
**4 MOPS 的品質驗證與驗證（V&V）。**
4.1 MOPS 中的 UML 圖。
4.2 MOPS 中用例及用例圖的 V&V。
4.3 MOPS 中活動圖的品質。
4.4 MOPS 中封裝圖的品質。
4.5 MOPS 中類別及類圖的品質。
4.6 MOPS 中序列圖的品質。
4.7 MOPS 中狀態機圖的品質。
4.8 MOPS 中互動概述圖的品質。
4.9 驗證整個 MOPS。
4.10 MOPS 的品質檢查總結。
**5 MOSS 的品質驗證與驗證（V&V）。**
5.1 解決方案空間（MOSS）中的 UML 圖。
5.2 分析 MOPS 以獲得 MOSS 的解決方案。
5.3 MOSS 中類別及類圖的品質。
5.4 MOSS 中序列圖的品質。
5.5 MOSS 中通信圖的品質。
5.6 MOSS 中物件圖的品質。
5.7 MOSS 中狀態機圖的品質。
5.8 MOSS 中時序圖的品質。
5.9 將模型轉換為系統。
5.10 跨圖依賴性。
**6 MOBS 的品質驗證與驗證（V&V）。**
6.1 在背景空間中工作。
6.2 背景空間（MOBS）中的 UML 圖。
6.3 MOBS 中封裝圖的 V&V。
6.4 背景空間中的類別及類圖。
6.5 背景空間中類圖的 V&V。
6.6 通過 MOBS 中的類圖進行穩健性 V&V。
6.7 MOBS 中元件圖的 V&V。
6.8 MOBS 中複合結構圖的 V&V。
6.9 MOBS 中部署圖的 V&V。
6.10 MOBS 中的跨圖依賴性。
**7 管理 V&V 流程。**
7.1 流程與 UML。
7.2 理解流程及其組成部分。
7.3 流程中的迭代與增量。
附錄 A：幸運保險案例研究。
附錄 B：UML CASE 工具。
附錄 C：MOPS 品質 V&V 檢查總結。
附錄 D：MOSS 品質 V&V 檢查總結。
附錄 E：MOBS 品質 V&V 檢查總結。
附錄 F：MOPS 中角色、用例和類的模板。
索引。

類似商品