Cantitate/Preț
Produs
Total produse
Vezi coșul
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings de Alexandre Petrenko

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6435

Editat de Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
en Limba Engleză Paperback – 8 oct 2010

Suntem de părere că această lucrare reprezintă un punct de cotitură în evoluția metodologiilor de verificare, fiind rezultatul fuziunii dintre conferința TESTCOM și workshop-ul FATES. Abordarea din Testing Software and Systems diferă de volumul anterior, Testing of Software and Communication Systems de Manuel Nunez, prin focalizarea mai accentuată pe implementări practice și arhitecturi scalabile — este mai puțin abstractă și mult mai aplicabilă în contextul sistemelor complexe actuale.

Descoperim aici o structură riguroasă, organizată pentru a ghida cititorul de la fundamente teoretice spre soluții de inginerie software de înaltă precizie. Cuprinsul indică o progresie logică: se debutează cu starea actuală a automatizării testării folosind standardul TTCN-3, continuând cu abordări bazate pe modele pentru comportamente critice. Subliniem relevanța capitolelor dedicate testării integrării în sisteme bazate pe componente la scară largă și utilizarea algoritmilor de tip „Pareto Ant Colony” pentru optimizarea ordinii de testare.

Din punct de vedere tehnic, volumul editat de Alexandre Petrenko și colegii săi nu se limitează la teorie, ci explorează nișe dificile, cum este testarea sistemelor incorporate în timp real prin metode aleatorii și de căutare (search-based testing). Analizând selecția de lucrări, observăm un echilibru între rigoarea formală a logicii de ordinul întâi și necesitățile pragmatice ale liniilor de produse software. Este o resursă esențială pentru înțelegerea modului în care testarea inductivă și diversitatea cazurilor de testare pot reduce costurile operaționale fără a sacrifica acoperirea funcțională.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31975 lei

Preț vechi: 39968 lei
-20%

Puncte Express: 480

Carte disponibilă

Livrare economică 25 mai-08 iunie

 Adaugă în coș

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

Specificații

ISBN-13: 9783642165726
ISBN-10: 3642165729
Pagini: 267
Ilustrații: XII, 267 p. 76 illus.
Dimensiuni: 6 x 91 x 16 mm
Greutate: 0.42 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ă treacă dincolo de testarea manuală. Cititorul câștigă acces la metodologii avansate de automatizare și testare bazată pe modele, esențiale pentru sisteme critice. Este o investiție valoroasă pentru cei care proiectează arhitecturi de testare distribuite sau lucrează cu specificații de logică formală, oferind soluții concrete pentru optimizarea procesului de verificare în proiecte de mari dimensiuni.

Cuprins

Test Automation with TTCN-3 - State of the Art and a Future Perspective.- A Model-Based Approach to Testing Software for Critical Behavior and Properties.- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem.- More Testable Properties.- Alternating Simulation and IOCO.- Reducing the Cost of Model-Based Testing through Test Case Diversity.- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems.- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage.- Increasing Functional Coverage by Inductive Testing: A Case Study.- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.- Test Data Generation for Programs with Quantified First-Order Logic Specifications.- Efficient Distributed Test Architectures for Large-Scale Systems.- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks.- A Learning-Based Approach to Unit Testing of Numerical Software.- From Scenarios to Test Implementations Via Promela.- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.

Caracteristici

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

Descriere

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the merger of the 22nd IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 10th International Workshop on Formal Approaches to Testing of Software (FATES). The 16 revised full papers presented together with 2 invited presentations were carefully selected from 60 submissions. The papers cover a wide range of topics in the field of testing of general software and systems such as test automation, integration testing, test case selection, search based testing, combinatorial testing, inductive testing, test architectures for large-scale systems, and end-to-end performance testing.