An investigation of proposed techniques for quantifying confidence in assurance arguments

استفاده از موارد ایمنی در صدور گواهینامه، مسئله میزان اطمینان استدلال و مسئله اعتماد (یا عدم قطعیت) را در ادعاهای استدلال مطرح می کند. بعضی از محققان پیشنهاد می کنند که مدل اعتماد به نفس را کمی و محاسبه اعتماد به نتیجه گیری استدلال. ما از شواهد کمی برای نشان دادن این که هر نوع تکنیک پیشنهادی نتایج قابل اعتماد ارائه می شود که توسط تمرینکنندگان ایمنی سیستم اجرا می شود، می دانیم. طرفداران معمولا اثربخشی تکنیک های خود را از طریق آزمایش کنترل شده یا مطالعه تاریخی ارزیابی نمی کنند. در عوض، آنها مثال مثالری را ارائه می دهند که محاسبات نتیجه قابل قبولی را ارائه می دهد. در این مقاله، پیشنهادات فعلی، ادعاهای مربوط به آنها و شواهد ارائه شده به نفع آنها را مرور می کنیم. سپس ما نشان می دهیم که تکنیک های پیشنهاد شده در برخی موارد ممکن است نتایج غیر قابل باوری را ارائه دهند. ما نتیجه می گیریم که تکنیک های اعتماد به نفس کمی نیاز به اعتبار بیشتری دارند قبل از اینکه آنها باید به عنوان بخشی از مبنایی برای تصمیم گیری در مورد این که آگاه بودن اطمینان یک سیستم انتقادی را توجیه می کند توصیه می شود.