Классифицированы виды программного обеспечения. Определено место формализованных описаний структуры и функционирования программного обеспечения в документации. Описаны процедуры обеспечения качества при разработке программ. Рассмотрены процедуры тестирования программного обеспечения как средство обеспечения качества программ. Изложены методы генерации тест-кейсов. Раскрыты особенности процесса тестирования программного обеспечения объектно-ориентированных систем. Проанализированы особенности инструментальных средств тестирования и верификации программ для различных платформ. Освещена верификация UML диаграмм на этапах анализа и проектирования для жизненного цикла разработки объектно-ориентированных программ. Раскрыто понятие динамической верификации программ.

• Литвинов Віталій Васильович (технічні науки)
• Литвинов Валерій Валентинович (юридичні науки)
• Казимир Володимир Вікторович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"