Software Testing for Conventional and Logic Programming
Seiten
1996
|
1. Reprint 2011
De Gruyter (Verlag)
978-3-11-015071-1 (ISBN)
De Gruyter (Verlag)
978-3-11-015071-1 (ISBN)
No detailed description available for "Software Testing for Conventional and Logic Programming".
The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. It provides the foundations for systematic testing of logic programs, comprising program instrumentation techniques and novel test coverage measures for declarative programs. The book also describes novel approaches to test declarative programs, notably logic programs.
Testing concepts suitable for automated test case generation are developed with mathematical rigor. Algorithms for test case generation are presented and test complexity is analysed. Besides theoretical foundations, the book addresses engineering aspects of software testing and describes a tool for automated testing of logic programs.
The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. It provides the foundations for systematic testing of logic programs, comprising program instrumentation techniques and novel test coverage measures for declarative programs. The book also describes novel approaches to test declarative programs, notably logic programs.
Testing concepts suitable for automated test case generation are developed with mathematical rigor. Algorithms for test case generation are presented and test complexity is analysed. Besides theoretical foundations, the book addresses engineering aspects of software testing and describes a tool for automated testing of logic programs.
| Erscheint lt. Verlag | 1.10.1996 |
|---|---|
| Reihe/Serie | Programmierung Komplexer Systeme / Programming Complex Systems ; 10 |
| Zusatzinfo | 61 b/w ill. |
| Verlagsort | Berlin/Boston |
| Sprache | englisch |
| Maße | 155 x 230 mm |
| Gewicht | 472 g |
| Themenwelt | Informatik ► Software Entwicklung ► Qualität / Testen |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | computer software • Fehlererkennung • Logische Programmierung • Programmierung • Programming Complex Systems; 10 • Programmtest • Software • Softwaretest • Software-Test |
| ISBN-10 | 3-11-015071-9 / 3110150719 |
| ISBN-13 | 978-3-11-015071-1 / 9783110150711 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung zum Certified Tester – Foundation Level nach …
Buch | Hardcover (2024)
dpunkt (Verlag)
CHF 55,85
Die Softwaretest-Normen verstehen und anwenden
Buch | Hardcover (2024)
dpunkt (Verlag)
CHF 62,85
Methoden und Techniken für Softwarequalität in der agilen Welt
Buch | Hardcover (2023)
dpunkt (Verlag)
CHF 55,85
