Технологические аспекты разработки ПО АСОИУ. - 13 стр.

UptoLike

Рубрика:

зицию задачи имеет смысл проводить по числу студентов, входящих в бри-

гаду. В этом же разделе необходимо описать состав, назначение модулей, их

сопряжение друг с другом и межмодульное взаимодействие частей ПС

(структура и состав передаваемых модулям параметров). В качестве частей

данного подраздела могут выступать описания отдельных частей проекта,

выполненные каждым членом бригады. Приводится также словесно-

формульный алгоритм решения задачи и формализованное его описание ли-

бо на каком-то вспомогательном языке, либо в виде общей (детальной) блок-

схемы.

Определение спецификации. Спецификация программного средства

представляет собой объединение спецификации качества и функциональной

спецификации (ФС). Разработка спецификации качества является, по суще-

ству, созданием модели качества требуемого ПС. В этой модели должен

быть перечень всех элементарных свойств, которые нужно обеспечить в

создаваемом ПС. Объединение этих элементарных свойств в целом и обра-

зует приемлемое для заказчика качество всего ПС. Причём каждое из этих

свойств должно быть в достаточной степени конкретизировано. Для конкре-

тизации качества ПС по каждому из критериев используется стандартный

набор довольно простых свойств и характеристик [7]. Эти свойства одно-

значно интерпретируются разработчиками, и их называют примитивами

качества ПС.

С учётом назначения и тяжёлых последствий ошибок в ФС последняя

должна базироваться на понятиях, представленных как математические объ-

екты, и на утверждениях, которые однозначно интерпретируются разработ-

чиками. Чаще всего ФС пишется на естественном языке, но нужно стре-

миться к её формализации и представлению с помощью математических ме-

тодов.

ФС включает три части [7]: