21.01.2008 20:15:26
Описание требований к ПО для сложных систем
Эта статья посвящена новым методам, позволяющим сделать описания
требований точными, краткими, однозначными и легко проверяемыми на полноту и непротиворечивость. Методы хорошо подходят для сложных
программных систем реального времени; они были разработаны для документирования существующего полетного программного обеспечения
самолета А-7 ВМС США. В статье приводится обзор информации, входящей в состав описания требований, и обсуждаются цели, поставленные при разработке методов. Описание каждого метода иллюстрируется примерами из документа, содержащего требования к программному обеспечению самолета
А-7. Цель этой статьи состоит в том, чтобы представить указанный
документ как модель дисциплинированного подхода к описанию требований,
а сам документ может служить полностью проработанным примером
применения этого подхода.
Консалтинг в области разработки ПО
