000			03399nam a22004693i 4500
001			EBC3040672
003			MiAaPQ
005			20240729124318.0
006			m o d |
007			cr cnu||||||||
008			240724s1996 xx o ||||0 eng d
020			_a9783110816006 _q(electronic bk.)
020			_z9783110150711
035			_a(MiAaPQ)EBC3040672
035			_a(Au-PeEL)EBL3040672
035			_a(CaPaEBR)ebr10588545
035			_a(CaONFJC)MIL558788
035			_a(OCoLC)922943621
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA76.76.T4
082	0		_a005.1/4
100	1		_aJack, Oliver.
245	1	0	_aSoftware Testing for Conventional and Logic Programming.
250			_a1st ed.
264		1	_aBerlin/Boston : _bWalter de Gruyter GmbH, _c1996.
264		4	_c©1996.
300			_a1 online resource (252 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aProgrammierung Komplexer Systeme / Programming Complex Systems Series ; _vv.10
505	0		_aIntro -- 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			_aNo detailed description available for "Software Testing for Conventional and Logic Programming".
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic 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	_aComputer software -- Testing.
655		4	_aElectronic books.
776	0	8	_iPrint version: _aJack, Oliver _tSoftware Testing for Conventional and Logic Programming _dBerlin/Boston : Walter de Gruyter GmbH,c1996 _z9783110150711
797	2		_aProQuest (Firm)
830		0	_aProgrammierung Komplexer Systeme / Programming Complex Systems Series
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3040672 _zClick to View
999			_c64273 _d64273