Software testing for conventional and logic programming /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jack, Oliver
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; New York : W. de Gruyter, 1996.
Colección:Programming complex systems ; 10.
Temas:
Computer software > Testing.
COMPUTERS > Software Development & Engineering > Quality Assurance & Testing.
Computer software > Testing
Fehlererkennung
Logische Programmierung
Programmierung
Softwaretest
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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 Types4.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 OverviewA. 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

Ejemplares similares