ГОСТ РМЭК 62061—2013
- спецификация требований к безопасности программного обеспечения;
- описание проекта архитектуры программного обеспечения, включая определение логики при
менения и функций, реализующих устойчивость к сбоям, список входных и выходных данных, общеис
пользуемые программные модули и инструментальные средства поддержки, а также процедуры кон
фигурирования прикладного программного обеспечения с доступными документами, чтобы обеспечить
функциональность применения для определенных входных/выходных данных;
- план подтверждения соответствия безопасности программного обеспечения.
6.11.3.5.2 При разработке прикладного программного обеспечения должен применяться структу
рированный подход в целях обеспечения;
- модульной функциональности применения и данных, управляющих вводом/выводом;
- тестируемости функциональности (в том числе устойчивости к отказам) и внутренней структуры;
- возможности безопасной модификации, используя адекватную прослеживаемость и объясне
ния функций применения и связанных с ними ограничений.
6.11.3.5.3 Дальнейшее уточнение проекта для камщого основного компонента/подсистемы в опи
сании проекта архитектуры прикладного программного обеспечения (см. 6.11.3.5.1) должно учитывать:
- повторно использующиеся функции в проекте;
- отображение входной/выходной информации модулей прикладного программного обеспечения;
- реализацию прикладных функций, используя общие функции программного обеспечения и ото
бражение входа/выхода.
6.11.3.5.4 Необходимо определить проект каждого прикладного программного модуля и проверки
структуры, которые должны выполняться для каждого прикладного программного модуля.
6.11.3.5.5 Должны быть определены соответствующие проверки интеграции программного
обеспечения и СБЭСУ. гарантирующие, что прикладная программа удовлетворяет заданным тре
бованиям к безопасности прикладного программного обеспечения. Необходимо рассмотреть сле
дующее:
- разделение программного обеспечения на контролируемые интегрируемые подмножества:
- контрольные примеры;
- типы выполняемых проверок.
- условия тестирования, используемые инструменты, конфигурацию и программы;
- условия, при которых проверка считается выполненной;
- процедуры, которые необходимо выполнить, если проверка дала отрицательный результат.
6.11.3.6 Требования к реализации исходных текстов прикладных программ
6.11.3.6.1 Прикладное программное обеспечение должно:
- быть читаемым, понятным и пригодным к проверке;
- удовлетворять всем принципам проектирования;
- удовлетворять всем требованиям, определенным при планировании безопасности.
6.11.3.6.2 Прикладное программное обеспечение должно быть просмотрено, чтобы обеспечить
соответствие специфицированному проекту, правилам кодирования и требованиям к планированию
безопасности.
П р и м е ч а н и е — Обзор прикладного программного обеспечения включает в себя такие методы, как про
верку программного обеспечения или сквозной контроль, анализ кода или формальное доказательство. Эти мето
ды должны быть использованы в сочетании с тестированием и/или моделированием, чтобы обеспечить
уверен ность в том. что прикладное программное обеспечение удовлетворяет связанной с ним спецификации.
6.11.3.7 Требования к тестированию программных модулей
П р и м е ч а н и е — Процесс проверки того, что прикладное программное обеспечение корректно выпол
няет все требования, содержащиеся в спецификации тестирования, относится к процессам верификации. Сочета
ние просмотра исходных текстов и структурного тестирования программных модулей дает гарантию того, что про
граммный модуль удовлетворяет требованиям своей спецификации, т.е. модуль верифицируется.
6.11.3.7.1 Необходимо проверить каждую конфигурацию входов и выходов в процессе анализа,
тестирования или моделирования для подтверждения того, что входные/выходные данные сопоставля
ются с правильной логикой применения.
6.11.3.7.2 В процессе анализа, моделирования и тестирования нужно проверить каждый про
граммный модуль, чтобы определить, что он выполняет функции, для которых предназначен, и не вы
полняет функции, которые не были для него предусмотрены.
6.11.3.7.3 Тесты должны соответствовать конкретному тестируемому модулю и должны обеспечить;
41