چکیده
آزمون یک راه اولیه برای اطمینان از نرمافزار، در سی ستم های ح ساس به ایمنی ا ست . برای این منظور باید فرآیند آزمون را به اندازه کافی
اجرا کرده و اثبات کرد که تمام سطوح آزمون پو شش میشون د. سطوح پو شش اغلب یا توصیه شده اند یا برا ساس ا ستانداردهای امنیتی و
دستتتوراللم های صتتنلتی و تته شتتده اند. آزمون جهش، یک روش مکم یا جایگزین برای اندازهگیری کارایی آزمون استتت. اما بهطور
گ سترده ایی در نرمافزارهای صنلت ی و یا ح ساس به ایمنی بکار نمیرود. در این مقاله، آزمون جهش در سی ستم های نرمافزاری هوایی که
حساس به ایمنی هست ند با پوشش اکثر نیازمندیها و با استفاده از عملگرهای سطح بالا در زبانهای C و Ada انجام میشود. همچنین در
این مقاله موثرترین انواع جهش و من شا عدم موفقیت ها شنا سایی ش ده و سپس تحلی و برر سی شده و تا بتوان رابطهای بین م شخ ص ات
برنامه نظیر تلداد خطوط کد و پیچیدگی مداری و پایداری جهش و جهشهای زنده مانده و خطاهای نهفته یافت.
نتایج نشان میدهد که آزمون جهش میتواند نسبت به تحلی پوشش ساختاری سنتی و بررسی دستی موثرتر باشد و سبب بهبود فرآیند
برنامهنویسی و تلریف نیازمندیها گردد. همچنین در زمینههای صنلتی نظیر نرمافزارهای هوایی نیز میتوان از آزمون جهش استفاده کرد.
کلمات کلیدی: آزمون جهش، حساس به ایمینی، اطمینان، کارایی.
مقاله :بهبود کیفیت آزمون در نرم افزارهای حساس به ایمنی با استفاده از آزمون جهش
