احسان خراطی - دانشگاه آزاد اسلامی واحداراک دانشکده فنی و مهندسی گروه کامپیوتر نرم افزار
سیدمرتضی بابامیر - دانشگاه کاشان دانشکده فنی و مهندسی گروه کامپیوترنرم افزار

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