ГОСТРМЭК 62138—2010
6.4 Проект программного обеспечения
6.4.1 Цели
1 Проект программного обеспечения должен быть оформлен документально. В документации
следует приводитьобзор организации ифункционированияпрограммного обеспечения.
В настоящем стандартесоответствующийдокумент или пакетдокументов назван «Спецификация
проекта программногообеспечения». Если используется ранееразработанное программное обеспече
ние. то в спецификации проекта программного обеспечения может бытьдана ссылка на соответствую
щий эксплуатационныйдокумент.
2 Специфи
к
ация прое
к
та программного обеспечения должна способствоеать достижению
уверенностив
к
ачествепрое
к
та программногообеспеченияиего
к
орре
к
тности относительно спе
цифи
к
ации требований
к
программномуобеспечению.
3 Спецификация проекта программного обеспечения должна обеспечить свидетельство о том.
что положения спецификации требований к программному обеспечению, важному для безопасности,
приняты во внимание ибудутсоблюдаться при всех указанных в ней условиях.
4 Вспецифи
к
ациипрое
к
та программного обеспеченияследуетв до
к
ументальнойформепред
ставлять меры, гарантирующие раннее обнаружение любой ошиб
к
и или от
к
аз программного обес
печения и ее (его) нераспространение за установленные пределы. В специфи
к
ации прое
к
та
программного обеспечения следует та
к
же до
к
ументально представлять действия, предпринимае
мыепри обнаруженииошиб
к
и илиот
к
аза.
5 Спецификация проекта программного обеспечения должна обеспечивать (в случае необходи
мости) устранение неблагоприятных побочных эффектов, связанных с ошибками и отказами програм
многообеспечениядо его возвращения к нормальному режиму работы.
6 Если это не приводит
к
чрезмерной сложности, прое
к
т программного обеспечения СКУдол
жен облегчать:
- анализи тестирование программного обеспеченияи его
к
омпонентов.
- ло
к
ализацию дефе
к
тов;
- идентифи
к
ацию результатов модифи
к
ации.
7 Спецификация проекта программного обеспечениядолжна служить основой для реализации и
интеграции программного обеспечения, а такжедля возможныхего модификаций.
6.4.2 Исходные данные
1 Исходныеданныедля процессапроектирования программногообеспечениядолжны включатьв
себя Спецификацию требований к программному обеспечению и эксплуатационные документы ранее
разработанногопрограммногообеспечения.
Исходныеданные могут также включить в себя другиедокументы, такие, например, как специфич
ные проектныеограничения и/или применимые правила и стандарты.
6.4.3 Содержание
1 Спецификация проекта программного обеспечения должна включать в себя спецификацию по:
- полнойорганизации программного обеспечения;
- полномуфункционированию программного обеспечения при условиях и режимахработы всоот
ветствии со спецификацией требований к программному обеспечению.
2 Полная организация программного обеспечениядолжна обеспечить информацию:
- о четкой идентификации иконфигурации ранее разработанного программного обеспечения;
- о распределении ресурсов, компонентов изадач программного обеспечения по подсистемам;
- о распределении (подфункций и характеристик программного обеспечения по определенным
для него задачам;
- об основных внутреннихвзаимосвязях, вчастности, взаимосвязяхмежду задачами программно
го обеспечения.
Полное функционированиедолжно обеспечивать информацию;
- о взаимодействиях, протоколахсвязи иинформационных потоках;
- об установлении последовательностей ивременных ограничений; -
об использовании ресурсов;
- о синхронизации, особенно при использовании разделенных ресурсов.
3 В специфи
к
ации прое
к
та программного обеспечения должен быть до
к
ументально отражен
порядо
к
соблюдения важных для безопасности требований
к
программному обеспечению при всех
заданных условиях. При использовании ранее разработанного программного обеспечения подтвер
ждение важных длябезопаоюсти свойств программного обеспечениядолжноосновываться на про
зе