Общие сведения о верификации и аттестации программной среды. Виды деятельности, осуществляемые при составлении плана испытаний. Автоматический статический анализ программ. Метод "чистая комната", его сущность и принципы. Проверка критических систем.
03.04.2014 |
Технологии разработки программного обеспечения |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 77
