Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Safeware: system safety and computers
Safeware: system safety and computers
Fault Injection Techniques and Tools
Computer
Predicting How Badly "Good" Software Can Behave
IEEE Software
Investigating rare-event failure tolerance: reductions in future uncertainty
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Composing Security-Aware Software
IEEE Software
Continuous evolutionary one-step-ahead testing
ACM SIGSOFT Software Engineering Notes
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Visual Analytics for Requirements-driven Risk Assessment
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Model-based performance analysis using block coverage measurements
Journal of Systems and Software
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component-based software certification based on experimental risk assessment
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Hi-index | 0.00 |
It does not make sense to grant carte blanche high-assurance certificates to product that may be used across multiple platforms and in multiple environments. We should bind software certification to a product's known environment and operational profile. The author proposes three techniques for verifying high assurance: desirable-behavior testing, abnormal testing, and fault injection. Each uses the product's operational profile to detect software-related anomalies that might allow a catastrophic event