Механіко-технологічний факультет
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/760
Browse
4 results
Search Results
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 Разработка упорядоченных каскадных таблиц решений с использованием матриц следования(ХУПС, 2016) Лысенко, И. А.; Смирнов, А. А.; Лисенко, І. А.; Смірнов, О. А.; Lysenko, I. A.; Smirnov, A. A.Рассматриваются вопросы усовершенствования методов тестирования программного обеспечения инфокомму-никационных систем с использованием таблиц решений. Разрабатывается предложение по усовершенствованию описательских возможностей аппарата таблиц решений методом преобразования их в упорядоченные каскадные таблицы решений с использованием матрицы следования. Розглядаються питання вдосконалення методів тестування програмного забезпечення інфокомунікаційних систем з використанням таблиць рішень. Розробляється пропозиція по вдосконаленню можливостей опису апарата таблиць рішень методом перетворення їх у впорядковані каскадні таблиці рішень з використанням матриці слідування. The problems of improving the software testing methods of communication systems with the use of decision tables. Develops proposals on improvement of decision tables describe the capabilities of the machine by converting them into a cascading ordered solutions using following matrixItem Усовершенствование метода проверки корректности таблиц решений для формального представления тестовых наборов(ХУПС, 2016) Лысенко, И. А.; Смирнов, А. А.; Лисенко, І. А.; Смірнов, О. А.; Lysenko, I. A.; Smirnov, A. A.Рассматриваются вопросы проверки корректности таблиц решений для формального представления тестовых наборов, включая проверку их избыточности, противоречивости и полноты на основе выявления неучтенных в таблице ситуаций. Разрабатывается предложение по усовершенствованию существующих методов путем математической формализации. Розглядаються питання перевірки коректності таблиць рішень для формального представлення тестових наборів, включаючи перевірку їх надлишковості, суперечливості та повноти на основі виявлення не врахованих у таблиці ситуацій. Розробляється пропозиція щодо вдосконалення існуючих методів шляхом математичної формалізації. Questions of validation tables for making a formal presentation of test sets, including verification of redundancy, inconsis-tency and completeness by identifying not included in the table situations. Developed proposals to improve existing methods by mathematical formalization.Item Формализация процесса проектирования тестовых наборов(ХУПС, 2016) Смирнов, А. А.; Лысенко, И. А.; Смірнов, О. А.; Лисенко, І. А.; Smirnov, A. A.; Lysenko, I. A.Рассматриваются вопросы усовершенствования методов создания тестовых наборов для проверки программного обеспечения инфокоммуникационных систем на этапе системного тестирования. Представлена процедура преобразования упорядоченной каскадной таблицы решений в поток управления тестового набора на основе обобщенного метода дерева решений. Розглядаються питання вдосконалення методів створення тестових наборів для перевірки програмного забезпечення інфокомунікаційних систем на етапі системного тестування. Представлена процедура перетворення впорядкованої каскадної таблиці рішень у потік керування тестового набору на основі узагальненого методу дерева рішень. Questions of improving methods of creating test kits for testing of software systems infocommunication during system testing. Presented conversion procedure ordered cascading flow control solutions in the test set based on generalized method of decision trees.