Механіко-технологічний факультет
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/760
Browse
5 results
Search Results
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 Исследование процесса разработки программного обеспечения инфотелекоммуникационных систем(Харківський університет повітряних сил, 2014) Лысенко, И. А.; Смирнов, А. А.; Полищук, Л. И.; Лисенко, І. А.; Смірнов, О. А.; Поліщук, Л. І.; Lysenko, I. A.; Smirnov, O. A.; Polischuk, L. I.Рассмотрены основные механизмы процесса разработки программного обеспечения инфотелекомуникацийнной системы и их состав. Рассмотрены понятия жизненного цикла программного обеспечения. Исследованы модели разработки программного обеспечения инфотелекомуникационных систем, их преимущества и недостатки. Розглянуто основні механізми процесу розробки програмного забезпечення інфотелекомунікаційної системи та їх склад. Розглянуто поняття життєвого циклу програмного забезпечення. Досліджені моделі розробки програмного забезпечення інфотелекомунікаційних систем, їхні переваги та недоліки. The concept mechanisms of the software development process info telecommunication system and their composition. The concept of software life cycle. The model of software development more info telecommunication systems, their advantages and disadvantages.