E-Book, Englisch, 215 Seiten
Jorgensen Modeling Software Behavior
1. Auflage 2011
ISBN: 978-1-4200-8076-6
Verlag: Taylor & Francis
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
A Craftsman's Approach
E-Book, Englisch, 215 Seiten
ISBN: 978-1-4200-8076-6
Verlag: Taylor & Francis
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
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.
Zielgruppe
Upper-level undergraduate and graduate students in software and electrical engineering.
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Issues in Behavior Modeling
Views of Models
Models of Software
Traditional Goals
Consistemcy
Completeness
Clarity
Appropriate Goals
Executability
Provocation
Processability
Modeling Dichotomies
Analysis/Synthesis
Composition/Decomposition
Prescribed/Proscribed Behavior
Is/Does
Fundamental Elements of Modeling
Data
Actions
Events
Threads
Propositions
Other Issues
Size and Complexity
Time
Concurrency
Math Background
Graphs
Degree of a Node
Incidence Matrices
Adjacency Matrices
Connectedness
Condensation Graphs
Cyclomatic Number
Directed Graphs
Indegrees and Outdegrees
Types of Nodes
Adjacency Matrix of a Directed Graph
Paths and Semipaths
Reachability Matrix
n-Connectedness
Strong Components
Model-Based Testing
Examples
Issues in Behavior Modeling
Structured Programming Constructs
Task Management
Events
Context-Sensitive Input Events
Multiple-Context Output Events
Discrete and Continuous Events
Event Orders
Continuing Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Espresso Vending Machine (Full Version)
Espresso Vending Machine (Six-Coin Version)
Smart Fuel Pump
Saturn Windshield Wiper Controller
Examples for Readers
Windchill Factor Table
The Previous Date Function
Saturn Cruise Control
Programmable Thermostat
Railroad Crossing Gate Controller
The Pizza Robot
Issues in the Examples
Flowcharts
Definition and Notation
Technique
Continuing Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Selected Examples for Readers
Saturn Cruise Control
The Pizza Robot
Advantages and Limitations
Decision Tables
Definition and Notation
Decision Table Analysis
Decision Table Condensation
Decision Tables with Mutually Exclusive Conditions
Redundant and Inconsistent Decision Tables
Continuing Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
First Try
Second Try
Third Try
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Decision Table Engines
Advantages and Limitations
Finite State Machines
Definition and Notation
Technique
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Finite State Machine Engines
Advantages and Limitations
Petri Nets
Definition and Notation
Transition Enabling and Firing
Petri Net Conflict
The Producer–Consumer Problem
Technique
Sequence, Selection, and Repetition
Enable, Disable, and Activate
Trigger
Suspend, Resume, and Pause
Conflict and Priority
Mutual Exclusion
Synchronization
Some Consequences of Marking and Enabling
Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Petri Net Engines
Advantages and Limitations
Event-Driven Petri Nets
Definition and Notation
Transition Enabling and Firing
Context-Sensitive Input Events
Multiple-Context Output Events
Event Quiescence
Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Saturn Windshield Wiper Controller
Event-Driven Petri Net Engines
Advantages and Limitations
Statecharts
Definition and Notation
Technique
Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Statechart Engines
Advantages and Limitations
Object-Oriented Models
Notation and Technique
Use Case Diagrams
Activity Diagrams
State Machine Diagrams
Sequence Diagrams
Examples
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
Advantages and Limitations
Model Comparisons
Selecting an Appropriate Model
Simplified U.S. 1040EZ Income Tax Form
The NextDate Function
Espresso Vending Machine
Smart Fuel Pump
Saturn Windshield Wiper Controller
A Formal Consolidation of Executable Models
Modus Ponens
Casting a Decision Table into a Propositional Syllogism
Casting a Finite State Machine into a Propositional Syllogism
Casting an Event-Driven Petri Net into a Propositional Syllogism
Casting a Statechart into a Propositional Syllogism
Benefits of the Formalism
Acknowledgment
