Главная страница

общение

Перейти на форум

Написать автору

секции

Содержание

I.1, I.2, I.3

II.1, II.2, II.3, II.4

III.1, III.2, III.3

- IV -

- V -

- VI -

- VII -

- VIII -

- IX -

- X -

Алфавитный список авторов

статистика
Рейтинг@Mail.ru Rambler's Top100 AllBest.Ru Яндекс цитирования

Вид доклада: [только публикация]

ИТО-2003/Секция II /Подсекция 4

ПРИМЕНЕНИЕ ЛИНГВИСТИЧЕСКОГО АНАЛИЗА ДЛЯ ГЕНЕРАЦИИ ПРОТОКОЛА ИСПЫТАНИЙ ПРИ СЕРТИФИКАЦИИ ПРОГРАММНЫХ СРЕДСТВ УЧЕБНОГО НАЗНАЧЕНИЯ

Курникова Марина Петровна

Российский Государственный университет нефти и газа им. И. М. Губкина (РГУ нефти и газа им. И. М. Губкина), г. Москва

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

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

Основным документом, подтверждающим качество программных средств, при сертификации, является протокол испытаний программного средства. Универсальных методик, регулирующих составление такого, протокола не существует. Действующие отечественные и международные стандарты по сертификации учитывают только общие для большинства программных средств характеристики и не раскрывают их смысл применительно к конкретным классам программных средств, не дают механизмы их ранжирования и сравнения. Большой сложностью при составлении протокола испытаний также является то, что обычно характеристики программных средств, в сопровождающей документации приводятся в описательной форме и, как правило, трудновыделяемы.

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

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

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

написать автору

Сервер поддерживается фирмой НПП 'БИТ про'