Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings: Lecture Notes in Computer Science, cartea 6706

Descoperim în volumul Tests and Proofs o sinteză tehnică a celor mai avansate metodologii de verificare software de la nivelul anului 2011. Considerăm că relevanța acestui volum rezidă în integrarea unor tehnologii fundamentale precum SAT și SMT solvers în fluxurile de testare, oferind soluții pentru generarea automată a cazurilor de test și model checking. Această ediție a cincea a conferinței internaționale TAP pune accent pe convergența dintre testarea tradițională și demonstrarea formală a corectitudinii programelor.

Apreciem rigoarea procesului de selecție, unde din cele 27 de propuneri au fost reținute doar 12 lucrări complete, completate de intervențiile experților invitați. Tematicile abordate, de la testarea bazată pe proprietăți până la utilizarea UML și OCL pentru specificații, reflectă o preocupare constantă pentru calitatea în ingineria software. Această abordare formală este o continuare naturală a direcțiilor stabilite de editorul Martin Gogolla în lucrările sale anterioare, precum UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. Dacă în volumele precedente accentul cădea pe structura modelelor și pe transformări (așa cum vedem în Theory and Practice of Model Transformations), aici accentul se mută pe validarea lor.

Structura volumului favorizează o lectură tehnică, centrată pe soluții pentru rețele și sisteme complexe. Stilul este cel specific seriei Lecture Notes in Computer Science, fiind orientat către cercetători și ingineri care doresc să implementeze metode formale în procesul de dezvoltare software.