Критически важным для разработки сложных программных систем является организация и техническое обеспечение верификации, тестирования и испытаний системы и составных частей. Учитывая огромный прогресс в технологиях верификации, а также метрик качества ПО, необходимо внедрение данных методик в процесс разработки программного обеспечения военного назначения. В настоящее время, основной контроль качества осуществляется на межведомственных испытаниях. Почему результирующее качество чуть менее, чем никакое? Значит методика и процесс не отвечают […]
