Методы и средства инженерии программного обеспечения

       

Статические методы тестирования


Cтатические методы  используются при проведении инспекций и рассмотрении спецификаций компонентов без их выполнения.

Техника статического анализа заключается в методическом просмотре (или обзоре) и анализе структуры программ, а также  в доказательстве правильности.          Статический анализ  направлен на анализ документов, разрабатываемых на всех этапах ЖЦ и заключается в  инспекции исходного кода и сквозного контроля программы.

Инспектирование ПО  – это статическая проверка  соответствия программы заданным спецификациями, проводится путем анализа различных представлений результатов проектирования (документации, требований, спецификаций, схем или исходного кода программ) на  процессах ЖЦ. Просмотры и инспекции результатов  проектирования и  соответствия их требованиям заказчика обеспечивают более высокое  качество создаваемых ПС.

При инспекция программ рассматриваются  документы рабочего проектирования на этапах ЖЦ совместно независимыми экспертами и участниками  разработки ПС..  На начальном этапе проектирования инспектирование предполагает проверку полноты,  целостности, однозначности, непротиворечивости и совместимости документов с исходными требованиями к программной системе.  На этапе реализации системы под инспекцией понимается анализ текстов программ на  соблюдение требований стандартов и принятых руководящих документов технологии программирования.

Эффективность такой проверки  заключается в том, что   привлекаемые эксперты  пытаются взглянуть на проблему "со стороны" и подвергают ее  всестороннему   критическому   анализу.

Эти приемы позволяют  на более  ранних этапах проектирования обнаружить  ошибки или  дефекты путем многократного просмотра исходных кодов. Символьное тестирование применяться для проверки отдельных участков программы на  входных значения – символах.

 

Кроме того,  разрабатывается множество новых способов  автоматизации символьного выполнения программ. Например, автоматизированное средство статического контроля  для языково–ориентированной  разработки, ряд инструментов  автоматизации  доказательства  корректности. С целью проверки спецификаций  параллельных вычислений систем используется автоматизированный аппарат сетей Петри.



Содержание раздела