Practical stopping criteria for validating safety-critical software by estimating impartial reliability
نویسندگان
چکیده
منابع مشابه
Stopping Rules for the Operational Testing of Safety-Critical Software
Operational testing, which aims to generate sequences of test cases with the same statistical properties as those that would be experienced in real operational use, can be used to obtain quantitative measures of the reliability of software. In the case of safety critical software it is common to demand that all known faults are removed. This means that if there is a failure during the operation...
متن کاملAt the Sharp End: developing and validating Safety Critical Software
Whatever methods and tools are used to generate and maintain the safety case for a project, at some stage the software needs to be developed, verified and validated. With its associated documentation set, this can easily become a very expensive and time consuming exercise, which is largely repeated for each version. This paper examines some of the key issues that impact time and cost, shares pr...
متن کاملTesting the Reliability of Component-Based Safety Critical Software
Testing remains a fundamentally important way to check that a software program behaves as required, but a weakness of testing is that successful testing only leads to informal quality statements. Even where quantitative methods are employed, it is not clear how the objective statements (e.g. 100% code coverage has been achieved) relate to the statements that are really useful such as “the softw...
متن کاملSome conservative stopping rules for the operational testing of safety- critical software
Operational testing, which aims to generate sequences of test cases with the same statistical properties as those that would be experienced in real operational use, can be used to obtain quantitative measures of the reliability of software. In the case of safety critical software it is common to demand that all known faults are removed. This means that if there is a failure during the operation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematical Modelling
سال: 2007
ISSN: 0307-904X
DOI: 10.1016/j.apm.2006.04.017