Coverart for item
The Resource Software testing for conventional and logic programming, Oliver Jack

Software testing for conventional and logic programming, Oliver Jack

Label
Software testing for conventional and logic programming
Title
Software testing for conventional and logic programming
Statement of responsibility
Oliver Jack
Creator
Subject
Language
eng
Member of
Action
digitized
Cataloging source
OCLCE
http://library.link/vocab/creatorName
Jack, Oliver
Dewey number
005.1/4
Index
index present
Language note
English
LC call number
QA76.76.T48
LC item number
J33 1996
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Programming complex systems
Series volume
10
http://library.link/vocab/subjectName
  • Computer software
  • COMPUTERS
  • Computer software
  • Fehlererkennung
  • Logische Programmierung
  • Programmierung
  • Softwaretest
Label
Software testing for conventional and logic programming, Oliver Jack
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (pages 213-225) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • ""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""
Control code
636371928
Dimensions
unknown
Extent
1 online resource (xxi, 230 pages)
File format
one file format
Form of item
online
Isbn
9783110816006
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)636371928
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Software testing for conventional and logic programming, Oliver Jack
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (pages 213-225) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • ""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""
Control code
636371928
Dimensions
unknown
Extent
1 online resource (xxi, 230 pages)
File format
one file format
Form of item
online
Isbn
9783110816006
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)636371928
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...