Cantitate/Preț
Produs
Total produse
Vezi coșul
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings de Leonardo Bottaci

Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6303

Editat de Leonardo Bottaci, Gordon Fraser
en Limba Engleză Paperback – 30 aug 2010

Considerăm acest volum un punct de referință pentru inginerii software care urmăresc să aplice rigoarea academică în fluxurile de lucru industriale. Testing: Academic and Industrial Conference - Practice and Research Techniques se concentrează pe tehnologii și limbaje specifice, precum Eiffel și Erlang, oferind soluții concrete pentru testarea protocoalelor și sistemelor complexe. Importanța acestui volum rezidă în capacitatea sa de a transforma concepte teoretice, cum sunt mașinile cu stări finite sau grafurile de dependență, în instrumente practice pentru verificarea software-ului modern.

Structura volumului este organizată strategic pentru a facilita tranziția de la teorie la practică. Începem cu secțiunea de 'Keynote Addresses', unde sunt analizate succesele programului Microsoft de documentare a protocoalelor prin model-based testing. Urmează o serie de lucrări de cercetare care abordează eficiența acoperirii valorilor de graniță și localizarea defectelor în mediile multithreaded prin minarea grafurilor de apeluri dinamice. Ultima parte este dedicată instrumentelor (Tool Papers), prezentând soluții open-source pentru generarea automată de cod xUnit și vizualizarea redundanței testelor.

Ca și Martina Seidl în Tests and Proofs, editorii Leonardo Bottaci și Gordon Fraser distilează experiența reală în principii acționabile, evidențiind modul în care testarea și demonstrarea formală pot evolua în paralel. Deși volumul este ancorat în cercetare, accentul pe injecția de erori în Web Services și securitatea lingvistică a protocoalelor de comunicare text oferă o valoare tehnică imediată pentru dezvoltatorii care se confruntă cu sisteme distribuite non-deterministe.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31785 lei

Preț vechi: 39731 lei
-20%

Puncte Express: 477

Carte disponibilă

Livrare economică 06-20 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

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

Specificații

ISBN-13: 9783642155840
ISBN-10: 3642155847
Pagini: 232
Ilustrații: XIII, 219 p. 82 illus.
Greutate: 0.36 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 QA care doresc să depășească testarea manuală convențională. Veți câștiga o perspectivă tehnică asupra automatizării testelor pentru sisteme complexe și veți descoperi cum pot fi integrate metodele formale în dezvoltarea industrială pentru a reduce numărul de erori în medii multithreaded și protocoale de comunicare.

Despre autor

Leonardo Bottaci și Gordon Fraser sunt cercetători recunoscuți în domeniul ingineriei software, cu un focus deosebit pe automatizarea testării și metode formale. Activitatea lor editorială în cadrul seriei Lecture Notes in Computer Science reflectă angajamentul de a uni rigoarea matematică a mediului academic cu nevoile pragmatice ale industriei IT. Gordon Fraser este cunoscut pentru contribuțiile sale în generarea automată a cazurilor de testare, în timp ce Leonardo Bottaci a publicat extensiv despre eficiența proceselor de testare software.

Descriere scurtă

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.

Cuprins

Keynote Addresses.- Automatic Testing and Fixing for Eiffel.- Testing and Proving, Hand-in-Hand.- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing.- Full Papers.- Masking Boundary Value Coverage: Effectiveness and Efficiency.- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang.- Bad Pairs in Software Testing.- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs.- Filtering Test Models to Support Incremental Testing.- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?.- Linguistic Security Testing for Text Communication Protocols.- Tool Papers.- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation.- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization.- A Fault Injection Tool for Testing Web Services Composition.- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models.- A Generic Approach to Run Mutation Analysis.- Challenge Paper.- The Practical Assessment of Test Sets with Inductive Inference Techniques.- Experience Reports.- Mining API Popularity.- Automatic Discovery of Unspecified Behaviors in Automotive Control Software.- Fast Abstracts.- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information.- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing.- Improved Testing through Refactoring: Experience from the ProTest Project.- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements.- A New Approach for Software Testability.- DOM Transactions for Testing JavaScript.- The GZoltar Project: A Graphical Debugger Interface.

Caracteristici

State-of-the-art research Fast-track conference proceedings Unique visibility