شماره ركورد كنفرانس :
3929
عنوان مقاله :
اهميت درستي يابي در سيستم هاي كامپيوتري و معرفي روش هاي صوري درستي يابي
پديدآورندگان :
علوي زاده علويه السادات Alavi_188@ziau.ac.ir هيات علمي گروه كامپيوتر، واحد زرنديه، دانشگاه آزاداسلامي، زرنديه، ايران
كليدواژه :
درستي يابي , وارسي مدل , PRISM
عنوان كنفرانس :
اولين همايش ملي توسعه كاربردهاي صنعتي فناوري اطلاعات، ارتباطات و كامپيوتر
چكيده فارسي :
يكي از فازهاي مهم در فرايند ساخت يك سيستم نرم افزاري يا سخت افزاري فاز آزمايش يا درستي يابي ناميده مي شود. ولي اين فاز نياز به دانش بالا و آزمايش در تمام محيط هاي ممكن دارد، كه اين امر توسط روش هاي صوري به خوبي امكان پذير مي باشد. هدف ما در اين مقاله تشريح مفهوم درستي يابي مي باشد. در ادامه انواع روش هاي صوري براي درستي يابي معرفي مي شوند. يكي از روش هاي درستي يابي وارسي مدل مي باشد كه پس از توصيف اين روش، به بيان يك مثال موردي در مورد آن مي پردازيم.
