{"product_id":"software-error-detection-through-testing-and-analysis-9780470404447","title":"Software Error Detection through Testing and","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eThis book looks to maximize the probability of revealing latent errors in programs through effective software testing. It covers the program analysis needed for applying a test-case selection method. It teaches the reader to modify the existing method or devise a new method if there is going to be a change in the language or paradigm used.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e\u003cb\u003ePreface.\u003c\/b\u003e  \u003cp\u003e\u003cb\u003e1 Concepts, Notation, and Principles.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e1.1 Concepts, Terminology, and Notation.\u003c\/p\u003e \u003cp\u003e1.2 Two Principles of Test-Case Selection.\u003c\/p\u003e \u003cp\u003e1.3 Classification of Faults.\u003c\/p\u003e \u003cp\u003e1.4 Classification of Test-Case Selection Methods.\u003c\/p\u003e \u003cp\u003e1.5 The Cost of Program Testing.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e2 Code-Based Test-Case Selection Methods.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e2.1 Path Testing.\u003c\/p\u003e \u003cp\u003e2.2 Statement Testing.\u003c\/p\u003e \u003cp\u003e2.3 Branch Testing.\u003c\/p\u003e \u003cp\u003e2.4 Howden’s and McCabe’s Methods.\u003c\/p\u003e \u003cp\u003e2.5 Data-Flow Testing.\u003c\/p\u003e \u003cp\u003e2.6 Domain-Strategy Testing.\u003c\/p\u003e \u003cp\u003e2.7 Program Mutation and Fault Seeding.\u003c\/p\u003e \u003cp\u003e2.8 Discussion.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e3 Specification-Based Test-Case Selection Methods.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e3.1 Subfunction Testing.\u003c\/p\u003e \u003cp\u003e3.2 Predicate Testing.\u003c\/p\u003e \u003cp\u003e3.3 Boundary-Value Analysis.\u003c\/p\u003e \u003cp\u003e3.4 Error Guessing.\u003c\/p\u003e \u003cp\u003e3.5 Discussion.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e4 Software Testing Roundup.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e4.1 Ideal Test Sets.\u003c\/p\u003e \u003cp\u003e4.2 Operational Testing.\u003c\/p\u003e \u003cp\u003e4.3 Integration Testing.\u003c\/p\u003e \u003cp\u003e4.4 Testing Object-Oriented Programs.\u003c\/p\u003e \u003cp\u003e4.5 Regression Testing.\u003c\/p\u003e \u003cp\u003e4.6 Criteria for Stopping a Test.\u003c\/p\u003e \u003cp\u003e4.7 Choosing a Test-Case Selection Criterion.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e5 Analysis of Symbolic Traces.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e5.1 Symbolic Trace and Program Graph.\u003c\/p\u003e \u003cp\u003e5.2 The Concept of a State Constraint.\u003c\/p\u003e \u003cp\u003e5.3 Rules for Moving and Simplifying Constraints.\u003c\/p\u003e \u003cp\u003e5.4 Rules for Moving and Simplifying Statements.\u003c\/p\u003e \u003cp\u003e5.5 Discussion.\u003c\/p\u003e \u003cp\u003e5.6 Supporting Software Tool.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e6 Static Analysis.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e6.1 Data-Flow Anomaly Detection.\u003c\/p\u003e \u003cp\u003e6.2 Symbolic Evaluation (Execution).\u003c\/p\u003e \u003cp\u003e6.3 Program Slicing.\u003c\/p\u003e \u003cp\u003e6.4 Code Inspection.\u003c\/p\u003e \u003cp\u003e6.5 Proving Programs Correct.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003e7 Program Instrumentation.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e7.1 Test-Coverage Measurement.\u003c\/p\u003e \u003cp\u003e7.2 Test-Case Effectiveness Assessment.\u003c\/p\u003e \u003cp\u003e7.3 Instrumenting Programs for Assertion Checking.\u003c\/p\u003e \u003cp\u003e7.4 Instrumenting Programs for Data-Flow-Anomaly Detection.\u003c\/p\u003e \u003cp\u003e7.5 Instrumenting Programs for Trace-Subprogram Generation.\u003c\/p\u003e \u003cp\u003eExercises.\u003c\/p\u003e \u003cp\u003e\u003cb\u003eAppendix A: Logico-Mathematical Background.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003eAppendix B: Glossary.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003eAppendix C: Questions for Self-Assessment.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003eBibliography.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003eIndex.\u003c\/b\u003e\u003c\/p\u003e","brand":"John Wiley \u0026 Sons Inc","offers":[{"title":"Default Title","offer_id":49402325991767,"sku":"9780470404447","price":86.36,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780470404447.jpg?v=1730480073","url":"https:\/\/bookcurl.com\/products\/software-error-detection-through-testing-and-analysis-9780470404447","provider":"Book Curl","version":"1.0","type":"link"}