М.: МИФИ, 2006. - 157 с.
Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения.
Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (человек-пользователь, человек-оператор и т. п. ) компоненты, разрабатываемые, возможно, разными коллективами. Поэтому необходимы документы разработки, определяющие требования к различным компонентам системы и правила их взаимодействия.
Кроме того, предполагается, что отказы системы могут приводить к последствиям той или иной тяжести, поэтому при разработке программного обеспечения необходимы и оправданы усилия, потраченные на выявление скрытых дефектов. В первую очередь, это касается средств и процедур верификации программного обеспечения.
Настоящий курс ориентирован на студентов и специалистов – разработчиков программного обеспечения, изучающих вопросы технологии создания программных систем с повышенными требованиями к критичности. То есть таких систем, отказы которых могут привести к катастрофическим последствиям или значительным материальным потерям.
Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения.
Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (человек-пользователь, человек-оператор и т. п. ) компоненты, разрабатываемые, возможно, разными коллективами. Поэтому необходимы документы разработки, определяющие требования к различным компонентам системы и правила их взаимодействия.
Кроме того, предполагается, что отказы системы могут приводить к последствиям той или иной тяжести, поэтому при разработке программного обеспечения необходимы и оправданы усилия, потраченные на выявление скрытых дефектов. В первую очередь, это касается средств и процедур верификации программного обеспечения.
Настоящий курс ориентирован на студентов и специалистов – разработчиков программного обеспечения, изучающих вопросы технологии создания программных систем с повышенными требованиями к критичности. То есть таких систем, отказы которых могут привести к катастрофическим последствиям или значительным материальным потерям.