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