|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910462740803321 |
|
|
Autore |
Jack Oliver |
|
|
Titolo |
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : W. de Gruyter, 1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Reprint 2011] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (252 p.) |
|
|
|
|
|
|
Collana |
|
Programmierung Komplexer Systeme / Programming Complex Systems ; ; 10 |
Programming complex systems ; ; 10 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Testing |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index |
|
|
|
|
|
|
|