Agile Modeling with UML: Code Generation, Testing, Refactoring
暫譯: 使用UML的敏捷建模:程式碼生成、測試與重構

Bernhard Rumpe

  • 出版商: Springer
  • 出版日期: 2017-05-04
  • 售價: $3,720
  • 貴賓價: 9.5$3,534
  • 語言: 英文
  • 頁數: 388
  • 裝訂: Hardcover
  • ISBN: 3319588613
  • ISBN-13: 9783319588612
  • 相關分類: UMLAgile SoftwareRefactoring
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book focuses on the methodological treatment of UML/P and addresses three core topics of model-based software development: code generation, the systematic testing of programs using a model-based definition of test cases, and the evolutionary refactoring and transformation of models. For each of these topics, it first details the foundational concepts and techniques, and then presents their application with UML/P. This separation between basic principles and applications makes the content more accessible and allows the reader to transfer this knowledge directly to other model-based approaches and languages.

After an introduction to the book and its primary goals in Chapter 1, Chapter 2 outlines an agile UML-based approach using UML/P as the primary development language for creating executable models, generating code from the models, designing test cases, and planning iterative evolution through refactoring. In the interest of completeness, Chapter 3 provides a brief summary of UML/P, which is used throughout the book. Next, Chapters 4 and 5 discuss core techniques for code generation, addressing the architecture of a code generator and methods for controlling it, as well as the suitability of UML/P notations for test or product code.  Chapters 6 and 7 then discuss general concepts for testing software as well as the special features which arise due to the use of UML/P. Chapter 8 details test patterns to show how to use UML/P diagrams to define test cases and emphasizes in particular the use of functional tests for distributed and concurrent software systems. In closing, Chapters 9 and 10 examine techniques for transforming models and code and thus provide a solid foundation for refactoring as a type of transformation that preserves semantics.

Overall, this book will be of great benefit for practical software development, for academic training in the field of Software Engineering, and for research in the area of model-based software development. Practitioners will learn how to use modern model-based techniques to improve the production of code and thus significantly increase quality. Students will find both important scientific basics as well as direct applications of the techniques presented. And last but not least, the book will offer scientists a comprehensive overview of the current state of development in the three core topics it covers.

商品描述(中文翻譯)

本書專注於UML/P的方法論處理,並針對基於模型的軟體開發的三個核心主題進行探討:代碼生成、使用基於模型的測試案例定義進行系統性測試,以及模型的演進重構與轉換。對於這些主題,本書首先詳細說明基礎概念和技術,然後展示它們在UML/P中的應用。這種基本原則與應用之間的區分使內容更易於理解,並使讀者能夠將這些知識直接轉移到其他基於模型的方法和語言中。

在第一章中介紹本書及其主要目標後,第二章概述了一種敏捷的基於UML的方法,使用UML/P作為主要開發語言來創建可執行模型、從模型生成代碼、設計測試案例以及通過重構規劃迭代演進。為了完整性,第三章提供了UML/P的簡要總結,該語言在整本書中均有使用。接下來,第四章和第五章討論了代碼生成的核心技術,涉及代碼生成器的架構及其控制方法,以及UML/P符號在測試或產品代碼中的適用性。第六章和第七章則討論了測試軟體的一般概念以及由於使用UML/P而產生的特殊特徵。第八章詳細介紹了測試模式,展示如何使用UML/P圖來定義測試案例,並特別強調對於分散式和並行軟體系統使用功能測試的重要性。最後,第九章和第十章檢視了模型和代碼轉換的技術,從而為作為一種保留語義的轉換類型的重構提供了堅實的基礎。

總體而言,本書對於實際的軟體開發、軟體工程領域的學術訓練以及基於模型的軟體開發研究將大有裨益。實務工作者將學會如何使用現代基於模型的技術來改善代碼的產出,從而顯著提高質量。學生將發現重要的科學基礎以及所呈現技術的直接應用。最後但同樣重要的是,本書將為科學家提供對其涵蓋的三個核心主題的當前發展狀態的全面概述。