|
Ñòðóêòóðà ïðîãðàììû (program structure) – ýòî îáùàÿ ñõåìà ïîñòðîåíèÿ ïðîãðàììû, ðàññìàòðèâàþùàÿ åå ñîñòàâíûå êîìïîíåíòû (ïðîãðàììíûå áëîêè) è âçàèìîñâÿçè ìåæäó íèìè.
Ñïåöèôèêàöèÿ ïðîãðàììû, ïðîãðàììíàÿ ñïåöèôèêàöèÿ (program specification) – ýòî òî÷íàÿ è ïîëíàÿ ôîðìóëèðîâêà îïðåäåëåííîé çàäà÷è èëè ãðóïïû çàäà÷, ñîäåðæàùàÿ ñâåäåíèÿ, íåîáõîäèìûå äëÿ ïîñòðîåíèÿ åå àëãîðèòìà (ïðîãðàììû) èëè ðåøåíèÿ. Ñîäåðæèò îïèñàíèå ðåçóëüòàòà, êîòîðûé äîëæåí áûòü äîñòèãíóò ñ ïîìîùüþ êîíêðåòíîé ïðîãðàììû, à òàêæå òîãî, ÷òî äëÿ äîñòèæåíèÿ ýòîãî ðåçóëüòàòà ïðîãðàììà äîëæíà äåëàòü áåç óïîìèíàíèÿ, êàê äîñòèãíóò óêàçàííûé ðåçóëüòàò.
Âåðèôèêàöèÿ ïðîãðàììû (program verification)
1. Óñòàíîâëåíèå ëþáûì êîððåêòíûì ìåòîäîì ôàêòà ñîîòâåòñòâèÿ ïðîãðàììû çàäàííûì öåëÿì åå ñîçäàíèÿ èëè ïðèîáðåòåíèÿ – óñòàíîâëåíèå ïðàâèëüíîñòè ïðîãðàììû.
2. Ôîðìàëèçîâàííûé êîíòðîëü èëè ïðîâåðêà ðàáîòîñïîñîáíîñòè ïðîãðàììû.
Îòëàäêà ïðîãðàììû (debugging) – ýòî îáíàðóæåíèå, ëîêàëèçàöèÿ è óñòðàíåíèå îøèáîê â êîìïüþòåðíîé ïðîãðàììå.
Îòëàä÷èê (debugger) – ýòî ïðîãðàììà, ïðåäíàçíà÷åííàÿ äëÿ àíàëèçà ïîâåäåíèÿ äðóãîé ïðîãðàììû, îáåñïå÷èâàþùàÿ åå òðàññèðîâêó (îòñëåæèâàíèå è ðàñïå÷àòêó âûïîëíÿåìûõ ïðîãðàììîé êîìàíä, èçìåíåíèé ïåðåìåííûõ èëè äàííûõ î äðóãèõ ñîáûòèÿõ, ñâÿçàííûõ ñ âûïîëíåíèåì ïðîãðàììû), îñòàíîâ â óêàçàííûõ òî÷êàõ èëè, ïðè âûïîëíåíèè óêàçàííûõ óñëîâèé, ïðîñìîòð è èçìåíåíèå ÿ÷ååê ïàìÿòè, ðåãèñòðîâ ïðîöåññîðà è êîìàíä ïðîãðàììû.
Òðàññèðîâêà (trace) – ýòî ìåòîä ïðîâåðêè ïðàâèëüíîñòè ôóíêöèîíèðîâàíèÿ ïðîãðàìì ïðè èõ âûïîëíåíèè ïóòåì îòîáðàæåíèÿ èçìåíåíèé âñåõ çíà÷åíèé ïåðåìåííûõ. Ýòèì äîñòèãàåòñÿ ñîêðàùåíèå ïîèñêà îøèáî÷íûõ êîìàíä, èç-çà êîòîðûõ ïåðåìåííûå ïðèíèìàþò íåâåðíûå çíà÷åíèÿ. Òðàññèðîâêà âûïîëíÿåòñÿ ïðè ïîìîùè ââîäà â ïðîâåðÿåìóþ ïðîãðàììó ñïåöèàëüíûõ êîìàíä èëè ñ èñïîëüçîâàíèåì ñïåöèàëüíûõ ñåðâèñíûõ ïðîãðàìì.
Òåñòèðîâàíèå ïðîãðàììû (program testing) – ýòî ïðîâåðêà ïðîãðàììû â ðàáî÷èõ óñëîâèÿõ ñ íåêîòîðûì ñïåöèàëüíî ñîçäàííûì (òåñòîâûì) ìàññèâîì äàííûõ â öåëÿõ îïðåäåëåíèÿ åå ðàáîòîñïîñîáíîñòè â ñîîòâåòñòâèè ñ çàäàííûìè êðèòåðèÿìè îöåíêè.
Èñïûòàíèÿ ïðîãðàììû (program verification and validation) – ýòî âñåñòîðîííÿÿ (ïî ôîðìàëèçîâàííûì ïðèçíàêàì – «Verification» è îáùåé ñóáúåêòèâíîé îöåíêå – «Validation») ïðîâåðêà è òåñòèðîâàíèå ïðîãðàììû ïðè ñäà÷å åå â ýêñïëóàòàöèþ èëè àòòåñòàöèè.
Ïîäïðîãðàììà (subroutine)
Íåáîëüøàÿ ÷àñòü ïðîãðàììû, ñâÿçàííàÿ ñ ðåàëèçàöèåé êàêîé-ëèáî ïîâòîðÿþùåéñÿ ôóíêöèè, ïðîöåäóðû èëè îïåðàöèè è âûçûâàåìàÿ äëÿ âûïîëíåíèÿ èç ðàçíûõ ìåñò ïðîãðàììû.
 çàâèñèìîñòè îò òîãî, ÿâëÿþòñÿ ëè ïîäïðîãðàììû ÷àñòüþ ðàçðàáîòêè èñïîëüçóþùåé èõ ïðîãðàììû èëè çàèìñòâóþòñÿ èç äðóãèõ ïðîãðàìì, îíè ïîäðàçäåëÿþòñÿ íà âíóòðåííèå ïîäïðîãðàììû (internal subroutines) è âíåøíèå ïîäïðîãðàììû (external subroutines).  êà÷åñòâå ïîñëåäíèõ ìîãóò èñïîëüçîâàòüñÿ è òàê íàçûâàåìûå ñòàíäàðòíûå ïîäïðîãðàììû èëè ïðîãðàììû (standard subroutines, standard programs) – ïðîãðàììû, ïîìåùåííûå â áèáëèîòåêó ïðîãðàìì.
