Кафедра комп’ютерних інформаційних технологій
Permanent URI for this communityhttp://er.nau.edu.ua/handle/NAU/9159
News
Відповідальний за розділ: Райчев Ігор Едуардович, викладач кафедри комп'ютерних інформаційних технологій.
E-mail: raichev.ie@nau.edu.ua
Browse
Browsing Кафедра комп’ютерних інформаційних технологій by Issue Date
Now showing 1 - 20 of 726
- Results Per Page
- Sort Options
Item Исследование методов тестирования программных модулей обработки полетной информации(Вісник КМУЦА. – 2000. – №1–2. – C.127–133., 2000) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичОсновным средством проверки соответствия ПО КП вышеприведенным требованиям является тестирование. Тестирование позволяет обнаружить ошибки в программах и программных комплексах, а в случае отсутствия ошибок тестируемое ПО признается работоспособным. ПО КП будем считать надежным, если оно удовлетворяет требованиям, изложенным в документах [1], [2], [3]. Программные комплексы контроля полетов достаточно сложны, поэтому целесообразно проводить их тестирование поэтапно: модуль программа подсистема система комплекс. В данной работе рассмотрены вопросы тестирования модулей, входящих в состав основных программных комплексов контроля полетов.Item Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов(Вісник НАУ. – 2001. – №1. – С.126–132., 2001) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичОсновным методом проверки ПО КП на соответствие требованиям является функциональное тестирование модулей каждого комплекса с использованием специальных тестовых наборов данных. Проблема заключается в правильном подборе стратегии и методов тестирования, а также в создании необходимых ТНД. Для решения этих задач проведен анализ существующих методов тестирования и технологий создания ТНД, с целью выбора оптимальных методов для каждого из программных комплексов КП с учетом их особенностей.Item Система автоматизації сертифікаційних випробувань програмного забезпечення контролю польотів(Вісник Черкаського державного технологічного університету.–2003.– №3. –С.24–30., 2003-10-24) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичThe results of the processing of information from flight recorders used for flight control, as well as in the investigation of flight incidents. Therefore, the software of the flight control (KP) is critical and the admission to operation is granted after extensive testing and checking for compliance with the requirements of state standards and other normative documents. To verify compliance with KP standards, the set of requirements which is the profile software should be certified testing. The purpose of the tests is the experimental determination of the actual characteristics. Basically the tests are conducted by testing that is a time consuming procedure. According to experts, the cost of testing is not less than 30% of the total cost of software development. Reducing the time of certification testing, reducing cost and increasing the reliability of the results can be achieved by automation. Avtomatiziruete most time-consuming tasks such as creating test data sets (TND) and the processing of test results, which allows to increase the efficiency of testing and, consequently, reliability.Item Проблеми оцінювання якості критичних програмних систем при їх сертифікації(Проблемы программирования. –2004. –№2-3. –С.198–207., 2004-03-11) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичВ статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена модель якості ПЗ. Створення таких методів і засобів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності. In the article the problems of construction of a procedure of certification of a software of automated monitoring systems are considered, as one from classes of the critical program systems, for which the certification of the correspondence is a mandatory procedure. The methods of formalization of a procedure of shaping of criterions of quality are developed and the generalized model of quality of a software is constructed. The creation of such methods and means enables to increase efficiency and quality of tests, that is why reduces labour input of this operation and increases reliability of outcomes of certification of the correspondence.Item Проблеми сертифікації програмного забезпечення автоматизованих систем контролю(Вісник НАУ. –2004. –№1. –С. 23–28., 2004-11-12) Райчев, Ігор ЕдуардовичDiscusses the construction certification procedures software of automated control systems as one of the classes of critical software systems for which certification of compliance is required. Methods have been developed to formalize the procedure for the formation of quality criteria and developed a generalized model of quality. The creation of such methods and tools can improve the efficiency and quality of testing, and therefore reduces the complexity of the operation, and increases reliability of results certification of conformityItem Анализ возможных путей прогнозирования безопасности полётов с использованием данных объективного контроля.(Національний авіаційний університет. Проблеми інформатизації та управління. Збірник наукових праць.№ 2(17)2006, 2006) Холявкіна, Тетяна ВолодимирівнаВ статье сделан обзор существующих концепцій безопасности полетов. Выполнен сравнительный анализ различных концепций. Обоснованы требования к системе объективного контроля как к неотъемлемой части общей системы авиационной безопасности. Намечены пути использования данных объективного контроля для прогнозирования уровня безопасности полётов и минимизация риска летных происшествий.Item Концепція побудови сертифікаційної моделі якості програмних систем(Проблемы программирования. –2006. –№2-3. – С. 275–281., 2006-01-22) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичУ статті розглянуті питання створення концепції побудови сертифікаційної моделі якості програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації вимог до ПС та побудови моделі якості. Створення цих методів дає можливість підвищити ефективність випробувань, що зменшує трудомісткість сертифікації та збільшує достовірність її результатів. In the article the questions of creation of concept of construction of the certified model of quality of program systems, for which a certification of correspondence is a mandatory procedure, are considered. Methods of formalization of requirements and construction of the model of quality are developed. Creation of these methods allow to increase efficiency of tests, that reduces labour input of certification and raises reliability of her results.Item Конструювання програм створення тестових наборів даних на базі автоматних моделей(Математичні машини і системи. –2006. –№3. –С.127–136., 2006-03-10) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичIn the article the questions of automation of creation of test data sets (TND). For this proposed the technology of creation of programs of generation of TND, which is based on the construction of automata models. Received TND automate the detection of events of the control that gives you the opportunity to improve the efficiency of the test reduce the complexity of certification and increase the validity of its results.Item Адаптація процесів організації запитів до бази даних.(Український науково-дослідний інститут зв’язку, 2006-06-29) Холявкіна, Тетяна ВолодимирівнаОписана розподілена інформаційно-обчислювальна система аналізу і обробки інформації про безпеку польотів. Задача оптимального розподілу запитів зведена до задачі квадратичного програмування з обмеженнями типу нерівностей.Item Технологія створення програм генерації тестових наборів даних на базі автоматних моделей(Моделювання та інформаційні технології: зб. наук. пр. –К.: ІПМЕ, 2006. – Вип. 39. – С.27–35., 2006-09-29) Райчев, Ігор ЕдуардовичIn the article technology of creation of test data sets with the help of use of automatic models are considered. The obtained programs allows to automate searching of the monitoring events and to generate tests that enable to increase efficiency of tests, to reduce input of certification and to raises reliability of her results.Item Концепція побудови моделі якості у використані програмних систем(Проблемы программирования. –2006. –№2-3. – С. 275–281., 2006-10-03) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичУ статті розглядаються питання побудови в якості використовувати моделі програмного забезпечення на основі стандартів ІСО/МЕК 14598 і ІСО/МЕК 9126 (1-4). Показано, що побудована модель більшою мірою відповідає потребам користувачів і клієнтів, ніж моделі внутрішнього і зовнішнього якості. В якості клієнта системи, формулює вимоги до якості системи в цілому, на побудову моделі якості програмного забезпечення, вимоги до нього формуються шляхом зіставлення вимог до системи. In the article the questions of construction of quality in use model of the software are considered on the basis of standards ISO/IEC 14598 and ISO/IEC 9126 (1-4). It is shown, that the constructed model in the greater degree corresponds to needs of the user and the customer, than models of internal and external quality. As customer of system formulates requirements to quality of system as a whole, at the construction of quality model for the software, requirements to him are formed by mapping of requirements to systemItem Застосування моделей якості при сертифікації програмних систем(Інститут проблем моделювання в енергетиці: зб. наук. пр. –К.: ІПМЕ, 2006. – Вип. 37. – С.21–28., 2006-11-18) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичIn the article the questions of concept formulation of construction of the certified quality model of program systems, for which a certification of correspondence is a mandatory procedure, are considered. Methods of requirements formalization and construction of quality model are developed. Creation of these methods allow to increase efficiency of tests, that reduces labour input of certification and raises reliability of her resultsItem Анализ возможных путей прогнозирования безопасности полетов с использованием данных объективного контроля(Національний авіаційний університет, 2006-11-22) Холявкина, Татьяна ВладимировнаВ статье сделан обзор существующих концепций безопасности полетов. Выполнен срав¬нительный анализ различных концепций. Обоснованы требования к системам объективного контроля как к неотъемлемой части общей системы авиационной безопасности. Намечены пути использования данных объективного контроля для прогнозирования уровня безопасности полетов и минимизации риска летных происшествий.Item Оценка достоверности обработки полетной информации в автоматизированных информационно-вычислительных системах обеспечения безопасности полетов(Государственный научно-исследовательский институт аэронавигации, 2007) Холявкина, Татьяна Владимировна; Виноградов, Николай Анатолиевич; Лесная, Н.Н.В работе исследованы параметры информационно-вычислительных систем обработки полетной информации, в которых решаются задачи анализа и прогноза уровня безопасности полетов. Разработан алгоритм обработки полетных данных для целей управления безопасностью полетов. Предложен метод выбора технических параметров ИВС в зависимости от требуемого качестваItem Оценка достоверности обработки полётной информации в автоматизированных информационно-вычислительных системах обеспечения безопасности полётов.(Научный вестник ГосНИИ «Аэронавигация», 2007) Холявкіна, Тетяна Володимирівна; Віноградов, Микола Анатолійович; Лесная Н.Н.Item Принципи проектування відкритих розподілених систем. Стуктурний системній аналіз і проектування інформаційних систем. Лабораторний практикум для студентів спеціальності 6.080400 “Інформаційні управляючі системи та технології”.(Національний авіаційний університет., 2007-09-10) Райчев, Ігор ЕдуардовичЛабораторні роботи виконуються згідно з навчальною програмою дисципліни “Принципи проектування відкритих розподілених систем”. Мета практикуму – набуття студентами практичних навичок, поглиблення та закріплення теоретичних знань з питань структурного аналізу і проектування інформаційних об’єктів і процесів предметної області інформаційних систем (ІС), застосування методів аналізу для формування моделі логіки бізнес-процесів ІС та оволодіння методами проектування з використанням CASE-засобів BPWin та ERWin. Лабораторний практикум орієнтований на вивчення СASE-засобів на прикладі діаграм, що створюються для проекту ІС «Служба зайнятості в рамках вищого навчального закладу (ВНЗ)».Item Концепція побудови програм створення тестових наборів даних на основі автоматних моделей(// Моделювання та інформаційні технології: зб. наук. пр. –К.: ІПМЕ. –2007. Вип. 40.–С.29–37., 2007-09-10) Райчев, Ігор Едуардович; Василенко, Валерій АндрійовичIn the article the concept of creation of test data sets on the basis of use of automatic models are considered. The obtained programs allows to automate searching of the monitoring events and to generate tests that enable to increase efficiency of certified tests and to raises reliability of certification resultsУ статті розглянуто концепцію створення наборів тестових даних на основі використання автоматичних моделей. Отримані програми дозволяє автоматизувати пошук подій моніторингу та генерації тестів, які дозволяють підвищити ефективність сертифікаційних випробувань і підвищує достовірність результатів сертифікаціїItem Принципи проектування відкритих розподілених систем. Об'єктно-орієнтоване проектування інформаційних систем. Лабораторний практикум для студентів спеціальності 6.080400 “Інформаційні управляючі системи та технології”.(Національний авіаційний університет., 2007-09-18) Райчев, Ігор Едуардович; Харченко, Олександр ГригоровичМістить описання принципів і методів об'єктно-орієнтованого аналізу і проектування інформаційних систем для довільного предметного середовища на основі комп’ютеризованих засобів і технологій. Розглянуто методологію побудови проекту інформаційної системи на базі UML-діаграм із використанням CASE-засобу візуального об'єктно-орієнтованого моделювання Rational Rose. Для студентів спеціальності 6.080400 “Інформаційні управляючі системи та технології”.Item Інформатика та комп’ютерна техніка: Методичні рекомендації до виконання лабораторних робіт(Національний авіаційний університет, 2008) Кадет, Наталія Павлівна; Малюк, Ірина Анатоліївна; Шевцова, Євгенія ВалеріївнаItem Традиционные формы использования записей бортовых регистраторов в новых условиях. Программа международной научно-практической конференции. Современные проблемы обработки полётной информации.(Національний авіаційний університет. Программа международной научно-практической конференции. Современные проблемы обработки полётной информации.27-28.05.2008., 2008-05-27) Холявкіна, Тетяна Володимирівна1. «Положения о системе управления безопасностью полетов на авиационном транспорте» - использование записей бортовых регистраторов. 2. «Авиационные правила информационного обеспечения системи управления безопасность полётов воздушных судов гражданской авиации Украины» - записей бортовых регистраторов. 3. Использование записей бортовых регистраторов с целью контроля качества функционирования ТК «ВС-экипаж-среда». 4. Контроль и анализ качества выполнения полётов по данным бортовых систем регистрации полетной информации.