 የሚከተሉት መሪ ሃሳቦች የማረጋገጫ እና ማስተካከያዎችን አጠቃቀምን የመልዕክት ይዘቱን እንደ ተጓዳኝ ሁኔታ በኮምፕዩተር ሁኔታ እና በተጨማሪ የሙከራ / የመላ ፍለጋ ዘዴዎችን ያካትታል.
Mitu yotsatirayi ikuphatikizapo kugwiritsa ntchito Mavumbulutso ndi Kusintha kuti athandize mauthenga a uthenga pamene akudutsa mumagulu osiyanasiyana, komanso njira zowunikira / kuthetsera mavuto.