Құ рылымдық ұ станымғ а негізделген программалық жабдық тардың ерекшеліктері

Құ рылымдық ұ станымғ а негізделген программалық жабдық тардың ерекшеліктері
Орындағ ан: ВТ-405 группасының
студенті Бексолтанова Әйгерім

Спецификация
Программалық жабдықтың өмірлік циклындағы маңызды кезеңнің бірі – бұл программалық жабдықтарға қойылатын талаптарға анализ жасау негізінде программалық жабдықтардың ерекшелігін немесе спецификациясын анықтау болып табылады.
Спецификация (specify-дәл анықтау- точно определять, spesisication- детальдары- детали, specificерекше сипаттамаларыособый отличительный характер) –жасалатын программалық жабдықтардың және оған қойылатын шектеулердің формалды түрдегі дәл сипаттамалары.

Спецификация негізгі екі бө лімнен тұ рады: функционалдық бө лім, программалық жабдық тардың орындайтын функцияларын сипаттайды; 2) эксплуатациялық бө лім, техникалық құ рал-жабдық тарғ а, ақ параттық қ ауіпсіздікті сақ тауғ а қ ойылатын талаптарды анық тайды.

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

Спецификацияларды анық тау кезең індегі формальды модельдер классификациясы

Құ рылымдық ұ станымғ а негізделген программалық жабдық тарды құ руда, талдауда жә не жобалауда негізінен келесі модельдер элементтері қ олданылады:
A. мәліметтер ағынының диаграммасы (DFD – Data Flow Diagrams) бұл ақпарат көзі мен оны қабылдаушының арасындағы әрекетті жүйенің (программалық жабдықтардың) процесі түрінде сипаттайды; B. «мәнді байланыс» диаграммасы (ERD – Entity – relationship diagrams) жүйенің (программалық жабдықтардың) деректер қорын сипаттайды; C. күйлер ауысуының диаграммасы (STD –State Transition Diagrams) жүйенің уақытқа байланысты күйінің өзгеріп отыруын сипаттайды; D. процестердің спецификациясы, оны көрсету үшін әдетте тексттер, псевдокодтар, Flow-формалар , Насси-Шнейдерман диаграммалары қолданылады; E. терминдер сөздігі – бұл спецификациялы беруде қолданылатын терминдер, қысқартылған сөздерге берілетін түсініктемелер.

Кү йлер ауысуының диаграммасы (диаграмма переходов состоянии) – ақырғы автоматтардың графиктік формасы болып табылады. Ақырғы автоматтар (конечные автоматы) – техникалық құрылғының дербес іс – әрекетін (детермированное поведение) модельдеу үшін қолданылатын математикалық абстракциялық ұғым, автоматтар теориясында анықталған. Күйлер ауысуының диаграммасының қызметі басқару кезіндегі оның реакцияларын немесе поведенияларын (спецификацияны анықтау кезіндегі) көрсету болып табылады. Мұнда басқарушы сигнал немесе қолданушының командасы болуы мүмкін. Бұл команданы алғаннан кейін, жүйе оған жауап ретінде бір әрекет жасайды, яғни сол күйін сақтап қалады, не болмаса басқа күйге ауысады. Автоматтар теориясына сәйкес, мұнда диаграмма тұрғызу үшін, анықталады: бастапқы күй (терминальное состояние); әсер етуші басқарушы сигнал (немесе көшу шарты); орындалатын әрекет немесе бірнеше варианттар.

Функционалдық диаграммалардың қызметі программалық жабдықтар құрамындағы функциялардығ өзара байланысуын, иерархиясын көрсетеді. Функционалдық диаграммалардың фунционалдық модельдер деп атайды. Фунционалдық модельдың көп тараған түрінің бірі SADT ( Structured Analysis and Design Technique) – технология структорного анализа и проетирования). Оны 1973 жылы Д. Росс ұсынған. Функционалдық диаграммаларды тұрғызу келесі қағидаларға негізделген:  әрбір функция бір блок ретінде қарастырылады;  әрбір блок үшін бастапқы мәлімет, басқарушы команда, функцияны орындаушы механизм (программалық жабдық немесе техникалық құрылғы) және нәтиже анықталады. Функционалдық диаграммадағы мәлімет, басқарушы команда, функцияны орындаушы механизм және нәтиже барлығы сызықтар (дугалар) түрінде беріледі, мысалы:

Бұл сызықтар іс жүзінде мәліметтердің жиынтығы, нәтижелердің жиынтығы, немесе басқарушы командалар жиынтығы болып табылады.
Блоктар диаграммада байланысу реті бойынша сатылы түрде орналасады. SADT диаграммаларда блоктар байланысуының келесі түрлері бар:  кіріс блоктың шығыс дугасы келесі орындалатын блоктың кіріс дугасы болады;  басқарушы блоктың шығыс дугасы келесі блоктың басқарушы дугасы болады;  кіріс бойынша кері байланыста кейінгі блок басқарушы дугасы алғашқы блоктың кіріс дугасы болады;  басқару бойынша кері байланыста кейінгі блоктың шығыс дугасы алдыңғы блок үшін басқарушы дуга болады;  шығыс – орындаушыда алғашқы блоктығ шығыс дугасы келесі блоктың орындаушы механизмі болады.

НАЗАРЛАРЫҢЫЗҒА РАХМЕТ!!!


Пән: Информатика


Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь