Testing Software and Systems
Springer Berlin (Verlag)
978-3-662-44856-4 (ISBN)
Testing Methodologies.- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.- Plan It! Automated Security Testing Based on Planning.- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria.- Tools and Frameworks.- An Approach to Derive Usage Models Variants for Model-Based Testing.- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.- Well-Defined Coverage Metrics for the Glass Box Test.- Industrial Experiences.- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment.- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.- What Characterizes a Good Software Tester? - A Survey in Four Norwegian Companies.- Short Contributions.- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems.- Towards Testing Self-organizing, Adaptive Systems.- Design of Prioritized N-Wise Testing.- Change Detection System for the Maintenance of Automated Testing.- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.- Search-Based Testing for Embedded Telecom Software with Complex Input Structures.
| Erscheint lt. Verlag | 23.9.2014 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 211 p. 63 illus. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 359 g |
| Themenwelt | Informatik ► Software Entwicklung ► Qualität / Testen |
| Schlagworte | Adaptive Systems • coverage metrics • Distributed Systems • empirical software validation • equivalence checking • fault models and test metrics • formal methods • Model Checking • model verification and validation • Multi-agent Systems • product line • Quality assurance • security testing • self-organizing • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • software testing and debugging • Validation |
| ISBN-10 | 3-662-44856-4 / 3662448564 |
| ISBN-13 | 978-3-662-44856-4 / 9783662448564 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
