![]() |
![]() |
||||||
|
Вид доклада: [только публикация] ИТО-2003/Секция II /Подсекция 4 ПРИМЕНЕНИЕ ЛИНГВИСТИЧЕСКОГО АНАЛИЗА ДЛЯ ГЕНЕРАЦИИ ПРОТОКОЛА ИСПЫТАНИЙ ПРИ СЕРТИФИКАЦИИ ПРОГРАММНЫХ СРЕДСТВ УЧЕБНОГО НАЗНАЧЕНИЯ Российский Государственный университет нефти и газа им. И. М. Губкина (РГУ нефти и газа им. И. М. Губкина), г. Москва В докладе предложена методика автоматической генерации протоколов испытаний программных средств в процессе их сертификации. В качестве основы методики была разработана математическая модель лингвистического анализа текста программной документации. Методика апробирована при сертификации инструментальных средств разработки курсов дистанционного образования. В современном мире разработка программного обеспечения превратилась в одну из самых дорогостоящих и высокопроизводительных индустрий. Увеличение номенклатуры программных средств учебного назначения, их разнообразие и нестандартизированные описания затрудняют выбор программного продукта с наилучшими показателями качества среди однотипных программ. Процедура сертификации, подтверждающая качество программных средств, в нашей стране является добровольной и не имеет отлаженной и обязательной для применения методики. Только опыта и интуиции лиц, занимающихся оценкой качества программных средств, в динамично развивающейся области, которой является разработка программных средств, уже становится недостаточно. Необходим системный подход и компьютерная поддержка решения данной задачи. Основным документом, подтверждающим качество программных средств, при сертификации, является протокол испытаний программного средства. Универсальных методик, регулирующих составление такого, протокола не существует. Действующие отечественные и международные стандарты по сертификации учитывают только общие для большинства программных средств характеристики и не раскрывают их смысл применительно к конкретным классам программных средств, не дают механизмы их ранжирования и сравнения. Большой сложностью при составлении протокола испытаний также является то, что обычно характеристики программных средств, в сопровождающей документации приводятся в описательной форме и, как правило, трудновыделяемы. Для составления протокола испытания программных средств была предложена методика, разработанная на основе математической модели лингвистического анализатора. Задача генерации протокола в этом случае сводится к следующим этапам. Для разных типов программных средств составляется словарь характеристик, с помощью лингвистического анализа вычленяются характеристики качества из программной документации, и затем формируется база данных для генерации протокола испытаний программных средств. Сгенерированный таким образом протокол испытаний содержит следующие пункты: характеристики, подлежащие испытанию, значения характеристик в ходе испытания, заключение по результатам испытаний. Применение методов лингвистического анализа позволило автоматизировать процедуру генерации протокола испытаний при сертификации программных средств, для дальнейшего выбора программных средств с наилучшими показателями качества. Эффективность предложенной методики была определена при сертификации средств разработки курсов дистанционного образования. Сервер поддерживается фирмой НПП 'БИТ про' |