ЖУРНАЛ СТА 2/2015

торый затем используется как вход- ная информация для тестирования и анализа покрытия; ● средства автоматизированного тести- рования , включая автоматическую ге- нерацию «обёртки» и массивов вход- ных данных (в т.ч. граничных и слу- чайных значений) для программных модулей, анализ структурного покры- тия и тестирование на целевой систе- ме (рис. 5); необходимые режимы и глубина тестирования определяются применимыми стандартами; ● средства командной работы с распре- делением ролей. Подтверждение со- ответствия включает в себя множе- ство задач, в общем случае выполняе- мых разными людьми (а зачастую эти люди ещё и обязаны быть разны- ми согласно нормативным требова- ниям). LDRA Tool Suite позволяет распределить задачи между соответ- ствующими исполнителями и цент- рализованно контролировать про- цесс; ● система генерации отчётов в настраи- ваемом формате. Выполнение пред- писанных выбранным стандартом процедур V&V – это ещё не всё: все полученные результаты нужно ещё представить в удобочитаемой форме для предъявления оценщику в соста- ве сертификационной документа- ции. Встроенный генератор отчётов LDRA Tool Suite позволяет экспорти- ровать результаты в документы на- страиваемого формата, а также авто- матически генерировать сложные кросс-отчёты, например матрицу трассировки. Часть инструментов пакета может ин- тегрироваться непосредственно в ин- терфейс среды разработки, в частности, средства статического анализа из ком- плекта LDRA Tool Suite могут быть ис- пользованы как отдельно, так и в соста- ве интегрированных сред Wind River Workbench (при разработке систем на базе ОС VxWorks или Wind River Linux) 66 СТА 2/2015 ОБ ЗОР / П РОГ РАММНОЕ ОБ Е СП Е Ч Е НИЕ www.cta.ru Рис. 5. Автоматизированное тестирование и анализ покрытия в LDRA Tool Suite ® ЭКСКЛЮЗИВНЫЙ ДИСТРИБЬЮТОР ПРОДУКЦИИ CRANE ELECTRONICS В РОССИИ