Кафедра кібербезпеки та програмного забезпечення
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/772
Browse
4 results
Search Results
Item Проектування комп’ютерних систем та мереж. Лабораторні роботи(2022) Смірнов, О. А.; Буравченко, К. О.; Смірнова, Т. В.; Конопліцька-Слободенюк, О. К.; Смірнов, С. А.Метою освітньої компоненти «Проектування комп’ютерних систем та мереж» є формування у здобувачів вищої освіти ґрунтовних теоретичних знань, практичних умінь та навичок, необхідних для застосування в професійній діяльності у сфері проектування комп’ютерних систем та мереж. Основними завданнями вивчення дисципліни є формування наступних компетенцій магістра з комп’ютерної інженерії: – СК1. Здатність до визначення технічних характеристик, конструктивних особливостей, застосування і експлуатації програмних, програмно-технічних засобів, комп’ютерних систем та мереж різного призначення. – СК3. Здатність проектувати комп’ютерні системи та мережі з урахуванням цілей, обмежень, технічних, економічних та правових аспектів. – СК4. Здатність будувати та досліджувати моделі комп’ютерних систем та мереж. – СК5. Здатність будувати архітектуру та створювати системне і прикладне програмне забезпечення комп’ютерних систем та мереж. – СК6. Здатність використовувати та впроваджувати нові технології, включаючи технології розумних, мобільних, зелених і безпечних обчислень, брати участь в модернізації та реконструкції комп’ютерних систем та мереж, різноманітних вбудованих і розподілених додатків, зокрема з метою підвищення їх ефективності. – СК10. Здатність ідентифікувати, класифікувати та описувати роботу програмно-технічних засобів, комп’ютерних систем, мереж та їхніх компонентів.Item Проектування комп’ютерних систем та мереж. Контрольні роботи(2022) Смірнов, О. А.; Буравченко, К. О.; Смірнова, Т. В.; Конопліцька-Слободенюк, О. К.; Смірнов, С. А.Метою освітньої компоненти «Проектування комп’ютерних систем та мереж» є формування у здобувачів вищої освіти ґрунтовних теоретичних знань, практичних умінь та навичок, необхідних для застосування в професійній діяльності у сфері проектування комп’ютерних систем та мереж. Основними завданнями вивчення дисципліни є формування наступних компетенцій магістра з комп’ютерної інженерії: – СК1. Здатність до визначення технічних характеристик, конструктивних особливостей, застосування і експлуатації програмних, програмно-технічних засобів, комп’ютерних систем та мереж різного призначення. – СК3. Здатність проектувати комп’ютерні системи та мережі з урахуванням цілей, обмежень, технічних, економічних та правових аспектів. – СК4. Здатність будувати та досліджувати моделі комп’ютерних систем та мереж. – СК5. Здатність будувати архітектуру та створювати системне і прикладне програмне забезпечення комп’ютерних систем та мереж. – СК6. Здатність використовувати та впроваджувати нові технології, включаючи технології розумних, мобільних, зелених і безпечних обчислень, брати участь в модернізації та реконструкції комп’ютерних систем та мереж, різноманітних вбудованих і розподілених додатків, зокрема з метою підвищення їх ефективності. – СК10. Здатність ідентифікувати, класифікувати та описувати роботу програмно-технічних засобів, комп’ютерних систем, мереж та їхніх компонентів.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.