|
Abstract
|
وارسی (Verification) یکی از مراحل مهم در فرایند تولید سیستم های نرم افزاری است. از اهداف مهم وارسی می توان به موارد زیر اشاره کرد: 1) اطمینان (تا حد ممکن) از ساخته شدن سیستم مورد نظر بدون خطا 2)اطمینان (تا حد ممکن) از برآورده شدن تمامی نیازمندیها و مشخصات مورد انتظار کاربران توسط سیستم نرم افزاری ساخته شده. بین درستی یابی (Verification) و اعتبارسنجی (Validation) تفاوت است. در Verification دنبال این هستیم که بررسی کنیم آیا سیستم را درست ساخته ایم؟ یعنی با نیازمندیهای مورد نظر مطابقت دارد یعنی کار را درست انجام می دهد. در حالی که در Validationدنبال این هستیم که بررسی کنیم آیا نتایجی که پس از اجرای سیستم گرفته می شود با نتایجی که هدف ساخت سیستم بوده مطابقت می کند یعنی کارِ درست را انجام می دهد. معمولاً، وارسی سیستم نرم افزاری قبل از پیاده سازی روی مدلی از آن انجام می شود. برای بررسی درستی مدل، مجموعه ای از روش های رسمی (Formal Methods) وجود دارند که درستی مدل را با استفاده از تحلیل های دقیق ریاضی بررسی می کنند.
|