1.На основе изучения и анализа имеющихся мер сложности программ разработана модель мер сложности для Модула-2-программ. Данная модель включает меры для процедуры, модуля определений и модуля реализаций. Она в совокупности позволяет оценить сложность данного модуля и принять необходимые решения по дальнейшим шагам относительно его использования. Реализован набор инструментов, вычисляющий набор мер данной модели, и компонент вычисляющий набор мер сложности для программ, написанных на ассемблере ЕС ЭВМ. Разработана методика применения получаемых результатов.
2.Разработана концепция средств профилирования (сбора динамических характеристик программ) для ассемблерных и Модула-2-программ. Основным ее отличием от существующих является понятие частичного профиля программы. Проведена реализация данной концепции -- созданы профилировщики ассемблерных и Модула-2-программ.
3.Предложен способ формального описания критериев тестирования с помощью понятий: множество требуемых элементов и покрытия данного множества. Разработан комплексный критерий тестирования для Модула-2/Оберон-2-программ, включающий семь критериев структурного тестирования, три из которых предложены и сформулированы впервые. Для задания тестовых условий и их описания во вновь сформулированных критериях разработан простой язык описания тестовых условий.
4.Исследована проблема построения минимального дугового покрытия для ассемблерных и Модула-2-программ. Предложен алгоритм построения минимального дугового покрытия с учетом тех замечаний и неточностей, которые присутствовали в алгоритме, предложенным
К.А. Иыуду и М.М. Ариповым с уточнениями В.А. Шимарова.
В рамках проекта СОКРАТ реализована система TGS, строящая множество путей, покрывающих тестовые условия, задаваемые комплексным критерием, который состоит из следующих трех критериев структурного тестирования: С1, покрытия всех существенных определений переменных (all-defs) и покрытия циклов (all-cycles). Для критерия С1 строится минимальное дуговое покрытие, которое пополняется необходимым набором путей для выполнения двух оставшихся критериев. Для всех построенных путей формируется формула их реализуемости.
Реализован компонент контроля тестированности ассемблерных программ для критерия С1, обеспечивающий показ как степени тестированности программы, так и тех ее ветвей, которые еще не исполнялись на текущий момент тестирования, если, конечно, они есть.