Общая характеристика работы

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

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

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

Научная новизна работы состоит в следующем:

• разработана модель мер сложности для Модула-2-программ, которая включает меры для процедуры, модуля определений и модуля реализаций, и позволяет оценить сложность данного модуля и принять необходимые решения по дальнейшему его использованию, разработана методика применения получаемых результатов;
• разработана концепция средств профилирования (сбора динамических характеристик программ) для ассемблерных и Модула-2-программ, основным ее отличием от существующих является понятие частичного профиля программы;
• предложен способ формального описания критериев тестирования с помощью понятий: множество требуемых элементов и покрытия данного множества, разработан комплексный критерий тестирования для Модула-2/Оберон-2-программ, включающий семь критериев структурного тестирования, три из которых предложены и сформулированы впервые; разработан простой язык описания тестовых условий для их описания и задания во вновь сформулированных критериях;
• изучена проблема построения минимального дугового покрытия для ассемблерных и Модула-2-программ, разработан алгоритм его построения.