Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій

Permanent URI for this collectionhttp://er.nau.edu.ua/handle/NAU/18237

Browse

Browsing Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій by Issue Date

Filter results by year or month
Now showing 1 - 20 of 89
  • Thumbnail Image
    Item
    Исследование методов тестирования программных модулей обработки полетной информации
    (Вісник КМУЦА. – 2000. – №1–2. – C.127–133., 2000) Райчев, Ігор Едуардович; Харченко, Олександр Григорович
    Основным средством проверки соответствия ПО КП вышеприведенным требованиям является тестирование. Тестирование позволяет обнаружить ошибки в программах и программных комплексах, а в случае отсутствия ошибок тестируемое ПО признается работоспособным. ПО КП будем считать надежным, если оно удовлетворяет требованиям, изложенным в документах [1], [2], [3]. Программные комплексы контроля полетов достаточно сложны, поэтому целесообразно проводить их тестирование поэтапно: модуль  программа  подсистема  система  комплекс. В данной работе рассмотрены вопросы тестирования модулей, входящих в состав основных программных комплексов контроля полетов.
  • Thumbnail Image
    Item
    Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов
    (Вісник НАУ. – 2001. – №1. – С.126–132., 2001) Райчев, Ігор Едуардович; Харченко, Олександр Григорович
    Основным методом проверки ПО КП на соответствие требованиям является функциональное тестирование модулей каждого комплекса с использованием специальных тестовых наборов данных. Проблема заключается в правильном подборе стратегии и методов тестирования, а также в создании необходимых ТНД. Для решения этих задач проведен анализ существующих методов тестирования и технологий создания ТНД, с целью выбора оптимальных методов для каждого из программных комплексов КП с учетом их особенностей.
  • No Thumbnail Available
    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.
  • No Thumbnail Available
    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.
  • No Thumbnail Available
    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 conformity
  • Thumbnail Image
    Item
    Анализ возможных путей прогнозирования безопасности полётов с использованием данных объективного контроля.
    (Національний авіаційний університет. Проблеми інформатизації та управління. Збірник наукових праць.№ 2(17)2006, 2006) Холявкіна, Тетяна Володимирівна
    В статье сделан обзор существующих концепцій безопасности полетов. Выполнен сравнительный анализ различных концепций. Обоснованы требования к системе объективного контроля как к неотъемлемой части общей системы авиационной безопасности. Намечены пути использования данных объективного контроля для прогнозирования уровня безопасности полётов и минимизация риска летных происшествий.
  • No Thumbnail Available
    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.
  • No Thumbnail Available
    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.
  • Thumbnail Image
    Item
    Адаптація процесів організації запитів до бази даних.
    (Український науково-дослідний інститут зв’язку, 2006-06-29) Холявкіна, Тетяна Володимирівна
    Описана розподілена інформаційно-обчислювальна система аналізу і обробки інформації про безпеку польотів. Задача оптимального розподілу запитів зведена до задачі квадратичного програмування з обмеженнями типу нерівностей.
  • No Thumbnail Available
    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.
  • No Thumbnail Available
    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 system
  • No Thumbnail Available
    Item
    Застосування моделей якості при сертифікації програмних систем
    (Інститут проблем моделювання в енергетиці: зб. наук. пр. –К.: ІПМЕ, 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 results
  • Thumbnail Image
    Item
    Анализ возможных путей прогнозирования безопасности полетов с использованием данных объективного контроля
    (Національний авіаційний університет, 2006-11-22) Холявкина, Татьяна Владимировна
    В статье сделан обзор существующих концепций безопасности полетов. Выполнен срав¬нительный анализ различных концепций. Обоснованы требования к системам объективного контроля как к неотъемлемой части общей системы авиационной безопасности. Намечены пути использования данных объективного контроля для прогнозирования уровня безопасности полетов и минимизации риска летных происшествий.
  • Thumbnail Image
    Item
    Оценка достоверности обработки полётной информации в автоматизированных информационно-вычислительных системах обеспечения безопасности полётов.
    (Научный вестник ГосНИИ «Аэронавигация», 2007) Холявкіна, Тетяна Володимирівна; Віноградов, Микола Анатолійович; Лесная Н.Н.
  • Thumbnail Image
    Item
    Оценка достоверности обработки полетной информации в автоматизированных информационно-вычислительных системах обеспечения безопасности полетов
    (Государственный научно-исследовательский институт аэронавигации, 2007) Холявкина, Татьяна Владимировна; Виноградов, Николай Анатолиевич; Лесная, Н.Н.
    В работе исследованы параметры информационно-вычислительных систем обработки полетной информации, в которых решаются задачи анализа и прогноза уровня безопасности полетов. Разработан алгоритм обработки полетных данных для целей управления безопасностью полетов. Предложен метод выбора технических параметров ИВС в зависимости от требуемого качества
  • No Thumbnail Available
    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У статті розглянуто концепцію створення наборів тестових даних на основі використання автоматичних моделей. Отримані програми дозволяє автоматизувати пошук подій моніторингу та генерації тестів, які дозволяють підвищити ефективність сертифікаційних випробувань і підвищує достовірність результатів сертифікації
  • Thumbnail Image
    Item
    Традиционные формы использования записей бортовых регистраторов в новых условиях
    (Національний авіаційний університет, 2008-05-28) Холявкина, Татьяна Владимировна
    1. "Положение о системе управления безопасностью полетов на авиационном транспорте" - использование записей бортовых регистраторов. 2. "Авиационные правила информационного обеспечения системы управления безопасностью полётов воздушных судов гражданской авиации Украины" - использование записей бортовых регистраторов. 3. Использование записей бортовых регистраторов с целью контроля качества функционирования ТК «ВС-экипаж-среда». Важным источником информации о качестве функционирования ТК "ВС - экипаж - среда " есть результаты анализа записей бортовых систем регистрации. 4. Контроль и анализ качества выполнения полетов по данным бортовых систем регистрации полетной информации. Анализ полета с использованием данных бортовых систем регистрации полетной информации выполняется с целью выявления отклонений в технике пилотирования и технологии работы экипажей на разных этапах полета, а также для установления причин, которые вызвали эти ошибки или нарушения. Анализ направлен на повышение уровня профессиональной подготовки летного состава и предупреждение авиационных происшествий. Материалы анализов сохраняются до окончания срока действия латного свидетельства командира ВС, после его продолжения мат/риалы уничтожаются. Анализ материалов полетной информации с целью контроля качества выполнения полетов осуществляется систематически. Оперативный план количества, объема и периодичности проверок разрабатывает руководитель программы МПД на основании заявок летной и инженерной служб и службы качества эксплуатанта. Для анализа используют следующие данные: а) полученные с помощью бортовых систем регистрации полетной информации; б) из полетной документации (задание на полет, штурманский бортовой , журнал, донесение экипажа ВС и др.); в) о метеоусловиях по этапам полета; г) о состоянии ВПП в аэропортах взлета и посадки; д) об особенностях пилотирования данного типа ВС. 5. Использование результатов контроля качества функционирования ТК "ВС - экипаж - среда" для совершенствования профессионального мастерства экипажей ВС. 6. Административные меры к членам экипажа ВС следует применять исключительно в тех случаях, если имели место нарушения правил эксплуатации ВС, которые создали угрозу для безопасности полетов.
  • Thumbnail Image
    Item
  • Thumbnail Image
    Item
  • Thumbnail Image
    Item
    Статистична обробка даних про показники безпеки польотів повітряних суден України
    (Національний авіаційний університет, 2009-01-28) Холявкіна, Тетяна Володимирівна; Сукач, О.М.
    Розглянута задана регулярного контролю рівня безпеки польотів АТС України та особливостей статистичної обробки даних про події в цивільній авіації. Розроблені методи та алгоритми обчислення статистичних показників та їх довірчих меж. Запропоновані методи підвищення вірогідності обчислення оцінок із урахуванням регіональних особливостей парка та умов експлуатації повітряних суден України.