Software Testing for Conventional and Logic Programming
1st Edition
Published on 11. July 2011
XXI, 230 pages
978-3-11-081600-6 (ISBN)
Description
No detailed description available for "Software Testing for Conventional and Logic Programming".
More details
Other editions
Additional editions
Book
10/1996
1st Edition
De Gruyter
€119.95
Shipment within 7-9 days
Book
01/1996
1st Edition
De Gruyter
€169.95
Article exhausted; check different version
Content
- Intro
- List of Figures
- Symbols and Notation
- 1 Introduction
- 2 Program Testing Concepts
- 2.1 Background and General Terminology
- 2.2 Tractability Problems of Formal Verification
- 2.3 Basic Testing Approaches
- 2.4 Formal Testing
- 2.5 Asymptotic Testing
- 2.6 Resume
- 3 Logic Programming Concepts
- 3.1 Syntax of First-Order Predicate Logic
- 3.2 Model Theoretic Semantics
- 3.3 Fixed Point Semantics
- 3.4 Resolution Calculus and Operational Semantics
- 3.5 Résumé
- 4 Program Instrumentation
- 4.1 Types and Typings
- 4.2 Regular Parametric Types
- 4.3 Type Relations
- 4.4 Modes and Data Flow
- 4.5 Résumé
- 5 Test Coverage
- 5.1 Anti-Unification
- 5.2 Coverage and Anti-Unification
- 5.3 Coverage Computation
- 5.4 Résumé
- 6 Test Input Generation
- 6.1 Coverage Driven Generation
- 6.2 Typed Goals
- 6.3 Moded Goals
- 6.4 Résumé
- 7 Complexity Analysis
- 7.1 Coverage Computation Complexity
- 7.2 Coverage Generation Complexity
- 7.3 Résumé
- 8 Summary
- Appendix A The PROTest System
- A.1 Product Assurance Environment
- A.2 PROTest System Overview
- A.3 PROTest Type and Mode Declarations
- A.4 Structure Checker
- A.5 Test Case Generator
- A.6 Test Coverage Analyzer
- A.7 Test Driver
- A.8 Test Report Generator
- Appendix B Case Study
- B.1 Program Example
- B.2 The Robot Task Scheduling Program
- B.3 Coverage Results
- B.4 Generated Test Inputs
- Bibliography
- Index
