Cantitate/Preț
Produs
Total produse
Vezi coșul
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings de Gordon Fraser

Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6143

Editat de Gordon Fraser, Angelo Gargantini
en Limba Engleză Paperback – 17 iun 2010

În domeniul dezvoltării software de înaltă siguranță, dihotomia tradițională între testare și demonstrarea formală a corectitudinii tinde să dispară. Observăm în volumul Tests and Proofs o documentare tehnică a acestui proces de fuziune, prezentată prin prisma lucrărilor celei de-a patra ediții a conferinței TAP, desfășurată în Málaga. Dacă istoric cele două tabere se aflau în competiție, materialele incluse aici demonstrează cum sistemele moderne de testare utilizează rădăcini adânci în logica formală, în timp ce tehnicile de testare permit aplicarea demonstrațiilor acolo unde anterior existau limitări practice.

Structura volumului reflectă o progresie logică de la teorie la aplicații industriale. Remarcăm secțiuni critice precum „QuickSpec”, care explorează ghicirea specificațiilor formale prin testare, și analize despre evaluarea proceselor de demonstrație prin mutații. Un punct de interes major pentru inginerii software îl reprezintă capitolele dedicate generării automate de teste unitare de regresie și utilizarea analizei statice combinate cu testarea pentru depanarea programelor în limbajul C. Această abordare hibridă este esențială pentru sisteme complexe, unde, așa cum subliniază volumul, nimeni nu ar dori să zboare cu un avion al cărui software a fost demonstrat corect, dar niciodată testat în condiții reale.

Poziționată în contextul operei editorului Gordon Fraser, lucrarea continuă direcția începută cu Testing: Academic and Industrial Conference - Practice and Research Techniques, consolidând puntea dintre rigoarea academică și nevoile industriei. În comparație cu lucrările sale de istoria științei sau astronomie, acest volum din seria Lecture Notes in Computer Science adoptă un ton strict tehnic, axat pe algoritmi, circuite booleene și predicate coinductive, fiind o resursă fundamentală pentru cercetătorii care urmăresc eliminarea erorilor logice din arhitecturile software.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31548 lei

Preț vechi: 39435 lei
-20%

Puncte Express: 473

Carte disponibilă

Livrare economică 28 mai-11 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642139765
ISBN-10: 3642139760
Pagini: 174
Ilustrații: 174 p. 60 illus.
Greutate: 0.3 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm acest volum cercetătorilor și inginerilor software care doresc să depășească limitele testării clasice. Cititorul câștigă acces la metodologii avansate de generare automată a testelor și tehnici de verificare formală aplicabile în proiecte unde siguranța este critică. Este un ghid esențial pentru înțelegerea modului în care demonstrarea logică și testarea empirică pot lucra împreună pentru a garanta integritatea codului.

Despre autor

Gordon Fraser este un editor tehnic și scriitor de știință cu o experiență vastă în medii de cercetare de elită, activând peste 25 de ani în cadrul CERN. Din postura de fost editor al Cern Courier, acesta a gestionat fluxul de informații în fizica energiilor înalte, experiență care se reflectă în rigoarea selectării lucrărilor pentru seria Lecture Notes in Computer Science. Pe lângă expertiza în inginerie software și testare, Fraser a publicat lucrări diverse, de la istoria navigației cu aburi la analize despre puterea spațială americană.

Descriere scurtă

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 clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.

Cuprins

Invited Talks.- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.- Myths in Software Engineering: From the Other Side.- Specifications from Testing.- QuickSpec: Guessing Formal Specifications Using Testing.- Testing Proofs.- Testing First-Order Logic Axioms in Program Verification.- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.- Proof Process Evaluation with Mutation Analysis.- Test Generation Using Proof Techniques.- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.- Combining Static Analysis and Test Generation for C Program Debugging.- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.- Theorem Proving and Testing.- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications.- Abstraction.- Syntactic Abstraction of B Models to Generate Tests.- Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Caracteristici

Up-to-date results Fast track conference proceedings State-of-the-art report