| 书目名称 | Tests and Proofs | | 副标题 | 4th International Co | | 编辑 | Gordon Fraser,Angelo Gargantini | | 视频video | | | 概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: “Who would want to ?y in an airplane with software proved correct, but not tested?” Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both “testing” and “proving”in their titles, we are cle | | 出版日期 | Conference proceedings 2010 | | 关键词 | C programming language; Debugging; Software Engineering; automatic testing; constraint logic programming | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-13977-2 | | isbn_softcover | 978-3-642-13976-5 | | isbn_ebook | 978-3-642-13977-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2010 |
The information of publication is updating
|
|
发表于 2025-3-21 19:20:27
