AUTOREF_Черноножкин (1013950), страница 4
Текст из файла (страница 4)
Íà îñíîâå èçó÷åíèÿ è àíàëèçà èìåþùèõñÿ ìåð ñëîæíîñòè ïðîãðàìì ðàçðàáîòàíàìîäåëü ìåð ñëîæíîñòè äëÿ Ìîäóëà-2-ïðîãðàìì. Äàííàÿ ìîäåëü âêëþ÷àåòìåðû äëÿ ïðîöåäóðû, ìîäóëÿ îïðåäåëåíèé è ìîäóëÿ ðåàëèçàöèé. Îíà âñîâîêóïíîñòè ïîçâîëÿåò îöåíèòü ñëîæíîñòü äàííîãî ìîäóëÿ è ïðèíÿòü íåîáõîäèìûåðåøåíèÿ ïî äàëüíåéøèì øàãàì îòíîñèòåëüíî åãî èñïîëüçîâàíèÿ. Ðåàëèçîâàííàáîð èíñòðóìåíòîâ, âû÷èñëÿþùèé íàáîð ìåð äàííîé ìîäåëè, è êîìïîíåíòâû÷èñëÿþùèé íàáîð ìåð ñëîæíîñòè äëÿ ïðîãðàìì, íàïèñàííûõ íà àññåìáëåðåÅÑ ÝÂÌ.
Ðàçðàáîòàíà ìåòîäèêà ïðèìåíåíèÿ ïîëó÷àåìûõ ðåçóëüòàòîâ.2. Ðàçðàáîòàíà êîíöåïöèÿ ñðåäñòâ ïðîôèëèðîâàíèÿ (ñáîðà äèíàìè÷åñêèõ õàðàêòåðèñòèêïðîãðàìì) äëÿ àññåìáëåðíûõ è Ìîäóëà-2-ïðîãðàìì. Îñíîâíûì åå îòëè÷èåìîò ñóùåñòâóþùèõ ÿâëÿåòñÿ ïîíÿòèå ÷àñòè÷íîãî ïðîôèëÿ ïðîãðàììû. Ïðîâåäåíàðåàëèçàöèÿ äàííîé êîíöåïöèè ñîçäàíû ïðîôèëèðîâùèêè àññåìáëåðíûõè Ìîäóëà-2-ïðîãðàìì.3. Ïðåäëîæåí ñïîñîá ôîðìàëüíîãî îïèñàíèÿ êðèòåðèåâ òåñòèðîâàíèÿ ñ ïîìîùüþïîíÿòèé: ìíîæåñòâî òðåáóåìûõ ýëåìåíòîâ è ïîêðûòèÿ äàííîãî ìíîæåñòâà.Ðàçðàáîòàí êîìïëåêñíûé êðèòåðèé òåñòèðîâàíèÿ äëÿ Ìîäóëà-2/Îáåðîí-2ïðîãðàìì, âêëþ÷àþùèé ñåìü êðèòåðèåâ ñòðóêòóðíîãî òåñòèðîâàíèÿ, òðè èçêîòîðûõ ïðåäëîæåíû è ñôîðìóëèðîâàíû âïåðâûå.
Äëÿ çàäàíèÿ òåñòîâûõóñëîâèé è èõ îïèñàíèÿ âî âíîâü ñôîðìóëèðîâàííûõ êðèòåðèÿõ ðàçðàáîòàíïðîñòîé ÿçûê îïèñàíèÿ òåñòîâûõ óñëîâèé.151.2.3.4.5.6.7.8.4. Èññëåäîâàíà ïðîáëåìà ïîñòðîåíèÿ ìèíèìàëüíîãî äóãîâîãî ïîêðûòèÿ äëÿàññåìáëåðíûõ è Ìîäóëà-2-ïðîãðàìì. Ïðåäëîæåí àëãîðèòì ïîñòðîåíèÿ ìèíèìàëüíîãîäóãîâîãî ïîêðûòèÿ ñ ó÷åòîì òåõ çàìå÷àíèé è íåòî÷íîñòåé, êîòîðûå ïðèñóòñòâîâàëèâàëãîðèòìå,ïðåäëîæåííûìÊ.À.
Èûóäó è Ì.Ì. Àðèïîâûì ñ óòî÷íåíèÿìè Â.À. Øèìàðîâà. ðàìêàõ ïðîåêòà ÑÎÊÐÀÒ ðåàëèçîâàíà ñèñòåìà TGS, ñòðîÿùàÿ ìíîæåñòâîïóòåé, ïîêðûâàþùèõ òåñòîâûå óñëîâèÿ, çàäàâàåìûå êîìïëåêñíûì êðèòåðèåì,êîòîðûé ñîñòîèò èç ñëåäóþùèõ òðåõ êðèòåðèåâ ñòðóêòóðíîãî òåñòèðîâàíèÿ:Ñ1, ïîêðûòèÿ âñåõ ñóùåñòâåííûõ îïðåäåëåíèé ïåðåìåííûõ (all-defs) è ïîêðûòèÿöèêëîâ (all-cycles).
Äëÿ êðèòåðèÿ Ñ1 ñòðîèòñÿ ìèíèìàëüíîå äóãîâîå ïîêðûòèå,êîòîðîå ïîïîëíÿåòñÿ íåîáõîäèìûì íàáîðîì ïóòåé äëÿ âûïîëíåíèÿ äâóõîñòàâøèõñÿ êðèòåðèåâ. Äëÿ âñåõ ïîñòðîåííûõ ïóòåé ôîðìèðóåòñÿ ôîðìóëàèõ ðåàëèçóåìîñòè.Ðåàëèçîâàí êîìïîíåíò êîíòðîëÿ òåñòèðîâàííîñòè àññåìáëåðíûõ ïðîãðàììäëÿ êðèòåðèÿ Ñ1, îáåñïå÷èâàþùèé ïîêàç êàê ñòåïåíè òåñòèðîâàííîñòè ïðîãðàììû,òàê è òåõ åå âåòâåé, êîòîðûå åùå íå èñïîëíÿëèñü íà òåêóùèé ìîìåíò òåñòèðîâàíèÿ,åñëè, êîíå÷íî, îíè åñòü.5. Ðåàëèçîâàíà ñèñòåìà ÎÑÒ ñèñòåìà êîíòðîëÿ òåñòèðîâàííîñòè Ìîäóëà2/Îáåðîí-2 ïðîãðàìì (ñèñòåìà îöåíêè ïîëíîòû íàáîðà òåñòîâ), êîòîðàÿîáåñïå÷èâàåò ïîêàç êàê ñòåïåíè òåñòèðîâàííîñòè ïðîãðàìì ïî êîìïëåêñíîìóêðèòåðèþ, òàê è íåïîêðûòûõ, íà òåêóùèé ìîìåíò, òåñòîâûõ ýëåìåíòîâ, ÷òî,â ñâîþ î÷åðåäü, èëè ïîìîãàåò ïîñòðîèòü íîâûå òåñòû äëÿ èõ ïîêðûòèÿ,èëè ïðîñòîé àíàëèç ïîëó÷åííûõ ðåçóëüòàòîâ, ñâÿçàííûõ ñ íåïîêðûòîñòüþîïðåäåëåííûõ òåñòîâûõ óñëîâèé, ïðèâîäèò ê âûÿâëåíèþ îøèáîê â ïðîãðàììå.Ìåðû ñëîæíîñòè ïðîãðàìì (Îáçîð) //Ñèñòåìíàÿèíôîðìàòèêà.
Âûï. 5: Àðõèòåêòóðíûå, ôîðìàëüíûå è ïðîãðàììíûå ìîäåëè. Íîâîñèáèðñê: Íàóêà, 1997. C. 188227.Ìåðû ñëîæíîñòè ïðîãðàìì (Îáçîð). Íîâîñèáèðñê, 1994. 36ñ. (Ïðåïð. /ÑÎ ÐÀÍ. ÈÑÈ; 21).Ñðåäñòâà ïðîôèëèðîâàíèÿ ïðîãðàìì â ñèñòåìå ÑÎÊÐÀÒ. Íîâîñèáèðñê, 1998. 20ñ. (Ïðåïð. /ÑÎ ÐÀÍ. ÈÑÈ; 48).Èíñòðóìåíòû ïîääåðæêè ñòðóêòóðíîãîòåñòèðîâàíèÿ â ñèñòåìå ÑÎÊÐÀÒ // Ñðåäñòâà è èíñòðóìåíòû îêðóæåíèéïðîãðàììèðîâàíèÿ. Íîâîñèáèðñê, 1995. C. 3045.Ñòðóêòóðíîå òåñòèðîâàíèå â ñèñòåìåÑÎÊÐÀÒ // Ïðîãðàììíûå ñèñòåìû.
Íîâîñèáèðñê, 1996. C. 135148.OCT: ñèñòåìà êîíòðîëÿ òåñòèðîâàííîñòèÌîäóëà-2-ïðîãðàìì. Íîâîñèáèðñê, 1997. 46 ñ. (Ïðåïð. /ÑÎ ÐÀÍ. ÈÑÈ; 38).Êðèòåðèè òåñòèðîâàíèÿ è ñèñòåìà îöåíêèïîëíîòû íàáîðà òåñòîâ // Ïðîãðàììèðîâàíèå. 1998. 6.Ìåòîäû îöåíêè òåñòèðîâàííîñòè ïðîãðàìì // ÒðåòèéÑèáèðñêèé êîíãðåññ ïî ïðèêëàäíîé è èíäóñòðèàëüíîé ìàòåìàòèêå (ÈÍÏÐÈÌ-98):Òåç.
äîêë. ×.5 Íîâîñèáèðñê: Èçä. ÈÌ ÑÎ ÐÀÍ, 1998. Ñ.52.×åðíîíîæêèíÑ.Ê.×åðíîíîæêèí Ñ.Ê.×åðíîíîæêèí Ñ.Ê.ÊàóôìàíÀ.Â.,×åðíîíîæêèíÊàóôìàíÀ.Â.,×åðíîíîæêèíÑ.Ê.Ñ.Ê.Êàóôìàí À.Â., ×åðíîíîæêèí Ñ.Ê.Êàóôìàí À.Â., ×åðíîíîæêèí Ñ.Ê.×åðíîíîæêèíÑ.Ê.16Ïîäïèñàíî â ïå÷àòü 22.12.1998Ôîðìàò áóìàãè 60 ×90 1/16Îòïå÷àòàíî íà ðèçîãðàôå "AL-Group".630090, Íîâîñèáèðñê-90, ïð. Àêàä. Ëàâðåíòüåâà, 6.Îáúåì 1.1 ó÷.-èçä.ë.Òèðàæ 100 ýêç..















