Îñíîâíîé íåäîñòàòîê òðàäèöèîííîé ïðàêòèêè ñîñòàâëåíèÿ ïðîãðàìì äëÿ ÝÂÌ çàêëþ÷àåòñÿ â òîì, ÷òî ïðè òàêîì ïîäõîäå íèêòî íå ìîæåò ãàðàíòèðîâàòü îòñóòñòâèå â íèõ îøèáîê. Îñîáåííîñòüþ òðàäèöèîííîé ïðàêòèêè ÿâëÿåòñÿ ïîèñê îøèáîê â ïðîãðàììàõ ïðè èõ îòëàäêå íà ÝÂÌ.
Îäíàêî, òàê êàê ÷èñëî îøèáîê â ïðîãðàììàõ çàðàíåå íåèçâåñòíî, òî íåèçâåñòíà çàðàíåå è ïðîäîëæèòåëüíîñòü îòëàäêè ïðîãðàìì íà ÝÂÌ. Áîëåå òîãî äàæå ïîñëå «çàâåðøåíèÿ» îòëàäêè íèêòî íå ìîæåò ãàðàíòèðîâàòü îòñóòñòâèå îøèáîê. Åñòåñòâåííî, ÷òî èñïîëüçîâàíèå òàêèõ ïðîãðàìì, ïðèâîäèò ê âîçíèêíîâåíèþ îòêàçîâ, ñáîåâ è ïîëó÷åíèþ íåâåðíûõ ðåçóëüòàòîâ.
{SITELINK-S80}Ñòðóêòóðíûé ïîäõîä {/SITELINK}ñíèæàåò êîëè÷åñòâî îøèáîê â {SITELINK-S149}àëãîðèòìàõ è ïðîãðàììàõ{/SITELINK}. Îäíàêî è ïðè ýòîì ïîäõîäå ÷èñëî îøèáîê òàêæå çàðàíåå íåèçâåñòíî. Õîòÿ ñòðóêòóðíàÿ ôîðìà çàïèñè è óïðîùàåò ïîèñê è èñïðàâëåíèå îøèáîê â òåêñòàõ ïðîãðàìì, ãàðàíòèè îòñóòñòâèÿ îøèáîê ñòðóêòóðíûé ïîäõîä íå äàåò.
Îäíîçíà÷íûå ñóæäåíèÿ îá îòñóòñòâèè èëè íàëè÷èè îøèáîê â àëãîðèòìàõ è ïðîãðàììàõ âîçìîæíû òîëüêî ïðè íàëè÷èè îïèñàíèé êîíå÷íûõ ðåçóëüòàòîâ èõ âûïîëíåíèÿ. Òàêèå îïèñàíèÿ ïðèíÿòî íàçûâàòü ñïåöèôèêàöèÿìè.
Ñïåöèôèêàöèè ïðîãðàìì - ýòî òî÷íûå, ìàòåìàòè÷åñêè ñòðîãèå îïèñàíèÿ ðåçóëüòàòîâ âûïîëíåíèÿ àëãîðèòìîâ è ïðîãðàìì. Òîëüêî ïðè íàëè÷èè ñïåöèôèêàöèé âîçìîæíî ñîçäàíèå àëãîðèòìîâ è ïðîãðàìì, â êîòîðûõ ìîæíî ãàðàíòèðîâàòü îòñóòñòâèå îøèáîê.
Áîëåå òîãî, ïðè ñèñòåìàòè÷åñêîì èñïîëüçîâàíèè ñïåöèôèêàöèé âîçìîæåí íå òîëüêî àíàëèç ïðàâèëüíîñòè àëãîðèòìîâ è ïðîãðàìì, íî è ñòàíîâèòñÿ âîçìîæíûì ñîñòàâëåíèå ïðîãðàìì ñ îäíîâðåìåííûì äîêàçàòåëüñòâîì ïðàâèëüíîñòè.
Áåçîøèáî÷íîå ïðîãðàììèðîâàíèå - ýòî ñîñòàâëåíèå àëãîðèòìîâ è ïðîãðàìì ñ ãàðàíòèÿìè îòñóòñòâèÿ â íèõ îøèáîê. À ñîñòàâëåíèå àëãîðèòìîâ è ïðîãðàìì ñ îäíîâðåìåííûì äîêàçàòåëüñòâîì ïðàâèëüíîñòè íàçûâàåòñÿ äîêàçàòåëüíûì ïðîãðàììèðîâàíèåì. È â òîì è äðóãîì ïîäõîäå íåîáõîäèìî ñîñòàâëåíèå ñïåöèôèêàöèé.
Äëÿ ñîñòàâëåíèÿ ïðîãðàìì íà ëþáîì ÿçûêå ïðîãðàììèðîâàíèÿ âåñüìà ïîëåçíî ïðåäâàðèòåëüíîå ñîñòàâëåíèå ðåàëèçóåìûõ â íèõ àëãîðèòìîâ. Ýòè îïèñàíèÿ àëãîðèòìîâ âìåñòå ñî ñïåöèôèêàöèÿìè ïîçâîëÿþò â ïîëíîé ìåðå îöåíèòü ïðàâèëüíîñòü ñîñòàâëåííûõ ïðîãðàìì.
{SITELINK-S150}Ïðàâèëüíîñòü {/SITELINK}êàæäîãî èç âñïîìîãàòåëüíûõ àëãîðèòìîâ è ïîäïðîãðàìì îïðåäåëÿåòñÿ ñðàâíåíèåì ñ ñîîòâåòñòâóþùèìè ôðàãìåíòàìè ñöåíàðèÿ, à ïðàâèëüíîñòü âñåãî àëãîðèòìà è ñîîòâåòñòâóþùåé ïðîãðàììû - ñî ñöåíàðèåì â öåëîì.
Äàííûé ïîäõîä ê ñîñòàâëåíèþ àëãîðèòìîâ è ïðîãðàìì ñ èñïîëüçîâàíèåì ñïåöèôèêàöèé - ïîçâîëÿåò ðåàëèçîâàòü îñíîâíóþ èäåþ áåçîøèáî÷íîãî ïðîãðàììèðîâàíèÿ - ñîçäàíèå àëãîðèòìîâ è ïðîãðàìì, ïðàâèëüíûõ ïî ïîñòðîåíèþ. Òàêîé ïîäõîä ìîæåò ïðèìåíÿòüñÿ ê ñîñòàâëåíèþ àëãîðèòìîâ è ïðîãðàìì äëÿ ëþáûõ ñîâðåìåííûõ ÿçûêîâ ïðîãðàììèðîâàíèÿ - Ïàñêàëü, Ñè, Àäà, Ìîäóëà, Áåéñèê è ò. ä.
Ñðàâíåíèå àëãîðèòìà ñî ñöåíàðèåì ïîêàçûâàåò èõ ïîëíîå ñîîòâåòñòâèå äðóã äðóãó.
|