Индустрия программирования


Интегрированный подход к разработке крупных программных систем управления реального времени - часть 5


отличающимися функционально, и поколениями, которые отражают эволюцию
компонента, вызванную коррекцией ошибок, модернизацией и т.п.;
  • обеспечить поддержку откатов и ретроспективного анализа процесса
    разработки, за счет интегрирования системы хранения поколений и описаний-
    изменений;
  • автоматизировать поддержку сборки согласованных версий
    (конфигураций);
  • обеспечить целостность контролируемых версий.
    На основе предложенного подхода была разработана система управления конфигурациями для
    IDM PC. Концепция иерархического конфигурационного управления описана в href="#lit">[2].

    Как известно, одной из главных проблем разработки СРВ является проблема надежности. К
    средствам повышения надежности ПО, которые развивались в рамках третьего этапа относятся
    методика и средства поддержки формальных спецификаций и автоматизации тестирования на
    основе таких спецификаций.

    Данная методика была апробирована в ходе верификации ядра реальной операционной системы
    (объем около 200 тыс. строк языка высокого уровня). Формальные спецификации строились по
    результатам реверс-инженеринга. В качестве языка спецификаций использовался язык RAISE
    (Rigorous Approach to Industrial Software Engineering) . По разработанным
    спецификациям при помощи наших инструментов были сгенерированы тесты. Уровень
    автоматизации (отношение объемов автоматически сгенерированных частей тестовых программ к
    объемам программ тестовой системы, написанным вручную) лежит в диапазоне 10/1-30/1. Причем,
    количество тестовых вариантов (test cases) для каждой из тестируемых процедур легко варьируется
    в широком диапазоне (вплоть до миллионов и большего числа вариантов). Заметим, что методика
    автоматической генерации нацелена не столько на достижение большого числа тестовых
    вариантов, сколько на селекцию так называемых "интересных" тестовых ситуаций, поэтому оценка
    эффективности тестирования только через число тестовых вариантов не является главной и
    определяющей.

    Результативность предложенного подхода была продемонстрирована при тестирования



    - Начало -  - Назад -  - Вперед -