책 이미지

책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 일반
· ISBN : 9781466552296
· 쪽수 : 341쪽
· 출판일 : 2013-06-20
목차
Combinatorial Methods in Testing
Software Failures and the Interaction Rule
Two Forms of Combinatorial Testing
Covering Arrays
The Test Oracle Problem
Quick Start: How to Use the Basics of Combinatorial Methods Right Away
Combinatorial Testing Applied
Document Object Model, Carmelo Montanez-Rivera, D. Richard Kuhn, Mary Brady, Rick Rivello, Jenise Reyes Rodriguez, and Michael Powers
Rich Web Applications, Chad M. Maughan
Configuration Testing
Runtime Environment Configurations
Highly Configurable Systems and Software Product Lines
Invalid Combinations and Constraints
Cost and Practical Considerations
Input Testing
Partitioning the Input Space
Input Variables versus Test Parameters
Fault Type and Detectability
Building Tests to Match an Operational Profile
Scaling Considerations
Cost and Practical Considerations
Test Parameter Analysis, Eduardo Miranda
What Should Be Included as a Test Parameter
Combination Anomalies
Classification Tree Method
Modeling Methodology
Selecting the System under Test
Combinatorial Testing and Boundary Value Analysis
Managing System State, George Sherwood
Test Fact or Partitions with State
Test Fact or Simplifications
Sequence Unit Replay Model
Single Region State Models
Multiple Region State Models
Measuring Combinatorial Coverage
Software Test Coverage
Combinatorial Coverage
Using Combinatorial Coverage
Cost and Practical Considerations
Analysis of (t + 1)-Way Coverage
Test Suite Prioritization by Combinatorial Coverage, Renee Bryce and Sreedevi Sampath
Combinatorial Coverage for Test Suite Prioritization
Algorithm
Prioritization Criteria
Review of Empirical Studies
Tool: Combinatorial-Based Prioritization for User-Session-Based Testing
Other Approaches to Test Suite Prioritization Using Combinatorial Interactions
Cost and Practical Considerations
Combinatorial Testing and Random Test Generation
Coverage of Random Tests
Adaptive Random Testing
Tradeoffs: Covering Arrays and Random Generation
Cost and Practical Considerations
Sequence-Covering Arrays
Sequence-Covering Array Definition
Size and Construct ion of Sequence-Covering Arrays
Using Sequence-Covering Arrays
Cost and Practical Considerations
Assertion-Based Testing
Basic Assertions for Testing
Stronger Assertion-Based Testing
Cost and Practical Considerations
Model-Based Testing
Overview
Access Control System Example
SMV Model
Integrating Combinatorial Tests into the Model
Generating Tests from Counterexamples
Cost and Practical Considerations
Fault Localization
Fault Localization Process
Locating Faults: Example
Cost and Practical Considerations
Evolution from Design of Experiments
Background
Pairwise (Two-Way) Testing of Software Systems
Combinatorial t-Way Testing of Software Systems
Algorithms for Covering Array Construction, Linbin Yu and Yu Lei
Overview
Algorithm AETG
Algorithm IPOG
Cost and Practical Considerations
Appendix A: Mathematics Review
Appendix B: Empirical Data on Software Failures
Appendix C: Resources for Combinatorial Testing
Appendix D: Test Tools
References
Index
A Summary and Review appear at the end of each chapter.