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