|
-
Ключові слова:
якість, качество, guality ; політ, полет, polyot (flight) ; сертифікація, сертификация, certificate ; забезпечення програмне, обеспечение программное, software ; випробування, испытание, test ; система автоматизована, система автоматизированная, automatic system ; тестування, тестирование ; автореферат (текст) ; Техніка, с.г., медицина
-
Анотація:
Дисертація присвячена створенню технології оцінювання характеристик якості ПЗ автоматизованих систем контролю (АСК) при сертифікації ПЗ на відповідність вимогам. Здійснено аналіз проблем сертифікації та розроблено концепцію побудови цільової сертифікаційної моделі ПЗ АСК, як одного з класів критичних програмних систем. Побудовано систему атоматизації сертифікаційних випробувань ПЗ контролю. Експериментально доведено працездатність технології при ипробуваних ПЗ автоматизованих систем контролю польотів.
-
Теми документа
-
ББК науковий // Бортовой регистратор информации
-
ІКАО // бортовой самописец; flight recorder
-
ІКАО // контролируемый полет; controlled flight
-
ІКАО // полет FLT; flight; FLT
-
ББК науковий // Программирование для обработки данных. Математическое (программное) обеспечение АСУ и системы передачи данн
-
ІКАО // программное обеспечение; software
|
