Механіко-технологічний факультет
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/760
Browse
19 results
Search Results
Item Сучасне програмне забезпечення(ЦНТУ, 2017) Марченко, К. М.Для студентів напряму підготовки 6.020105 "Документознавство та інформаційна діяльність" при вивченні навчальної дисципліни “Сучасне програмне забезпечення”. Визначено тематику лабораторних робіт, подані приклади створення прикладного програмного забезпечення, приведені варіанти індивідуальних завдань.Item Інформаційна технологія автоматизації проектування та тестування об’єктно-орієнтованого програмного забезпечення(ЦНТУ, 2017) Поліщук, Л.І.; Polischuk, L.I.Розглядається проблема сучасних інформаційних технологій на стадії проектування і тестування об’єктно-орієнтованого програмного забезпечення. The problem of modern information technologies is examined on the stage of planning and testing of the object-oriented software.Item Method of Transforming Abstract Models of Software Systems into Simulation Models(ChSTU, 2018) Dorenskyi, O.; Drieiev, O.; Доренський, О. П.; Дрєєв, О. М.As a result of the dynamic development of information technology and its active implementation in all spheres of human activity it is necessary to create and apply software systems. It is expedient and necessary to simulate them at the early stages of their life cycle. Therefore, the problem of achieving simulation models of software systems on the basis of abstract models is solved in the article. The achievement of simulation models of software systems on the basis of abstract models is solved by transforming state models into equivalent automaton networks. The networks allow simulating asynchrony and non-determinant of parallel independent events, conflicting interactions between processes, describing typical situations in the systems as well as general dynamics of functioning of complex asynchronous systems. Наслідком динамічного розвитку інформаційних технологій та їх активного впровадження у всі галузі людської діяльності є необхідність створення й використання програмних систем. Є доцільним і необхідним їх моделювання на ранніх стадіях життєвого циклу. Тож у роботі розв’язується задача побудови імітаційних моделей програмних систем на основі абстрактних моделей шляхом перетворення моделей станів у еквівалентні їм автоматні мережі, які дозволяють моделювати асинхронність та недетермінованість паралельних незалежних подій, конфліктні взаємодії між процесами, описувати як типові ситуації в системах, так і загальну динаміку функціонування складних асинхронних систем.Item Исследование уровней тестирования программного обеспечения инфотелекоммуникационных систем(ХУПС, 2014) Лысенко, И. А.; Смирнов, А. А.; Мелешко, Е. В.; Лисенко, І. А.; Смірнов, О. А.; Мелешко, Є. В.; Lysenko, I.; Smirnov, A.; Meleshko, Ye.Выделены основные уровни тестирования программного обеспечения инфотелекоммуникационной системы. Рассмотрено понятие тестового случая. Исследованы показатели эффективности методов и средств различных уровней тестирования программного обеспечения. Виділені основні рівні тестування програмного забезпечення інфотелекомунікаційної системи. Розглянуто поняття тестового випадку. Досліджені показники ефективності методів і засобів різних рівнів тестування програмного забезпечення. The basic level of software testing infotelekomunikatsiynoyi system. Considered in mak test case. Investigated performance of different methods and levels of software testing.Item Исследование алгоритма выявления вида неучтенных тестовых случаев в процессе проектирования тестовых наборов(2015) Лысенко, И. А.; Смирнов, А. А.; Лисенко, І. А.; Смірнов, О. А.; Lysenko, I.; Smirnov, А.Предложен алгоритм выявления неучтенных тестовых случаев в процессе использования упорядоченных каскадных таблиц решений при проектировании тестовых наборов для программного обеспечения. Запропоновано алгоритм виявлення неврахованих тестових випадків у разі використання впорядкованих каскадних таблиць рішень при проектуванні тестових наборів для програмного забезпечення. The algorithm for detecting unaccounted test cases in order to use сascadе decisions tables in case of designing test kits for software was proposed.Item Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура(2014) Доренський, О. П.; Смірнов, О. А.; Dorensky, O. P.; Smirnov, А. А.У пропонованій статті модель станів представників класу об’єктів програмного забезпечення складних систем, розроблюваного на основі об’єктно-орієнтованого підходу, розглянуто з погляду абстрактного синтезу скінченного автомата. Обґрунтовано й використано ініціальний скінченний автомат Мура. Здійснено перетворення моделі станів у скінченний автомат. Розкрито сутність формалізації послідовності подій здобутої скінченно-автоматної моделі поведінки представників класу об’єктно-орієнтованого програмного забезпечення, а також особливості формалізації результатів її функціонування на стадії проектування програмних систем. In this paper states model class instances in complex software systems, developed basing on object-oriented approach, is considered as abstract synthesis of a finite-state machine, proved and used Moore machine. Transformation model in a finite-state machine was done, presented the essence of formalization events sequence of result model of behavior of object-oriented software class instances, presented features of formalizing the results of theoperation model at the software systems design stage.Item Информационная технология проектирования тестовых наборов на основе требований к программному обеспечению(ПолНТУ, 2017) Лысенко, И. А.; Смирнов, А. А.; Лисенко, І. А.; Смірнов, О. А.; Lysenko, I. A.; Smirnov, A. A.В статье представлена усовершенствованная информационная технология проектирования тестовых наборов на основе требований к программному обеспечению с использованием упорядоченных каскадных таблиц решений, обеспечивающая повышение полноты покрытия проектируемыми тестовыми наборами требований к программному обеспечению и достоверность самих тестов. У статті представлена вдосконалена інформаційна технологія проектування тестових наборів заснована на вимогах до програмного забезпечення з використанням впорядкованих каскадних таблиць рішень, що забезпечує підвищення повноти покриття тестовими наборами вимог до програмного забезпечення та достовірність самих тестів. The article presents an advanced information technology of developing test kits based on software requirements using regulated cascading decision charts, providing the increase of coverage completeness by the projected test kits of software requirements and the accuracy of the tests themselves.Item Порівняльний аналіз V– та Y–подібної моделей життєвого циклу програмного забезпечення(Київ. ун–т ім. Б. Грінченка, 2017) Хлистун, В. В.Item Особливості програмної реалізації алгоритму AES(ТНТУ ім. Івана Пулюя, 2012) Гаража, В. О.; Доренський, О. П.; Garazha, Vitaliy; Dorensky, OleksandrItem Оцінка вимог до програмних засобів за критерієм тестопридатності(КНТУ, 2016) Улічев, О. С.