Современное общество все больше зависит от программного обеспечения. Стремительное падение цен на оборудование позволяет, в настоящее время, осуществлять разработку больших программных комплексов, целевое предназначение которых весьма разнообразно. Таким образом, транспортные, финансовые, медицинские и военные системы во все возрастающей степени зависят от программного обеспечения. В результате этого, все больше возрастают требования к надежности разрабатываемого программного обеспечения.