.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for Tests and Proofs
Paperback. Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. This work contains papers that focus on the convergence of software proofing and testing and feature research work that combines ideas from both sides to foster software quality. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 226 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 361.
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by ... Read more
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by ... Read more
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
226
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
217
Place of Publication
Berlin, Germany
ISBN
9783540737698
SKU
V9783540737698
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Tests and Proofs