Tests and Proofs, Fachbücher von Catherine Dubois

Das Buch "Tests and Proofs" versammelt die Forschungs- und eingeladene Beiträge, die auf der dritten Internationalen Konferenz zu Tests und Beweisen (TAP 2009) präsentiert wurden, die vom 2. bis 3. Juli 2009 an der ETH Zürich, Schweiz, stattfand. Diese Konferenz widmet sich der Konvergenz von Beweisen und Tests im Bereich der Softwarequalität. Die Autoren diskutieren die Herausforderungen und Synergien zwischen diesen beiden Ansätzen, die traditionell als widersprüchlich angesehen werden. Während Beweise darauf abzielen, die Korrektheit eines Programms durch mathematische Techniken zu demonstrieren, konzentrieren sich Tests darauf, Fehler durch Ausführung des Programms zu identifizieren. Das Buch beleuchtet die Notwendigkeit, diese beiden Methoden zu kombinieren, um die Softwareentwicklung zu verbessern und die Qualität zu steigern. Es bietet wertvolle Einblicke in die aktuellen Forschungstrends und die Entwicklung von Methoden, die Beweise und Tests miteinander verbinden.