1.2. Программалық құралдың тiршiлiк циклi компьютер технологиясында қолданылуы

Компьютер технологиясының мә ндерi ө ткiзiлген талқ ылаудан циклдегi оғ ан қ атысты ө згерiстерi де тү сiнуге болады. Егер ПТ ө ң деу бойынша негiзгi кү штердi қ ол технологиясының қ олдануы (кодтау ) программалау жә не (тестеу) талқ ылау шындығ ында кезең де iстелiнсе, онда компъютер технологиясының қ олдануында - (талаптардың анық тауы жә не функционалдық спецификация) ПТ-ның ө ң деудiң ерте кезең дерiне жатады.

Сонымен бiрге қ ұ жаттаманың сипаты айтарлық тай ө згердi: ө ң деушi ә р тү рлi дә режелерге (қ олданушы ) тапсырма берушiдегi мә лiметтерi берiлу бағ дарланғ ан табандатқ ан ү йреншiктi емес қ ұ жаттардың тiркесi орынына таң даулы қ олданбалы интерфейс қ олдайтын ПТ жә не ү стiрт функционалдық спецификациялар тү п тұ лғ алар қ алыптасады, (немесе тү бегейлi олардың бө лiгi болмаса)ПТ бағ дарламалардың (генерация ) автоматты синтезi ү шiн жеткiлiктi.

Сонымен бiрге ө ң деушiлерге жә не қ олданушыларғ а қ ажеттi қ ұ жаттаманың бiр бө лiгiнiң автоматты генерациясының мү мкiндiгi қ ажеттi пайда болды. (кодтаулар ) қ ол программалауы орынына - керек емес автономды талқ ылаумен iстейтiн жә не бағ дарламалардың тестеу бағ дарламалардың автоматты генерациясы: ол орынына қ абылдайды қ ұ жаттаманың терең автоматты семантикалық бақ ылауы жеткiлiктi.

Айтарлық тай ПТ-ның бақ ылап отыруын сипаттайық: ол ө згередi ө ң деушi- жү ргiзушiнiң барлық ө згерiстерi итке тек қ ана (қ оса жә не тү п тұ лғ а) спецификацияда, ө ң ге ө згерiстердi енгiзiледi автоматты iске асады. Компъютер технологиясының қ олдануы бар ПТ-ның айтылғ ан тiршiлiк циклiнiң есепке алуымен (1-шi сурет) келесi схемамен кө рсетуге болады.

1-шi сурет. Программалық қ ұ ралдың тiршiлiк циклi компьютер технологиясында қ олданылуы.

Тү пнұ сқ асын анық тау қ олданушының аралығ ында ө зара ә рекеттесудi жанама сипаттаманы алмастыруғ а мү мкiндiк бередi жә не барлық қ ажеттi бө лшектердi бекiтумен ә дiс жә не бұ л ө зара ә рекеттесудi стильнiң қ олданушысын тө те сайлауды (ПТ-ғ а талаптарының анық тауы жә не сыртқ ы сипаттамада) автоматты тү рде орнатуғ а болады.

Қ олданбалы интерфейстiң дә л сипаттамасы, компъютер технологиясының тү сiнiктi программалық қ олдауына кә зiргi жағ дайда ө ндiрiп алады, жә не де қ олданушының жауапты қ атысуымен: ө ң деушi ә р тү рлi мү мкiндiктер жә не қ олданушы мониторда қ олданушығ а кө рсетедi қ олайлы оны варианттар ү шiн таң дайды, қ олданушысы олардың ү стiнде ол жұ мыстанылатын ақ параттық объекттер жә не операциялардың белгiсi, оны ө ң деушi арқ ылы ендiредi рұ қ саттың ә дiсiн таң дайды олардың ә р тү рлi терезелермен, мә зiр, виртуалды клавиатуралармен ол ұ ластырады ә р тү рлi бө лiктер жә не перденiң бө лшектерiнiң даярлауларын кө лемдi кiтапханасы бар кү йiне келтiрiлетiн қ абық тың компьютер технологиясының программалық қ олдауындағ ы бар болуғ а бұ ның барлық негiзделу тағ ы сол сияқ тылар.

Нә тижеде кө рcетiлген ә серлер ПТ қ абық пен анық талады – ПТ жоғ арғ ы бағ дарлаушы дең гей. Сiрә, мұ ндай тү пнұ сқ асын анық тау қ олданушымен жә не ө ң деушiнiң аралығ ында тосқ ауылдың жең уiн жақ сы ә дiс болып табылады.

Спецификациялардың ө ң деуi бiрнеше ә ртү рлi процесстерге ыдырайды. Егер (талаптардың анық тауы) спецификациялардың ө ң деуiн бастапқ ы кезең дi шығ арса, онда процесстер бұ л формализацияланғ ан қ ұ жаттардың жасауына, ө йткенi жетектеп жү нетiн ә дiстердi қ олданылады. формализацияланғ ан спецификациялар тiлдерiн қ олданылады.

