Mohlo by sa vám tiež páčiť

Viac informácií o knihe Software Testing for Conventional and Logic Programming

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 496 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Software Testing for Conventional and Logic Programming
• Podnázov: Diss.
• Autor: Oliver Jack
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 251
• EAN: 9783110150711
• ISBN: 3110150719
• ID: 09229527
• Nakladateľ: De Gruyter
• Hmotnosť: 474 g
• Rozmery: 230 × 155 × 12 mm
• Dátum vydania: 01. October 1996

Obľúbené z iného súdka

---

---

---