ورود
مقالات فارسیISIکنفرانسهاژورنالها

بهبود کیفیت آزمون درنرم افزارهای حساس به ایمنی بااستفاده ازآزمون جهش

محل انتشار: نخستین همایش ملی علوم اسلامی حقوق و مدیریت
سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 414

فایل این مقاله در 21 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:
https://civilica.com/doc/534298

شناسه ملی سند علمی:

NCPB01_495

تاریخ نمایه سازی: 25 آذر 1395

چکیده مقاله:

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

نویسندگان

احسان خراطی

دانشگاه آزاد اسلامی واحداراک دانشکده فنی و مهندسی گروه کامپیوتر نرم افزار

سیدمرتضی بابامیر

دانشگاه کاشان دانشکده فنی و مهندسی گروه کامپیوترنرم افزار

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Error Analysis: A Real Case Study Involving Real Faults and ...
  • H. Agrawal, R.A. DeMillo, B. Hathaway, W. Hsu, W. Hsu, ...
  • J.H. Andrews, L.C. Briand, and Y. Labiche, _ Mutation an ...
  • J.H. Andrews, L.C. Briand, and Y. Labiche, A.S. Namin, "Using ...
  • E. Barbosa, J.C. Maldonado, and A. Vincezi, "Toward the Determination ...
  • J. Barnes, High Integrity Software: The SPARK Approach to Safety ...
  • R. Butler and . Finelli, "The Infeasibility of Quantifying the ...
  • J.J. Chilenski and S.P. Miller, "Applicability of Modified Condit ion/Decision ...
  • J.J. Chilenski, _ Investigation of Three Forms of the Modified ...
  • H. Do and G.E Rothermel, "On the Use of Mutation ...
  • Box Software Development, " Proc. 11th Safety-Critical Systems Symp., Feb. ...
  • R.A. DeMillo, R.J. Lipton, and F.G. Sayward, "Hints on Test ...
  • K. Hayhurst, D.S. Veerhusen, J.J. Chilenski, and L.K. Rierson, _ ...
  • C.R.M. Hierons, M. Harman, and S. Danicic, "Using Program Slicing ...
  • Functional Safety of E l e ctri c a l/ ...
  • ISO 26262: Road Vehicle, Functional Safety, Int'1 Organization for Standardizat ...
  • G. Jay, J.E. Hale, R.K. Smith, D.P. Hale, N.A. Kraft, ...
  • Y. Jia and M. Harman, "Higher Order Mutation Testing, " ...
  • Y. Jia and M. Harman, "MILU: A Customizable, Runt imeOptimized ...
  • J.A. Jones and M.J. Harrold, "Test-Suite Reduction and Prioritization for ...
  • vol. 29, no. 3, pp. 195-209, Mar. 2003. ...
  • B. Littlewood and L. Strigini, ،0Validation of Ultrahigh Dependability for ...
  • T.J. McCabe, "A Complexity Measure, " IEEE Trans. Software Eng.vol. ...
  • T. McCabe and A.H. Watson, "Combining Comprehension and Testing in ...
  • V.D. Meulen and M.A. Revilla, "Correlations between Internal Software Metrics ...
  • MISRA, "Guidelines for the Use of the C Language in ...
  • Enough?" Naval Air Warfare Center, Weapons Division, China Lake, Calif., ...
  • G.J. Myers, The Art of Software Testing. John Wiley & ...
  • A.J. Offutt, J. Voas, and J. Payne, "Mutation Operators for ...
  • A.J. Offutt, A. Lee, G. Rothermel, R.H. Untch, and C. ...
  • A.J. Offutt and J. Pan, "Automatically Detecting Equivalent Mutants and ...
  • A.J. Offutt and R.H Untch, "Mutation 2000: Uniting the Orthogonal, ...
  • "DO-178B Software Considerations in Airborme Systems and Equipment Certification, " ...
  • _ _ _ _ _ _ _ _ _ Soc. ...
  • Guidelines and Methods for Conducting the Safety Assessment Process on ...
  • M. Umar, "An Evaluation of Mutation Operators for Equivalent Mutants, ...
  • A.H. Watson and T.J. McCabe, "Structured Testing: A Testing Methodology ...
    • نمایش کامل مراجع