Software Testing And Analysis: Process- Principles- And Techniques

Description

Software Testing & Analysis teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost. Readers will be able to minimize software failures, increase quality, and effectively manage costs. By incorporating modern topics and strategies, this book will be the standard software-testing textbook. Software Testing and Analysis integrates software testing and analysis techniques into modern software development practice. #Part I: Fundamentals of Test and AnalysisSoftware Test and Analysis in a NutshellA Framework for Test and AnalysisBasic PrinciplesTest and Analysis Activities within a Software ProcessPart II: Basic TechniquesFinite ModelsDependence and Data Flow ModelsSymbolic Execution and Proof of PropertiesFinite State VerificationPart III: Problems and MethodsTest Case Selection and AdequacyFunctional TestingCombinatorial TestingStructural TestingData Flow TestingModel-Based TestingTesting Object-Oriented SoftwareFault-Based TestingTest ExecutionInspectionProgram AnalysisPart IV ProcessPlanning and Monitoring the ProcessIntegration and Component-based Software TestingSystem, Acceptance, and Regression TestingAutomating Analysis and TestDocumenting Analysis and TestBibliographyIndex