ГОСТРМЭК 62138—2010
ваться проблемно-ориентированные форматы (такие каклогическиедиаграммы или блок-схемы функ
ций). Затем необходимы толькоограниченныйдетальный проектинекоторые усилия пореализациидля
преобразования спецификации в программы, которые могут быть автоматически транслированы в
рабочую программу.
1 Части спецификации требований к программному обеспечению и/или спецификации проекта
программного обеспечения, которые используются для получения рабочей программы с помощью
средств автоматизации, должны рассматриваться как программы, написанные на проблемно-ориенти
рованныхязыках.
2 Программы, написанные на проблемно-ориентированных язы
к
ах, должны быть верифициро
ванына предмет фун
к
циональной
к
орре
к
тности исогласованности. Верифи
к
ация должнаподтвер
ждать. что:
- все особенности прое
к
та полностью поняты (т.е. не будет неожиданного режима работы
при всеху
к
азанныхусловиях);
- у
к
азанный режим работы согласуется с целями, установленными исходными данными
к
спе
цифи
к
ациитребований
к
программномуобеспечению.
Для улучшения понимания специфи
к
аций и верифи
к
ации их фун
к
циональной
к
орре
к
тности и
согласованности могут быть применены анимация, тестирования, провер
к
а, с
к
возной
к
онтроль,
формальный анализ и до
к
азательство.
3 Для тестирования этих программ должны быть определены и до
к
ументально оформлены
к
ритерии достаточности, по возможности, с учетом результатов других средств верифи
к
ации.
Если эти
к
ритерии не выполняются, то должно быть приведено обоснование.
Та
к
ие
к
ритерии могут основываться на фун
к
циональныхи/или стру
к
турных по
к
азателях.
4 Написанные на проблемно-ориентированных язы
к
ах программы должны соответствовать
до
к
ументально оформленным правилам, разработанным для улучшения их ясности, модифицируе
мости ипроверяемости. Несоответствия должны быть обоснованы.
Набор правил может быть специфичным для язы
к
а или па
к
ета программ. Невысо
к
ая слож
ность.ясность истандартные расположение ипредставление, модульность, наличиенеобходимых
к
омментариев, отсутствие небезопасных особенностей язы
к
а и его инструментов — вот приме ры
свойств,
к
оторые в общем случав облегчают понимание, провер
к
у, тестирование и последую щую
модифи
к
ацию программ.
6.5.4 Реализация с помощью универсальных языков
Требование настоящегопункта является специфичнымдля программ, написанныхнауниверсаль
ных языках.
1 До
к
ументально оформленная верифи
к
ация должна обеспечивать обоснование того, что
программы, написанные на универсальныхязы
к
ах, соответствую т их специфи
к
ации,
к
а
к
это опре
делено специфи
к
ациейпрое
к
та программного обеспечения.
Верифи
к
ацияможетсостоять из
к
омбинациивизуального анализа,анализаспомощью инстру
ментальных программ и/илитестирований.
Провер
к
и программы, с
к
возной
к
онтроль,
к
онтрольные таблицы и другие подобные методы
часто являются мощнымиметодами визуального анализа,
к
оторыми можнопользоваться длявыяв
ления дефе
к
тов программного обеспечения.
Анализы с помощью инструментальных программ могут проводиться для определения про
грамм.
к
олюрые с наибольшей вероятностью могут содержать дефе
к
ты, и/или для формального
до
к
азательства того, что программа имеет (илинеимеет)заданные свойства. Например,анализы
могут обеспечить уверенность в том. что приданныхусловиях (например, при условиинахождения
исходных данных в пределах заданных диапазонов) программы или определенные части программы
несодержат дефе
к
товопределенного вида(например,неинициализированныхпеременных, арифме
тичес
к
ого переполненияили исчезновения значащихразрядов).
Тестирования могут быть выполнены на основном
к
омпьютере или с помощью средств под
держ
к
ипрограммныхразработо
к
.
2 В до
к
ументациипо верифи
к
ациидолжны фи
к
сироваться:
- идентичность иверсияпроверяемыхпрограмм:
- информация,необходимаядляповторения верифи
к
ации ваналогичных условиях:
- принятые гипотезы и обоснованиеих справедливости:
• полученныерезультаты и обоснование ихправильности.
- выводы исогласованные решения:
• обоснование соответствия
к
ритериям достаточности.
32