Evaluating the Assessment of Software Fault-Freeness
نویسندگان
چکیده
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
منابع مشابه
AESSCS 2014 Programme
14:00 Rob Ashmore, The Utility and Practicality of Quantifying Software Reliability 14:15 John Rushby, Bev Littlewood, and Lorenzo Strigini, Evaluating the Assessment of Software Fault-Freeness 14:30 Discussion: Should we be following recipes or quantifying software performance? 14:55 Dewi Daniels, The Efficacy of DO-178B 15:10 Discussion: Can we assess a standard as a whole (much as system-lev...
متن کاملSoftware Fault-Freeness and Reliability Predictions
Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning – about evidence of correctness and about probabilities of certain failures – are rarely brought together explicit...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملStability Assessment Metamorphic Approach (SAMA) for Effective Scheduling based on Fault Tolerance in Computational Grid
Grid Computing allows coordinated and controlled resource sharing and problem solving in multi-institutional, dynamic virtual organizations. Moreover, fault tolerance and task scheduling is an important issue for large scale computational grid because of its unreliable nature of grid resources. Commonly exploited techniques to realize fault tolerance is periodic Checkpointing that periodically ...
متن کاملTowards comparability in evaluating the fault tolerance of safety critical embedded software
This thesis deals with the problem of obtaining meaningful and comparable dependability measures of software through the method of fault-injection. The thesis is specifically dedicated to safety-critical embedded software and its dependability property ‘fault-tolerance’ with respect to random faults affecting the machine instruction execution. For enabling comparability of the faulttolerance of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1404.6844 شماره
صفحات -
تاریخ انتشار 2014