Software Testing for Conventional and Logic Programming

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

Diss.

Autor: Oliver Jack

Język:

Oprawa: Twarda

Wydawca: De Gruyter

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

459.68 zł

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

Informacje o książce

Autor

Oliver Jack

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1996

strony

251

EAN

9783110150711

ISBN

3110150719

Enbook ID

09229527

Wydawca

De Gruyter

Waga

474

Wymiary

155 x 230 x 12

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Software Testing for Conventional and Logic Programming

Diss.

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również