Розробка удосконаленої математичної моделі процесу контролю якості програмних проектів

Kateryna A. Melnyk

Анотація


Розроблено вдосконалену математичну модель процесу контролю якості програмних проектів. Для складання математичної моделі використовувались мережі Петрі, що дало змогу наочно відобразити модельований процес та полегшити розробку моделі. Планується подальший аналіз створеної моделі з метою виявлення недоліків та виправлення помилок.


Ключові слова


математична модель; програмні проекти; процес контролю якості; мережі Петрі

Повний текст:

PDF

Посилання


Хачатуров, А. Р. Моделирование процессов разработки программного обеспечения учебного назначения при помощи сетей Петри / А. Р. Хачатуров, И. Ф. Бабалова // Научная сессия МИФИ-2007. Сб. научных трудов Т.12. М.: МИФИ, 2007, с. 159-160.

Крывый, С. Л. Формальные методы анализа свойств систем/С.Л. Крывый, Л.Е. Матвеева // Кибернетика и системный анализ.–2003. – № 2.– С. 15–36.

Матвеева, Л. Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри / Л. Е. Матвеева // Проблемы программирования. – 2004. – № 2–3. – С. 108–117.

Матвеева, Л. Е. Инженерия качества процессов производства программных систем с помощью сетей Петри / Л. Е. Матвеева // Проблемы программирования. – 2010. – N 2-3. – С. 277-283.

Никулина, Н. О. Применение аппарата сетей Петри для моделирования экономических процессов: методические указания к лабораторным работам по курсу “ЛВС и распределенная обработка данных в банках для подготовки инженеров по специальности “Прикладная информатика в экономике” / Н. О. Никулина, Е.Б. Старцева. –Уфа: Уфимск. гос. авиац. техн. ун-т. – 2001. – 32 с.

Котов, В. Е. Сети Петри / В. Е. Котов. – М.:Наука, 1984. – 157 с.

Peterson, J. L. Petri Net Theory and the Modelling of Systems / J. L. Peterson // Prentice-Hall, Englewood Cliffs, New Jersey, (April 1981). – 290 p.


Посилання

  • Поки немає зовнішніх посилань.