Головна Головна -> Реферати українською -> Дисертації та автореферати -> Композиційні методи специфікації та верифікації програмних систем

Композиційні методи специфікації та верифікації програмних систем

Назва:
Композиційні методи специфікації та верифікації програмних систем
Тип:
Реферат
Мова:
Українська
Розмiр:
17,48 KB
Завантажень:
135
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11 
Київський національний університет
імені Тараса Шевченка
Панченко Тарас Володимирович
УДК 681.3
Композиційні методи специфікації
та верифікації програмних систем

01.05.03 – математичне та програмне забезпечення
обчислювальних машин і систем
Автореферат
дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ – 2006


Дисертацiєю є рукопис.
Робота виконана на кафедрі теорії та технології програмування факультету кібернетики Київського національного університету імені Тараса Шевченка.
Науковий керівник: доктор фізико-математичних наук, професор Нікітченко Микола Степанович,
Київський національний університет
імені Тараса Шевченка,
завідувач кафедри теорії та технології програмування.
Офіційні опоненти: доктор фізико-математичних наук, професор
Лавріщева Катерина Михайлівна,
Інститут програмних систем НАН України, м. Київ,
завідувач відділу програмної інженерії
кандидат фізико-математичних наук, доцент
Глибовець Микола Миколайович,
Національний університет “Києво-Могилянська
академія”, МОН України, м. Київ,
декан факультету інформатики
Провідна організація: Інститут кібернетики НАН України, м. Київ,
відділ автоматизації програмування.
Захист відбудеться "27" квітня 2006 р. о 14 год. на засіданні спеціалізованої вченої ради Д .001.09 у Київському національному університеті імені Тараса Шевченка за адресою: 03127, Київ, пр. Глушкова, 2, корп. 6, ф-т кібернетики, ауд. 40. (Тел. 521-33-66. Факс 259-70-44. E-mail: rada1@unicyb.kiev.ua)
З дисертацiєю можна ознайомитися у Науковій бiблiотецi Київського національного університету імені Тараса Шевченка за адресою:
01033, Київ, вул. Володимирська, 58.
Автореферат розiсланий "23" березня 2006 р.


Вчений секретар спецiалiзованої вченої ради В. П. Шевченко


ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Інформаційні технології сьогодні розвиваються високими темпами, але якість програмного забезпечення (ПЗ) не завжди задовольняє потребам. Про складний стан справ говорять і самі спеціалісти в галузі комп’ютерних технологій (Е. Дейкстра, Г. Буч). Таким чином, гарантування коректності ПЗ є важливою проблемою.
Методи тестування ПЗ мають очевидні обмеження, отже, існує потреба у строгих, базованих на математиці, формальних методах специфікації та верифікації програмних систем. Формальні методи сьогодні розвинені до достатнього для промислового використання рівня. З іншого боку, у замовників та суспільства зростають вимоги щодо їх застосування. Інколи такі вимоги зафіксовані у стандартах на розробку ПЗ, наприклад, в Європейському стандарті для програмної інженерії, вимогах IEEE чи Європейської космічної агенції.
Одним з формальних підходів до специфікації та верифікації ПЗ є композиційне програмування (КП), яке започатковане В. Н. Редьком та розвивається, зокрема, фахівцями кафедри теорії та технології програмування факультету кібернетики Київського національного університету імені Тараса Шевченка. КП є розвитком структурологічного підходу Г. Фреге, який був перенесений на програмування А. А. Ляпуновим та розвинений Ю. І. Яновим, А. П. Єршовим, Л. А. Калужніним, В. М. Глушковим та іншими. В КП досліджують системи на різних рівнях абстракції, які виникають на шляху експлікації програмування – абстрактному, булевому та номінативному рівнях Що стосується номінативного рівня, то згідно останніх досліджень В. Н. Редька, більш точною була б назва “атрибутний рівень”, оскільки імена (номени) за своєю природою повинні бути однозначними відповідно Г. Фреге і не допускати омонімії, а в номінативних системах вона допускається. Ми ж будемо притримуватись більш традиційних поглядів та системи понять щодо цього питання в термінах робіт:
· Редько В. Н. Основания программологии // Кибернетика и системный анализ. – 2000. – № 1. – С. 3-27.
· N.Nikitchenko. A Composition Nominative Approach to Program Semantics. – Technical Report IT-TR: 1998-020.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11 



Реферат на тему: Композиційні методи специфікації та верифікації програмних систем

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок