Методологические основы



Download 2,39 Mb.
bet188/293
Sana26.06.2022
Hajmi2,39 Mb.
#705514
TuriУчебник
1   ...   184   185   186   187   188   189   190   191   ...   293
Bog'liq
Липаев В В Программная инженерия Методологические основы 2006

Исходные Результирующие



  • Рис. 13.4

    • статические — анализирующие спецификации и исходные тек­сты программ без их исполнения в объектном коде;

    • динамические, при использовании которых программы функци­онируют в объектном коде и пригодны для их реального применения.

    • Эти средства объединяются средствами интерактивного диалога с пользователями и базой данных проектирования, В группу статической отладки входят средства, автоматизирующие структурный анализ и про­верку формальной корректности текстов программ и выявление соответст­вующих типов ошибок. Кроме того, они должны обеспечивать автоматизи­рованное получение данных, поддерживающих выявление ошибок при последующем применении динамических средств. Средства подготовки данных для планирования тестирования должны обеспечивать выделение типовых структур в модуле (циклов, альтернатив, маршрутов исполнения) и их упорядочения по некоторым правилам. Выделение маршрутов испол­нения программы и условий их формирования позволяет определить грани­цы областей изменения переменных, влияющие на формирование тестовых наборов и их объем. В результате статического анализа программы автома­тически могут создаваться упорядоченные наборы ее характеристик, кото­рые используются для подготовки наборов тестов, а также для контроля полноты проведенного тестирования модулей при динамической отладке.

    • В группу средств статической отладки входят также средства расчета длительностей исполнения модулей и компонентов. Эти средства позволя­ют получать ориентировочные значения и распределения длительностей счета программы аналитически, без ее исполнения на ЭВМ. В результате расчетов выявляются компоненты программы, требующие избыточно боль­шого времени счета на реализующей ЭВМ, а также подготавливаются данные для общей проверки реализуемости ПС в реальном времени.

    • Группу средств динамической отладки можно разделить на основные средства, непосредственно обеспечивающие исполнение программ в соот­ветствии с отладочными заданиями, и средства, анализирующие выпол­ненное тестирование, его результаты и проведенные корректировки. В основные входят средства:

    • трансляции программ, тестов и заданий с языка отладки;

    • исполнения программы по отладочному заданию в соответствии с планом и сценарием тестирования;

    • регистрации данных о результатах тестирования.

    • Средства трансляции заданий с языка отладки обеспечивают обра­ботку и подготовку к исполнению тестов и сценария отладочного задания. В задании указывается тестируемая программа, контролируемые и регист­рируемые переменные и состояния программы в процессе исполнения. Тестовые значения преобразуются в форму, пригодную для исполнения отлаживаемой программой. Операторы отладочного задания объединяются с отлаживаемой программой или подготавливаются для исполнения в ре­жиме эмуляции или интерпретации.

    • Средства исполнения программы по отладочному заданию управляют реализацией операторов задания в процессе исполнения отлаживаемой программы. В процессе обработки тестов производится предварительная селекция результатов тестирования в соответствии с указаниями операто­ров отладочного задания. В некоторых случаях получаемые результаты могут автоматизировано сравниваться с эталонными значениями для вы­явления ошибок.

    • Средства регистрации и обобщения данных о результатах тестирова­ния осуществляют преобразование зафиксированных данных функциони­рования отлаживаемой программы на язык отладки для диалогового взаимодействия с пользователем. Для сокращения избыточной информа­ции производятся редактирование и селекция результатов исполнения опе­раторов отладочного задания. Отображение результатов тестирования в мнемонической и графической формах может обеспечиваться унифициро­ванными средствами интерактивного взаимодействия пользователей с ЭВМ.

    • Для каждого отлаженного программного компонента должно обеспе­чиваться хранение основных тестов и отладочных заданий, с исполь­зованием которых проведено тестирование. Это позволяет поддерживать высокое качество компонентов и при необходимости вносить в них кор­ректировки. При проведении таких изменений соответственно расширяет­ся и модифицируется состав применявшихся тестов и заданий. Вместе с тестами целесообразно хранить результаты оценки полноты тестирования и достигнутой корректности программного компонента. Эти данные вмес­те с оценкой сложности компонента, структурными и информационными характеристиками могут объединяться в паспорт аттестации компонента.

    • Для поддержки конфигурационного управления программными ком­понентами может быть полезным хранение на некотором интервале вре­мени проведенных изменений и выявленных ошибок (см. лекцию 16). Эти данные могут использоваться для прогнозирования процессов отладки про­грамм и сроков достижения заданного их качества. Они позволяют выяв­лять статистические характеристики ошибок и квалифицированно управ­лять процессом модификации программ.


    • Download 2,39 Mb.

      Do'stlaringiz bilan baham:
  • 1   ...   184   185   186   187   188   189   190   191   ...   293




    Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
    ma'muriyatiga murojaat qiling

    kiriting | ro'yxatdan o'tish
        Bosh sahifa
    юртда тантана
    Боғда битган
    Бугун юртда
    Эшитганлар жилманглар
    Эшитмадим деманглар
    битган бодомлар
    Yangiariq tumani
    qitish marakazi
    Raqamli texnologiyalar
    ilishida muhokamadan
    tasdiqqa tavsiya
    tavsiya etilgan
    iqtisodiyot kafedrasi
    steiermarkischen landesregierung
    asarlaringizni yuboring
    o'zingizning asarlaringizni
    Iltimos faqat
    faqat o'zingizning
    steierm rkischen
    landesregierung fachabteilung
    rkischen landesregierung
    hamshira loyihasi
    loyihasi mavsum
    faolyatining oqibatlari
    asosiy adabiyotlar
    fakulteti ahborot
    ahborot havfsizligi
    havfsizligi kafedrasi
    fanidan bo’yicha
    fakulteti iqtisodiyot
    boshqaruv fakulteti
    chiqarishda boshqaruv
    ishlab chiqarishda
    iqtisodiyot fakultet
    multiservis tarmoqlari
    fanidan asosiy
    Uzbek fanidan
    mavzulari potok
    asosidagi multiservis
    'aliyyil a'ziym
    billahil 'aliyyil
    illaa billahil
    quvvata illaa
    falah' deganida
    Kompyuter savodxonligi
    bo’yicha mustaqil
    'alal falah'
    Hayya 'alal
    'alas soloh
    Hayya 'alas
    mavsum boyicha


    yuklab olish