ORPP logo

Software Testing for Conventional and Logic Programming. (Record no. 64273)

MARC details
000 -LEADER
fixed length control field 03399nam a22004693i 4500
001 - CONTROL NUMBER
control field EBC3040672
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240729124318.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240724s1996 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783110816006
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783110150711
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC3040672
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL3040672
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10588545
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL558788
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)922943621
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.T4
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/4
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Jack, Oliver.
245 10 - TITLE STATEMENT
Title Software Testing for Conventional and Logic Programming.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin/Boston :
Name of producer, publisher, distributor, manufacturer Walter de Gruyter GmbH,
Date of production, publication, distribution, manufacture, or copyright notice 1996.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©1996.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (252 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Programmierung Komplexer Systeme / Programming Complex Systems Series ;
Volume/sequential designation v.10
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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.
520 ## - SUMMARY, ETC.
Summary, etc. No detailed description available for "Software Testing for Conventional and Logic Programming".
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software -- Testing.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Jack, Oliver
Title Software Testing for Conventional and Logic Programming
Place, publisher, and date of publication Berlin/Boston : Walter de Gruyter GmbH,c1996
International Standard Book Number 9783110150711
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Programmierung Komplexer Systeme / Programming Complex Systems Series
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3040672">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3040672</a>
Public note Click to View

No items available.

© 2024 Resource Centre. All rights reserved.