Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
Подобные документы
Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014- 28. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Огляд процесу розроблення математичних моделей та інформаційної технології оброблення електрометричних даних систем електрохімзахисту. Математичні моделі розподілу захисної різниці потенціалів вздовж трубопроводу. Методи визначення пошкоджень ізоляції.
автореферат, добавлен 25.06.2014Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Узагальнення питання застосування різних методів програмування яке має властивості спадкування, інкапсуляції та поліморфізму при еволюційному оновленні програмних систем. Особливості складного програмування на основі компонентів повторного використання.
статья, добавлен 26.01.2017Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Призначення та область використання мови програмування С. Опис алгоритму та обгрунтування методу організації вхідних та вихідних даних, склад технічних та програмних засобів. Прийом даних з зовнішнього пристрою через паралельний порт та лістинг програми.
курсовая работа, добавлен 12.08.2009Застосування автоматизованих інформаційних систем для збирання, реєстрації, збереження, пошуку, оброблення та видачі даних за запитами користувачів. Архітектура програмних засобів; комплекс сучасних інструментів організаційної техніки для комплектації.
контрольная работа, добавлен 18.10.2012Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
автореферат, добавлен 28.09.2014Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
статья, добавлен 22.12.2016Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Підходи до опрацювання програмою послідовності різноманітних контрольних наборів тестів з відомими результатами. Основні види робіт з тестування, його методи: статичні, верифікація та валідізація. Помилки та причини їх появи на етапах життєвого циклу.
лекция, добавлен 09.07.2017Розробка програмного модуля для проведення тестування EasyTests для серверу MediaWiki. Проблеми впровадження вікі-сайтів та створення додаткових програмних модулів для серверу MediaWiki. Досвід залучення вікі-сайту під час проведення тестування.
статья, добавлен 05.11.2018Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Принципи проектування програмних систем. Побудова математичної моделі макроскопічного рівня будови систем обробки даних та дослідження її властивостей. Застосування сформованого підходу до представлення проектів на прикладі навчальних середовищ.
автореферат, добавлен 11.08.2015Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Здійснено аналіз становлення світової стандартизації. Означено етапи створення міжнародних організацій зі стандартизації. Розглянуто найактуальніші стандарти програмних продуктів та розподілених систем керування. Обґрунтовано переваги та недоліки процесу.
статья, добавлен 29.10.2020Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Комп'ютерні системи тестування та оцінювання знань. Розробка математичних моделей, методів і алгоритмів тестування та оцінювання знань. Створення автоматизованої системи тестування знань з використанням Інтернет-технологій та концепції зворотного зв'язку.
автореферат, добавлен 28.07.2014Розроблення математичних моделей, алгоритмів, програм, інформаційних технологій автоматизованого управління в сфері раціонального землекористування. Математичний опис системи на базі мови теорії множин, що володіє всім типовим ресурсам складних систем.
автореферат, добавлен 29.09.2014