Software Specification and Design

An Overview of the Software Development Process An Overview of the Software Engineering Environment Historical Perspective on Software Development Requirements Engineering Software Specification Software Development: Past and Present Testing Software Availability Considerations Software Performance Considerations Hardware Software Decomposition The Bottom Line Requirements Analysis The Requirements Process The Concept of a Customer Requirements Capture The Requirements Analyst Specification Traceability Operational Specification Software Operational Specification Operational System Overview Operational System Model Operations The Operational Profile The Evolution of the Operational Specifications An Example Functional Specification: High-Level Design Functional System Overview Functional System Model Functionalities The Functional Profile The Evolution of the Functional Specifications An Example (Continued) Configuration Control for the Functional Specifications Mapping Operations to Functionalities O x F Distribution of Activity among the Functionalities The Specification Build Process An Extended Definition of Operations and Functionalities The calc System Example Module Specification: Low-Level Design Introduction Architectural Overview Architectural Model Module Specifications The Elements of a Module Specification Module Call Graph Structure Module Profiles The Evolution of the Module Specifications An Example Mapping the Operations to Modules F x M O x F x M Distribution of Activity among the Modules The Specification Build Process An Extended Definition of Functionalities and Modules The calc System Example Choosing the Appropriate Language Metaphor Procrustes Matching Design Architecture to Program Language Mapping the Modules to Code O x F x M x C The Bottom Line Measuring Software Design Measuring Software Design Alternatives Understanding Program Modular Structure Measuring within Module Structure Design Module Complexity Testability The Key Elements of Bad Design System Architectural Trade-Offs The Actual Operational Model Parsing Functionalities The Partitioning of Large Systems The Structure of an Executing Program A Program Represented as a Call Graph A Program as a Call Tree Measuring for the Profiles Maintaining the Specifications Introduction Configuration Control for the Specifications Maintaining the Specifications The Software Development Infrastructure Multiple Projects Security Considerations Specification-Driven Verification and Validation Software Verification Some Definitions Software Validation Testing Objectives Measuring Test Outcomes Maintenance and the V & V Process Direct Benefits of Specification Traceability Reliability Software Security Maintainability Survivability The Software Blackbox Recorder