سجاد باقرنژاد - عضو هیات علمی دانشگاه آزاد اسلامی، واحد داراب، گروه کامپیوتر، داراب، ایران

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

؛CASRE, ATM, SMERFS، نرم افزار، قابلیت اطمینان