Software Testing for Conventional and Logic Programming

Name: Software Testing for Conventional and Logic Programming
Brand: De Gruyter
SKU: 9783110150711
Price: 105.83 EUR
Availability: InStock

Diss.

Autor: Oliver Jack

Jazyk:

Väzba: Pevná

Vydavateľ: De Gruyter

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

105.83 €

The book introduces a mathematical framework for software testing, with emphasis on the impact of th...

Informácie o knihe

Autor

Oliver Jack

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1996

Stránok

251

EAN

9783110150711

ISBN

3110150719

Enbook ID

09229527

Vydavateľ

De Gruyter

Hmotnosť

474

Rozmery

155 x 230 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Testing for Conventional and Logic Programming

Diss.

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Literary Atlas of Cairo

Anathema (Standard Edition)

Constellations

Themes in the Christian History of Central Africa

Art of Imbue: Artwork of Introduction to Imbue

REPORT OF THE BUREAU OF MINES

Compensatory Lengthening

Making of Channel 4

Death Benefit

Day Trading and Swing Trading the Currency Market, 3e - Technical and Fundamental Strategies to Profit from Market Moves

Internal Control/Anti-Fraud Program Design for the Small Business

Undead and Unappreciated. Happy Hour in der Unterwelt, englische Ausgabe

Prelude to Spanish Modernism

The Chambers Complete Crossword Companion

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Matiere Brute Et La Matiere Vivant, Etude Sur L'Origine de La Vie Et de La Mort

LOS LUGARES DEL HOLOCAUSTO

Physiologie humaine

SUSKIA, LA GIGANTA

Tokyo Ghoul:re. Bd.4

Kaiserprophetieen und Kaisersagen

PUBLICITE DE VOITURE DANS PRESSE ECRITE