11811

بررسي رويكردهاي پيشبيني مسيرهاي مضنون به خطا با توجه به گراف كنترلي و ساختار ايستاي برنامه

1399

دكتر حسن نادري

امروزه سيستم هاي نرمافزاري نقش بسيار مهمي را در زندگي روزمره مردم دارند. از اين رو، اهميت قابل اطمينان بودن سيستمهاي نرمافزاري روز به روز در حال افزايش است. در نتيجه آزمون يك سيستم نرمافزاري در چرخه حيات آن نقش بسيار مهمي دارد. مطالعات زيادي در زمينه قابل اطمينان بودن يك نرمافزار شده است. از اين رو مورد آزمون قراردادن يك سيستم نرمافزاري به عنوان يك فرآيند شناخته ميشود. لازم به ذكر است كه تنها قبول شدن در آزمون نرمافزار دليل بر بي خطا بودن و قابل اطمينان بودن يك سيستم نرمافزاري نيست چرا كه ممكن است آزمون نرمافزار جامع، كامل و يا به اشتباه باشد. همينطور ممكن است آزمون نرمافزار خاص منظوره نيز باشد. لازم به ذكر است كه آزمون نرمافزار سبب افزايش اطمينان نرمافزار و كاهش خطا در نرمافزار ميشود. هدف از اين گزارش مرور و بررسي مفاهيم آزمون نرمافزار و زير شاخه هايي كه در اين حوزه وجود دارند، همچون، پيشبيني خطا، توليد داده آزمون و غيره است. همچنين به مطالعه و گزارش كامل روش هاي بررسي و تشخيص مسيرهاي خطا دار خواهد پرداخت.

1/1/1900 12:00:00 AM

77966

1401/12/03

پيشبيني مسيرهاي خطا , خطا , آزمون نرمافزار , گراف جريان كنترلي , ساختار ايستاي برنامه

fault path prediction , fault , software testing , control flow graph , static syntax structure