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