Petrenko / Simao / Maldonado Testing Software and Systems

22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-16573-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 267 Seiten, Web PDF

Reihe: Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Petrenko, Alexandre

Simao, Adenilso

Maldonado, José Carlos

Inhaltsverzeichnis

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.