Общие сведения о верификации и аттестации программной среды. Виды деятельности, осуществляемые при составлении плана испытаний. Автоматический статический анализ программ. Метод чистая комната, его сущность и принципы. Проверка критических систем.
1. Общие сведения о верификации и аттестации 2. Инспектирование программных систем 4. Автоматический статический анализ программ 5. Верификация и аттестация критических систем Заключение Литература Введение Программные системы в настоящее время присутствуют повсеместно: практически любые электронные устройства содержат программное обеспечение (ПО) того или иного вида. При создании программного продукта перед инженером встает множество вопросов различного рода, таких как, например, требования к ПО, модели систем, спецификации ПО, надежность создаваемого продукта, и т.д. Общие сведения о верификации и аттестации Несмотря на кажущуюся схожесть, термины «верификация» и «аттестация» означают разные уровни проверки корректности работы программной системы.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
