Аннотация:Мир все больше становится программно-конфигурируемым - ПО лежит в основе любой современной инфраструктуры. Между человеком и машиной сегоднявсе чаще располагается программное обеспечение, постоянное усложнение которогоповышает вероятность потери контроля над системами, приводя к ситуации, когда дажеединичный сбой может вызвать серьезные последствия и человеческие жертвы. Задачаобеспечения качества программ актуальна сегодня как никогда ранее.