شماره ركورد كنفرانس
5243
عنوان مقاله
كيفيت آزمون در نرمافزارهاي حساس به ايمني با استفاده از آزمون جهش
پديدآورندگان
خراطي احسان e-kharati@iau-arak.ac.ir دانشكده فني و مهندسي، دانشگاه آزاد اسلامي، اراك، ايران. , موسوي چراغ آبادي سميه السادات e-kharati@iau-arak.ac.ir دانشكده فني و مهندسي، دانشگاه آزاد اسلامي، اراك، ايران.
تعداد صفحه
16
كليدواژه
آزمون جهش , حساس به ايمني , اطمينان , كارايي.
سال انتشار
1401
عنوان كنفرانس
اولين كنفرانس ملي سيستمهاي هوشمند، محاسبات نرم و رياضيات كاربردي
زبان مدرك
فارسي
چكيده فارسي
آزمون يك راه اوليه براي اطمينان از نرمافزار، در سيستمهاي حساس به ايمني ا ست. براي اين منظور بايد فرآيند آزمون را به اندازه كافي اجرا كرده و اثبات كرد كه تمام سطوح آزمون پوشش ميشوند. سطوح پوشش اغلب يا توصيه شدهاند يا براساس استانداردهاي امنيتي و دستورالعملهاي صنعتي وضع شدهاند. آزمون جهش، يك روش مكمل يا جايگزين براي اندازهگيري كارايي آزمون است. اما بهطور گستردهايي در نرمافزارهاي صنعتي و يا حساااس به ايمني بكار نميرود. در اين مقاله، آزمون جهش در ساايسااتمهاي نرمافزاري هوايي كه حساااس به ايمني هسااتند با پوشااش اكثر نيازمنديها و با ا ستفاده از عملگرهاي سطح بالا در زبانهاي C و Ada انجام مي شود. همچنين در اين مقاله موثرترين انواع جهش و من شا عدم موفقيتها شنا سايي شده و سپس تحليل و برر سي شده و تا بتوان رابطهاي بين م شخ صات برنامه نظير تعداد خطوط كد و پيچيدگي مداري و پايداري جهش و جهشهاي زنده مانده و خطاهاي نهفته يافت. نتايج نشاان ميدهد كه آزمون جهش ميتواند نسابت به تحليل پوشاش سااختاري سنتي و بررسي دستي موثرتر باشد و سبب بهبود فرآيند برنامهنويسي و تعريف نيازمنديها گردد. همچنين در زمينههاي صنعتي نظير نرمافزارهاي هوايي نيز ميتوان از آزمون جهش استفاده كرد
كشور
ايران
لينک به اين مدرک