Çàî÷íîå äèñòàíöèîííîå îáðàçîâàíèå ñ ïîëó÷åíèåì ãîñóäàðñòâåííîãî äèïëîìà ÷åðåç Internet










Ïîëó÷èòü èíôîðìàöèþ î ïîñòóïëåíèè
 
Ãëàâíàÿ Íîâîñòè Êàðòà ñàéòà Ôîòîàëüáîì Ãîñòåâàÿ êíèãà Êîíòàêòû

Îñíîâû áåçîøèáî÷íîãî ïðîãðàììèðîâàíèÿ
Àíàëèç ïðàâèëüíîñòè àëãîðèòìîâ

 

Îñíîâû áåçîøèáî÷íîãî ïðîãðàììèðîâàíèÿ

Îñíîâíîé íåäîñòàòîê òðàäèöèîííîé ïðàêòèêè ñîñòàâëåíèÿ ïðî­ãðàìì äëÿ ÝÂÌ çàêëþ÷àåòñÿ â òîì, ÷òî ïðè òàêîì ïîäõîäå íèêòî íå ìîæåò ãàðàíòèðîâàòü îòñóòñòâèå â íèõ îøèáîê. Îñîáåííîñòüþ òðàäèöèîííîé ïðàêòèêè ÿâëÿåòñÿ ïîèñê îøèáîê â ïðîãðàììàõ ïðè èõ îòëàäêå íà ÝÂÌ.

Îäíàêî, òàê êàê ÷èñëî îøèáîê â ïðîãðàììàõ çàðàíåå íåèçâåñòíî, òî íåèçâåñòíà çàðàíåå è ïðîäîëæèòåëüíîñòü îòëàäêè ïðîãðàìì íà ÝÂÌ. Áîëåå òîãî äàæå ïîñëå «çàâåðøåíèÿ» îòëàäêè íèêòî íå ìîæåò ãàðàíòèðîâàòü îòñóòñòâèå îøèáîê. Åñòåñòâåííî, ÷òî èñïîëüçîâàíèå òàêèõ ïðîãðàìì, ïðèâîäèò ê âîçíèêíîâåíèþ îòêàçîâ, ñáîåâ è ïîëó­÷åíèþ íåâåðíûõ ðåçóëüòàòîâ.

{SITELINK-S80}Ñòðóêòóðíûé ïîäõîä {/SITELINK}ñíèæàåò êîëè÷åñòâî îøèáîê â {SITELINK-S149}àëãîðèòìàõ è ïðîãðàììàõ{/SITELINK}. Îäíàêî è ïðè ýòîì ïîäõîäå ÷èñëî îøèáîê òàêæå çàðà­íåå íåèçâåñòíî. Õîòÿ ñòðóêòóðíàÿ ôîðìà çàïèñè è óïðîùàåò ïîèñê è èñïðàâëåíèå îøèáîê â òåêñòàõ ïðîãðàìì, ãàðàíòèè îòñóòñòâèÿ îøèáîê ñòðóêòóðíûé ïîäõîä íå äàåò.

Îäíîçíà÷íûå ñóæäåíèÿ îá îòñóòñòâèè èëè íàëè÷èè îøèáîê â àëãîðèòìàõ è ïðîãðàììàõ âîçìîæíû òîëüêî ïðè íàëè÷èè îïèñàíèé êîíå÷íûõ ðåçóëüòàòîâ èõ âûïîëíåíèÿ. Òàêèå îïèñàíèÿ ïðèíÿòî íàçûâàòü ñïåöèôèêàöèÿìè.

Ñïåöèôèêàöèè ïðîãðàìì - ýòî òî÷íûå, ìàòåìàòè÷åñêè ñòðîãèå îïèñàíèÿ ðåçóëüòàòîâ âûïîëíåíèÿ àëãîðèòìîâ è ïðîãðàìì. Òîëüêî ïðè íàëè÷èè ñïåöèôèêàöèé âîçìîæíî ñîçäàíèå àëãîðèòìîâ è ïðî­ãðàìì, â êîòîðûõ ìîæíî ãàðàíòèðîâàòü îòñóòñòâèå îøèáîê.

