تولید اهداف آزمون مبتنی بر نیازمندی ها در توصیفات تبدیل گراف

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

کلیدواژه ها:

اعتبار سنجی ، وارسی مدل ، نیازمندیها ، توصیفات تبدیل گراف ، اهداف آزمون ، فرمالیسم