Modeling Software Behavior: A Craftsman's Approach (Hardcover)

Paul C. Jorgensen

商品描述

A common problem with most texts on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models—focusing on what the software is, rather than what it does. If they do cover behavioral models, the coverage is brief and usually focused on a single model. Modeling Software Behavior: A Craftsman’s Approach provides detailed treatment of various models of software behavior that support early analysis, comprehension, and model-based testing.

 

Based on the popular and continually evolving course on requirements specification models taught by the author at universities and corporate environments, the text covers six behavioral models—providing the background behind these models and the required mathematics. As evidence of models at work, the author introduces eleven continuing examples. Five of these examples are illustrated with the six models, allowing readers to easily compare the expressive power of the various models. The examples chosen reflect a wide variety of behavioral issues.

Providing complete coverage that includes flowcharts, decision tables, finite state machines, two variations of Petri Nets, and StateCharts, this book will help students develop the understanding of the expressive capabilities and limitations of models of system behavior needed to make informed and appropriate choices among different models when confronted with new challenges.

商品描述(中文翻譯)

大多數需求規格書的共同問題是它們過於強調結構模型,而忽略了行為模型 - 著重於軟體是什麼,而不是它做什麼。即使它們涵蓋了行為模型,也只是簡短地介紹一個模型。《建模軟體行為:工匠的方法》提供了詳細的軟體行為模型,支援早期分析、理解和基於模型的測試。

本書基於作者在大學和企業環境中廣受歡迎且不斷演進的需求規格模型課程,涵蓋了六個行為模型 - 提供這些模型背後的背景和所需的數學知識。作者通過引入十一個持續的例子來證明模型的運作。其中五個例子使用六個模型進行說明,讓讀者可以輕鬆比較各種模型的表達能力。所選的例子反映了各種行為問題。

本書提供了完整的涵蓋範圍,包括流程圖、決策表、有限狀態機、兩種變體的Petri網絡和StateCharts。這本書將幫助學生們發展對系統行為模型的表達能力和限制的理解,以便在面對新挑戰時能夠做出明智和適當的模型選擇。