Áîëåå òîãî, ïðè ñèñòåìàòè÷åñêîì èñïîëüçîâàíèè ñïåöèôèêàöèé âîçìîæåí íå òîëüêî àíàëèç ïðàâèëüíîñòè àëãîðèòìîâ è ïðîãðàìì, íî è ñòàíîâèòñÿ âîçìîæíûì ñîñòàâëåíèå ïðîãðàìì ñ îäíîâðåìåí­íûì äîêàçàòåëüñòâîì ïðàâèëüíîñòè.

Áåçîøèáî÷íîå ïðîãðàììèðîâàíèå - ýòî ñîñòàâëåíèå àëãîðèòìîâ è ïðîãðàìì ñ ãàðàíòèÿìè îòñóòñòâèÿ â íèõ îøèáîê. À ñîñòàâëåíèå àëãîðèòìîâ è ïðîãðàìì ñ îäíîâðåìåííûì äîêàçàòåëüñòâîì ïðàâèëü­íîñòè íàçûâàåòñÿ äîêàçàòåëüíûì ïðîãðàììèðîâàíèåì. È â òîì è äðóãîì ïîäõîäå íåîáõîäèìî ñîñòàâëåíèå ñïåöèôèêàöèé.

Äëÿ ñîñòàâëåíèÿ ïðîãðàìì íà ëþáîì ÿçûêå ïðîãðàììèðîâàíèÿ âåñüìà ïîëåçíî ïðåäâàðèòåëüíîå ñîñòàâëåíèå ðåàëèçóåìûõ â íèõ àëãîðèòìîâ. Ýòè îïèñàíèÿ àëãîðèòìîâ âìåñòå ñî ñïåöèôèêàöèÿìè ïîçâîëÿþò â ïîëíîé ìåðå îöåíèòü ïðàâèëüíîñòü ñîñòàâëåííûõ ïðî­ãðàìì.

{SITELINK-S150}Ïðàâèëüíîñòü {/SITELINK}êàæäîãî èç âñïîìîãàòåëüíûõ àëãîðèòìîâ è ïîäïðî­ãðàìì îïðåäåëÿåòñÿ ñðàâíåíèåì ñ ñîîòâåòñòâóþùèìè ôðàãìåíòàìè ñöåíàðèÿ, à ïðàâèëüíîñòü âñåãî àëãîðèòìà è ñîîòâåòñòâóþùåé ïðî­ãðàììû - ñî ñöåíàðèåì â öåëîì.

Äàííûé ïîäõîä ê ñîñòàâëåíèþ àëãîðèòìîâ è ïðîãðàìì ñ èñïîëü­çîâàíèåì ñïåöèôèêàöèé - ïîçâîëÿåò ðåàëèçîâàòü îñíîâíóþ èäåþ áåçîøèáî÷íîãî ïðîãðàììèðîâàíèÿ - ñîçäàíèå àëãîðèòìîâ è ïðî­ãðàìì, ïðàâèëüíûõ ïî ïîñòðîåíèþ. Òàêîé ïîäõîä ìîæåò ïðèìåíÿòüñÿ ê ñîñòàâëåíèþ àëãîðèòìîâ è ïðîãðàìì äëÿ ëþáûõ ñîâðåìåííûõ ÿçûêîâ ïðîãðàììèðîâàíèÿ - Ïàñêàëü, Ñè, Àäà, Ìîäóëà, Áåéñèê è ò. ä.

Ñðàâíåíèå àëãîðèòìà ñî ñöåíàðèåì ïîêàçûâàåò èõ ïîëíîå ñîîò­âåòñòâèå äðóã äðóãó.



 
     
   
 


Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êðóãëîì ñòîëå!
ïîäðîáíåå   >>>
 

Èíñòèòóò Ìåíåäæìåíòà, Ýêîíîìèêè è Èííîâàöèé íà÷èíàåò íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Óâàæåìûå ñòóäåíòû ÀÍÎ ÂÏÎ ÈÌÝèÈ!
ïîäðîáíåå   >>>
 

Íà÷èíàåòñÿ íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êîíôåðåíöèÿõ!
ïîäðîáíåå   >>>
 


âñå íîâîñòè...