এক ডজন ভু ল ধারণা ( ইটা বানাস) ১৯৯০ সােল জ. এ. হল নােমর এক ভ েলাক Seven Myths of Formal Methods নােম একটা ব of Formal Methods। ইটাই নামী দামী গেবষনা ে থ কািশত হেয়িছল, কােজই আমরা ধের িনেত পাির উনারা িলেখন। তােক অ সরণ কের ৫ বছর পের জ. িপ. বাওেয়ন আর এম. িজ. িহংেস লেখন Seven More Myths বািনেয় বািনেয় িলেখন নাই বা িলখেলও বিশ িকছু িলেখন নাই। এই অংেশ য এক ডজন ভু ল ধারণা এবং ইটা বানাস ভু ল ধারণা িনেয় আিম িলেখিছ, সটা তঁােদর লখা অ সরণ কেরই। ভু ল ধারণা লা ফরমাল মথডেক ভােলা এবং খারাপ, ই ভােবই উপ াপন কেরেছ, য লা আসেল সব িমিলেয় িতকর।
ফরমাল মথড ব বহার কের যা বানােনা হেব, তা িনঁখত ু উপিরউ কথািট ভু ল। ফরমাল মথড মােণর উপর িভি কের চেল। সফটওয় ার বানােত গেল সটার সবিকছু য মাণ কের তরী করা হেব, এমন কান কথা নাই। তার উপের আবার আমরা অেনক সময় মাণ করেত িগেয়ও ভু ল কের বিস। সটার দাষ তা আর ফরমাল মথেডর উপের ফলা উিচত না। আমােদর আেশ পােশর প ৃিথবীটাও যুি মাণ করেত করেত চেল না। আমরা কখেনাই িনি ত ভােব বলেত পাির না য কান একটা ঘটনা হেবই, িবেশেষ িকছু না িকছু উ ট ঘটনা ঘেট যায়। তার পেরও আমরা, ইি িনয়াররা মেডল বানাই। যমন একটা বািড় বানােনার সময় আমরা য িডজাইন কির, একদম ব সই অ পােত বা েব বািড় বানােত পাির না আমরা। অথবা ধরা যাক িসমুেলশেনর কথা। আমরা নানারকেমর িসমুেলশন কির, সােথ নানা রকেমর শত বা কি ডশন লািগেয় দই। সটােক বা বস ত আমরা কখেনা পুেরাপুির কির না, িক ু চ া কির বা েবর কাছাকািছ রাখার। এত সীমাব তার পেরও িসমুেলশন মেডল বানাই, যন তা িদেয় বা েবর কাছাকািছ একটা ধারণা করেত পাির আমরা। ফরমাল মথড ব বহার করেল ভু ল করার পিরমাণটা কেম যায়। আবার এটার কারেণ ভু ল করেলও স লা ধরা পের সহেজ। ইটাই ফরমাল মথড ব বহার করার ভােলা কারণ।
ফরমাল মথড
া ামেক সিঠক মাণ করা ছাড়া আর িকছু কের না
সিঠকটা হেলা ফরমাল মথড সফটওয় ােরর িসিফেকশন িনেয় কাজ কের। সফটওয় ার তরীর ে ফরমাল মথেডর ব বহার অেনকটা এমন ক) ফরমাল ভােব িসিফেকশন লখা খ) িসিফেকশেনর িবিভ িদক লা গািণিতক ভােব মাণ করা গ) গািণিতক মাণ লা ব বহার কের একটা া াম লখা ঘ) া ামটা যা করার কথা, তা আসেলই করেছ নািক তা গািণিতক ভােব িমিলেয় দখা এসব করেল িবধা হেলা, সফটওয় ারটার যা যা করার কথা তা আমরা িসিফেকশন িদেয় বেল িদি । িসিফেকশন গািণিতকভােব মাণ করা যায়। সােথ সােথ া ামটাও িসিফেকশন অ সাের কাজ করেছ নািক, সটা মাণ করা স ব হয়। 5