Верификация и тестирование 64-битных ОС

В 2003-2004 годах в мире персональных компьютеров произошел очередной переворот, коснувшийся компьютеров, операционных систем, прикладных программ. Может, кто и догадался, что речь пойдет о 64-битных технологиях. Безусловно, в 2003 г. 64-битные технологии не были новшеством, но именно в этом году были созданы именно 64-битные процессоры для ПК. 32-битные процессоры могут работать только с четырьмя гигабайтами оперативной памяти, причем каждому пользовательскому приложению доступно не больше двух гигабайт. Дизайнеры, инженеры и т.п., как правило, пользовались нестандартной вычислительной техникой, и это решало задачу. В основном «домашним» пользователям потребовался 64-битный процессор, когда для обычных игр на ПК понадобилось два гигабайта оперативной памяти.

Чтобы 32-битная система на полную мощь могла использовать все достоинства 64-битной ОС ее первичные коды нужно адаптировать под 64-битную платформу. Вот именно в этой задаче не все так просто. Возникает ряд проблем, например, утилиты, прекрасно работающие на 32-битных системах, работают с ошибками, в некоторых случаях с потерей данных, или даже не запускаются после переработки под 64-битную ОС. Изменились и диапазон указателей (с 4-х байт в 32-битных системах на 8 байт в 64-битных), и значения long и int, причем, в некоторых 64-битных модификациях эти данные имеют значение 64 бита, в других системах оба типа имеют значение 32 бита, а в третьих — Unix int имеет значение 32 бита, а long — 64 бита.

Программа Viva64, представленная компанией ООО «Системы программной верификации» действенно устраняет вышеописанные недочеты, эффективно определяя ошибки в 64-битных приложениях под Microsoft Windows с помощью анализа Си/Си++ кода и значительно ускоряя процесс переноса 32-битной архитектуры на 64-битную.

Viva64 интегрируется в среду Microsoft Visual Studio и справочную систему MSDN. Пользователю предоставляется удобный интерфейс для анализа файлов, управления кодами, доступа к справочной информации. Анализатор готов к работе сразу же после инсталляции и работа с ним не просит предварительного штудирования документации, настройки и т.д.

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

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

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

Инструмент Viva64 обладает огромной базой знаний по разработке 64-битного кода (справочная система, статьи, примеры), которая позволит программистам существенно повысить и свой личный уровень, и качество кода, а также его производительность.