Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-88-470-2772-5 |
Carrier Form: | 1 online resource (viii, 215 p.) : ill. |
Bibliography: | Includes bibliographical references. |
ISBN: |
9788847027725 (electronic bk.) 8847027721 (electronic bk.) |
Index Number: | TA169 |
CLC: | TB114.3 |
Contents: |
V&V in Safety Critical System -- Safety-Critical Standards for Verification and Validation / Robustness Testing of Web Services / JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware / Fault Injection -- Tools for Injecting Software Faults at the Binary and Source-Code Level / Survey on Software Faults Injection in Java Applications ... |