ГОСТ
Р
МЭК 61508-7—2012
- повторная проверка всей системы.
Литература:
Requirements Engineering. Е. Hull. К. Jackson. J. Dick. Springer. 2005, ISBN 1852338792. 9781852338794.
C.5.24 Управление конфигурацией программного обеспечения
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.8).
Цель. Обеспечение согласованности результатов работы групп поставщиков проекта, а также изменений
в этих поставках. В общем случае управление конфигурацией применимо к разработке как аппаратных, так и про
граммных средств.
Описание. Управление конфигурацией программных средств представляет собой метод, используемый в те
чение всей разработки (см. МЭК 61508-3. пункт 6.2.3). В сущности он требует документального оформления разра
ботки каждой версии, каждой значимой ее поставки и каждой взаимосвязи между различными версиями разработ ки
различных поставщиков. Полученная документация позволяет разработчику определять, как влияет на другие
поставки изменение в первой поставке (особенно одного из его элементов). В частности, системы или подсистемы
могут надежно компоноваться (конфигурироваться) из согласованных наборов версий элементов.
Литература:
Software engineering: Update. Ian Somnrervdle. Addison-Wesley Longman. Amsterdam; 8lh ed.. 2006.
ISBN 0321313798, 9780321313799
Software Engineering. Ian Sommerville. Pearson Studium, 8. Auflage. 2007. ISBN 3827372577. 9783827372574.
Software Configuration Management: Coordination for Team Productivity. W.A. Babich. Addison-Wesley. 1986,
ISBN 0201101610. 9780201101614.
CMMI: guidelines for process integration and product improvement. Mary Beth Chrissis. Mike Konrad. Sandy Shrum,
Addison-Wesley. 2003. ISBN 0321154967. 9780321154965.
C.5.25 Регрессионное подтверждение соответствия
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.8).
Цель. Гарантировать, что обоснованные выводы сделаны из регрессионного тестирования.
Описание. Полное регрессионное тестирование большой или сложной системы обычно требует больших
усилий и ресурсов. По возможности желательно ограничить регрессионное тестирование, охватив только систем
ные аспекты, представляющие в данный момент основной интерес для разрабатываемой системы. В таком ча
стичном регрессионном тестировании важно иметь четкое понимание области применения этого частичного тести
рования и сделать строго обоснованные выводы о тестируемом состоянии системы.
Литература:
Managing the Testing Process: Practical Tools and Techniques for Managing Hardware and Software Testing.
R. Black. John Wiley and Sons. 2002. ISBN 0471223980. 9780471223986.
C.5.26 Анимация спецификации и проектирования
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.9).
Цель. Проводить верификацию программного обеспечения посредством систематической проверки
спецификации.
Описание. Проверяется представление программного обеспечения (спецификация или описание проекта),
являющееся более абстрактным, чем исполняемый ксщ. чтобы определить поведение возможного исполнимого
программного обеспечения. Проверка до некоторой степени автоматизирована (в зависимости от возможностей, по
своей природе и уровнем абстракции представления), чтобы промоделировать поведение и получить результа ты
исполнимого программного обеспечения. Одним из результатов этого подхода являются сгенерированные тесты (или
«оракулы»), которые могут быть позже применены к исполнимому программному обеспечению, таким обра зом.
автоматизируя, в некоторой степени, процесс тестирования. Другим результатом является анимация пользо
вательского интерфейса для того, чтобы конечные пользователи, не являющиеся техническими специалистами,
смогли подробно разобраться в спецификации, с которой будут работать разработчики программного обеспечения,
что обеспечивает ценный метод взаимодействия между этими двумя группами.
Литература:
Supporting the Software Testing Process through Specification Animation. T. Miller. P. Strooper. In Proceedings
of the First International Conference on Software Engineering and Formal Methods (SEFM’03). ed. P. Lindsay. IEEE
Computer Society. IEEE Computer Society. 2003. ISBN 0769519490. 9780769519494.
В n>odel animation for external verification. H. Waeselynck. S. Behnia. In Proceedings of the Second International
Conference on Formal Engineering Methods, 1998. IEEE Computer Society. 1998. ISBN 0-8186-9198-0.
C.5.27 Тестирование, основанное на модели (генерация тестов)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.5).
Цель. Обеспечить эффективную автоматическую генерацию тестовых примеров из моделей системы и соз
давать наборы тестов с высокой воспризводимостью.
Описание. Метод тестирования, основанный на модели (МВТ), использует подход «черного ящика», в кото
ром общие задачи тестирования, такие как генерация тестовой комбинации (TCG) и оценка результатов тестирова-
66