Введение в программную инженерию и управление жизненным циклом ПО. Программная инженерия. Качество программного обеспечения

Программная инженерия. Качество программного обеспечения.

Copyright © Сергей Орлик, 2004-2005.

mailto:sorlik@borland.ru

https://sorlik.blogspot.com

16

естественный путь достижения приемлемого качества при минимизации затрат, прим. автора).

Чаще всего они используются для верификации особо важных частей критически-важных систем,

например, конкректных требований <информационной> безопасности и надежности.

3.3.4 Динамические техники (Dynamic techniques)

В процессе разработки и сопровождения программного обеспечения приходится обращаться к

различным видам динамических техник. В основном, это техники тестирования. Однако, в качестве

динамических техник могут рассматриваться техники симуляции, проверки моделей и

“символического” исполнения (symbolic execution, часто предполагает использование модулей-

“пустышек” с точки зрения выполняемой логики, с эмулируемым входом и выходом при

рассмотрении общего сценария поведения многомодульных систем; иногда под этим термином

понимаются и другие техники, в зависимости, от выбранного первоисточника, прим. автора).

Просмотр (чтение) кода обычно рассматривается как статическая техника, но опытный инженер

может исполнять код непосредственно “в процессе” его чтения (например, используя диалоговые

средства пошаговой отладки для ознакомления или оценки чужого кода, прим. автора). Таким

образом, данная техника вполне может обсуждаться и как динамическая. Такие расхождения в

классификации техник ясно показывают, что в зависимости от роли человека в организации, он

может принимать и применять одни и те же техники по-разному.

В зависимости от организации <ведения> проекта, определенные работы по тестированию могут

выполняться при разработке программных систем в SQA и V&V процессах. В силу того, что план

SQM адресуется вопросам тестирования, данная тема включает некоторые комментарии по

тестированию. В свою очередь, область знаний SWEBOK “Тестирование” детально обсуждает и

дает ссылки (за исключением стандартов, представленных в переводе, полный список ссылок

присутствует только в оригинальном издании SWEBOK на английском языке, как и для других

областей знаний, прим. автора) по теории, техникам и вопросам автоматизации работ по

тестированию.

3.3.5 Тестирование (Testing)

Процессы подтверждения <качества>, описанные в SQA и V&V <планах>, исследуют и оценивают

любой выходной продукт (включая промежуточный и конечный, прим. автора), связанный со

спецификацией требований к программному обеспечению, на предмет трассируемости

(traceability), согласованности (consistency), полноты/завершенности (completeness), корректности

(correctness) и непосредственно выполнения <требований> (performance). Такое подтверждение

также охватывает любые выходные артефакты процессов разработки и сопровождения, сбора,

анализа и количественной оценки результатов. SQA-деятельность обеспечивает гарантию того,

что соответствующие (необходимые в заданном контексте проекта, прим. автора) типы тестов

спланированы, разработаны и реализованы, а V&V – разработку планов тестов, стратегий,

сценариев и процедур <тестирования>.

Вопросы тестирования детально обсуждаются в области знаний “Тестирование”. Два типа

тестирования следуют задачам, задаваемым SQA и V&V, потому как на них ложится

ответственность за качество данных, используемых в проекте:

• Оценка и тестирование инструментов, используемых в проекте (IEEE 1462-98, ISO/IEC

14102 “Information Technology - Guideline for the Evaluation and Selection of CASE Tools.”)

• Тестирование на соответствие (или оценка тестов на соответствие) компонент и COTS-

продуктов (COTS - commercial of-the-shelf, готовый к использованию продукт) для

использования в создаваемом продукте; на это существует соответствующий стандарт

(IEEE Std 1465-1998//ISO/IEC12119:1994, IEEE Standard Adoption of International Standard

IDO/IEC12119:1994(E), Information Technology – Software Packages - Quality Requirements

and Testing)

Иногда, независимые V&V-организации могут требовать возможности мониторинга процесса

тестирования и, в определенных случаях, заверять (или, чаще, документировать/фиксировать,

прим. автора) реальное выполнение <тестов> на предмет их проведения в соответствии с

заданными процедурами. С другой стороны, может быть сделано обращение к V&V может быть