Analytic Methods in Systems and Software Testing (Hardcover)

List of Contributors

Preface

Part I: Testing Concepts and Methods

1 Recent Advances in Classifying Risk-Based Testing Approaches
Michael Felderer, Jürgen Großmann, and Ina Schieferdecker

2 Improving Software Testing with Causal Modeling
 Norman Fenton and Martin Neil

3 Optimal Software Testing across Version Releases
Simon P. Wilson and Seán Ó Ríordáin

4 Incremental Verification and Coverage Analysis of Strongly Distributed Systems
Elena V. Ravve and Zeev Volkovich

5 Combinatorial Testing: An Approach to Systems and Software Testing Based on Covering Arrays
Joseph Morgan

6 Conceptual Aspects in Development and Teaching of System and Software Test Engineering
Dani Almog, Ron S. Kenett, Uri Shafrir, and Hadas Chasidim

Part II: Statistical Models

7 Non-homogeneous Poisson Process Models for Software Reliability
Steven E. Rigdon

8 Bayesian Graphical Models for High Complexity Testing: Aspects of Implementation
David Wooff, Michael Goldstein, and Frank Coolen

9 Models of Software Reliability
Shelemyahu Zacks

10 Improved Estimation of System Reliability with Application in Software Development
Beidi Qiang and Edsel A. Peña

11 Decision Models for Software Testing
Fabrizio Ruggeri and Refik Soyer

12 Modeling and Simulations in Control Software Design
Jiri Koziorek, Stepan Ozana, Vilem Srovnal, and Tomas Docekal

Part III: Testing Infrastructures

13 A Temperature Monitoring Infrastructure and Process for Improving Data Center Energy Efficiency with Results for an HPC Data Center
Sarah E. Michalak, Amanda M. Bonnie, Andrew J. Montoya, Curtis B. Storlie, William N. Rust, Lawrence O. Ticknor, Laura A. Davey, Thomas E. Moxley III, and Brian J. Reich

14 Agile Testing with User Data in Cloud and Edge Computing Environments
Ron S. Kenett, Avi Harel, and Fabrizio Ruggeri

15 Automated Software Testing
Xiaoxu Diao, Manuel Rodriguez, Boyuan Li, and Carol Smidts

16 Dynamic Test Case Selection in Continuous Integration: Test Result Analysis using the Eiffel Framework
Daniel Ståhl and Jan Bosch

17 An Automated Regression Testing Framework for a Hadoop-Based Entity Resolution System
Daniel Pullen, Pei Wang, Joshua R. Johnson, and John R. Talburt

Part IV: Testing Infrastructures

18 Testing Defense Systems
Laura J. Freeman, Thomas Johnson, Matthew Avery, V. Bram Lillard, and Justace Clutter

19 A Search-Based Approach to Geographical Data Generation for Testing Location-Based Services
Xiaoying Bai, Kejia Hou, Jun Huang, and Mingli Yu

20 Analytics in Testing Communication Systems
Gilli Shama

21 Measures in Systems Integration Verification and Validation Phase and Aerospace Applications Field Experience
Sarit Assaraf and Ron S. Kenett

Index