Ïðîãðàììèðîâàíèå (programming)
1. Ñîâîêóïíîñòü ïðîöåññîâ, ñâÿçàííûõ ñ ðàçðàáîòêîé ïðîãðàìì è èõ ðåàëèçàöèåé.  øèðîêîì ñìûñëå ê óêàçàííûì ïðîöåññàì îòíîñÿò âñå òåõíè÷åñêèå îïåðàöèè, íåîáõîäèìûå äëÿ ñîçäàíèÿ ïðîãðàìì, âêëþ÷àÿ àíàëèç òðåáîâàíèé, âñå ñòàäèè ðàçðàáîòêè, à òàêæå ðåàëèçàöèè â âèäå ãîòîâîãî ïðîãðàììíîãî ïðîäóêòà.  óçêîì ñìûñëå ïîä ïðîãðàììèðîâàíèåì ÷àñòî ïîíèìàþò òîëüêî ïðîöåññû âûáîðà ñòðóêòóðû, êîäèðîâàíèÿ è òåñòèðîâàíèÿ ïðîãðàìì.
2. Òî æå, ÷òî ïðîãðàììèðîâàíèå ìàòåìàòè÷åñêîå, òî åñòü îòíîñÿùååñÿ ê ðàçäåëó ïðèêëàäíîé ìàòåìàòèêè, èññëåäóþùåé ïðîáëåìû îïòèìèçàöèè ðåøåíèÿ ðàçëè÷íûõ çàäà÷ ÷åëîâå÷åñêîé äåÿòåëüíîñòè (â òîì ÷èñëå óïðàâëåíèÿ, ïðîåêòèðîâàíèÿ, ïëàíèðîâàíèÿ è ò. ï.).
ñòð. 1, {SITELINK-S377}2{/SITELINK}, {SITELINK-S378}3{/SITELINK}
| 
