В сложных информационно-компьютерных системах вклад программного обеспечения в ненадёжность систем может составлять 40 и более процентов [1]. Во многих случаях разработчиков программного обеспечения для технических систем интересует ожидаемый уровень надёжности прикладных программных средств ещё до написания кода компьютерных программ.