Сонымен бiрге спецификациялардың ә р тү рлi схемалар жә не жеткiлiктi ақ параттық ортаның қ ұ рылымы жә не ПТ-ның басқ аруын қ ұ рылымдарды анық тауғ а формалданатын диаграммалардың жасау жетектеп жү нетiн графикалық тә сiлдерi кең қ олданылады. Мысалы, мұ ндай қ ұ рылымдарғ а мә лiмет сипаттамасының спецификацияларының алгебралық тiлiнелерi операциялық немесе аксиоматикалық семантиканы ) қ олданушы кө рсетiлген бө лiктерi жә не бағ дарламалар немесе (негiзделетiн бағ дарламалардың спецификациясына логикалық жолдарында) логикалық спецификациялар тiлдерi жалғ анады.

Мұ ндай спецификациялар бағ дарламаларды автоматты шығ аруғ а едә уiр дә режеде немесе толық мү мкiндiк бередi. Программалауды технологияның аспапты жү йелерi. Ө ң деулер жә не ұ зақ тiршiлiк циклi бар ү лкен Пт-ды бақ ылап отыруын компьютер қ олдауы ү шiн программалауды технологияның аспапты жү йелерiн қ олданылады. Программалауды технологияның аспапты жү йесi - бұ л программалық жә не аппаратты аспаптардың интеграцияланғ ан жиынтығ ы, ө ң деу жә не шең берiнде нақ тылы технологияның ағ ымында жинағ ы оның тiршiлiк циклдасының ү лкен ПТ-ның бақ ылап отыруының қ олдайтын барлық процесстерi. Бұ л анық таудан компьютер қ олдауын бұ л сыныптың келесi негiзгi сызық тары шығ ады: жинақ тылық, ұ жымдық ө ң деуге хабарланғ андық, технологиялық айқ ындық, ү йлесiмдiлiк.

Ұ жымдық ө ң деуге хабарланғ андық жү йе ұ жымның жұ мысымен (management ) басқ аруды қ олдайтынын жә не бұ л ұ жымның ә ртү рлi мү шелерi ү шiн технологиялық ү дерiстердi ө нiмнiң ә р тү рлi бө лiктерiне ә ртү рлi қ ол жеткiзу қ ұ қ ық тары қ амтамасыз етуi керек болатынын бiлдiредi. Компьютер қ олдауын технологиялық айқ ындық оның жинақ тылығ ы программалауды қ андай болмасын нақ ты технологияның шең берлерiмен шектелгенiн бiлдiредi. Программалауды технологияның аспапты жү йелерi болады бiрде аяқ тағ ан олардың аспапты қ ол тимеушiлiгi болу ү шiн ү лкен жә не ПТ жеткiлiктi. Қ осылатын аспаптардың оларында жиыны сондық тан тiлдер жә не программалауды таң даулы технология қ олданылатын пә ндiк облыстардың қ ажеттiктерiнiң есепке алуымен мұ қ ият iрiктеледi.

Компьютер қ олдауын ү йлесiмдiлiктi бiлдiредi мә лiметтiң ү йлесiмдiлiк, қ олданбалы интерфейс бойынша ү йлесiмдiлiк, (функцияларғ а) ә серлер бойынша ү йлесiмдiлiк, Мә лiметтiң ү йлесiмдiлiк аспаптар жү йенiң (ақ параттық объекттер) мә лiметтердiң бө лiктерiнiң ә р тү рлi қ олданылатын жү йелерiнiң тә уелдiлiгi бiр-бiрiмен анық тайтын бекiтiлген (ү лгiмен ) ақ параттық схемасымен сә йкес жұ мыс iстегенiн бiлдiредi. Қ олданбалы интерфейс бойынша ү йлесiмдiлiк барлық аспаптар бiртұ тас қ олданбалы интерфейспен топтастырғ анын бiлдiредi. Бiрiншiден, ә серлер бойынша ү йлесiмдiлiк жү йеде барлық аспаптар жалпы бө лiмдерде болатынын бiлдiредi, екiншiден орындаудың жанында ө з функцияларының бiр аспаптары басқ а аспаптарғ а айнала алады.

● Ә рбір қ абат барлық қ абаттардың ішкі қ ұ рылуын білмей-ақ, алдын-ала анық талғ ан интерфейс арқ ылы міндетті тү рде қ атысатын (анағ ұ рлым тө менірек) қ абатпен басқ ару бойынша (компоненттерге айналу) ө зара ә серлесе алады;

● Ә рбір қ абат не басқ а қ абаттардан жасыратын, не келесі қ абаттарғ а (кө рсетілген, интерфейс арқ ылы) олардың кейбір абстракцияларын қ амтамасыз ететін нақ ты ресурстарғ а ие.

⇐ Предыдущая 123 4 5 6 Следующая ⇒