Andere Kunden interessierten sich auch für
![Testing in Scrum: A Guide for Software Quality Assurance in the Agile World]( "Testing in Scrum: A Guide for Software Quality Assurance in the Agile World")
Testing in Scrum: A Guide for Software Quality Assurance in the Agile World46,99 €![Agile Testing]( "Agile Testing")
Agile Testing39,99 €![The Software Test Engineer's Handbook, 2nd Edition: A Study Guide for the Istqb Test Analyst and Technical Test Analyst Advanced Level Certificates 20]( "The Software Test Engineer's Handbook, 2nd Edition: A Study Guide for the Istqb Test Analyst and Technical Test Analyst Advanced Level Certificates 20")
The Software Test Engineer's Handbook, 2nd Edition: A Study Guide for the Istqb Test Analyst and Technical Test Analyst Advanced Level Certificates 2041,99 €![Test Driven Development. By Example]( "Test Driven Development. By Example")
Test Driven Development. By Example31,99 €![Software Testing Foundations]( "Software Testing Foundations")
Software Testing Foundations39,90 €![Experiences of Test Automation: Case Studies of Software Test Automation]( "Experiences of Test Automation: Case Studies of Software Test Automation")
Experiences of Test Automation: Case Studies of Software Test Automation59,99 €![Refinement Calculus]( "Refinement Calculus")
Refinement Calculus77,99 €
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.
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.