InfoWorld, США

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

Компании Coverity и Worksoft представили продукты, использование которых должно способствовать повышению качества программного обеспечения. Каждая компания выбрала свой подход к достижению этой цели.

Компания Worksoft представила обновленную версию программного обеспечения автоматизированного тестирования Certify. Оно способно поддерживать расширенные группы пользователей и имеет новый экранный интерфейс

Разработчики Coverity анонсировали анализатор исходного кода Coverity Prevent 2.3 с улучшенными средствами выявления недостатков параллельного программирования в исходном коде. В качестве примера можно привести распространенную ошибку в программе обеспечения доступа к бухгалтерскому балансу. Для предотвращения одновременного доступа нужны блокировки. Разработчик забывает вставить в код операторы снятия блокировок, поэтому набор данных оказывается недоступным пользователям.

«В общем случае выявить недостатки параллельного выполнения операций довольно трудно, потому что нужно учитывать, к примеру, зависимость от времени выполнения событий и их взаимного влияния друг на друга, — отметил технический директор и один из основателей компании Coverity Энди Чоу. — А такие ситуации сложно воспроизвести в лабораторных условиях».

Новый продукт ориентирован на преодоление трех типовых затруднений, связанных с поддержкой параллелизма. Речь идет о возникновении двойных блокировок и отсутствии снятия блокировок, о некорректном порядке блокировок, а также о выполнении операций блокировки в критически важных разделах программы. Ошибки подобного рода приводят к серьезному и непредсказуемому снижению производительности. Анализатор параллельного выполнения операций в версии Prevent 2.3 помогает устранить эти недостатки. По словам представителей Coverity, вопросы параллелизма приобретают еще большее значение в свете широкого распространения двухъядерных процессоров. Появление процессоров с двумя ядрами способствует заметному расширению спектра программ, предполагающих параллельное выполнение операций.

Кроме того, Coverity разработала механизм, позволяющий выполнять функции Prevent в интегрированных средах разработки Eclipse и Rational Software Architect. Еще одним усовершенствованием Prevent 2.3 является улучшенная поддержка вызова виртуальных функций C++. Вызовы виртуальных функций выбираются непосредственно на этапе выполнения. Версия 2.3 позволяет выявить в этих экземплярах гораздо больше ошибок.

Продукт Prevent 2.3, поставки которого начались в конце текущего года, продается на условиях годовой подписки. Его стоимость определяется количеством протестированных строк кода. Подписка на тестирование программного обеспечения объемом в миллион строк стоит 80 тыс. долл.

Компания Worksoft в середине декабря представила обновленную версию программного обеспечения автоматизированного тестирования Certify. Оно способно поддерживать расширенные группы пользователей и имеет новый экранный интерфейс.

Оснащенный новыми средствами управления тестированием и его автоматизации, а также новыми структурами тестирования продукт Certify Enterprise 7.0 рассчитан на поддержку совместной деятельности тысяч разработчиков, сотрудников отделов контроля качества и бизнес-аналитиков. Ранее максимальное число его пользователей не превышало 70-100 человек.

«Набор наших технологий полностью обновлен, — сообщила технический директор компании Worksoft Линда Хайес. — Программное обеспечение Certify отличается от продуктов конкурентов тем, что не требует использования языка сценариев. Таким образом, специалисты в различных областях (например, бизнес-аналитики) могут эффективно применять его в своей работе, поскольку навыки программирования здесь не требуются. Это один из тех вопросов, которые наше программное обеспечение помогает успешно решить.

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

Архитектура автоматизации в Certify обеспечивает проведение тестирования непосредственно на основе документации, без написания сценариев. Функциональное тестирование осуществляется при выполнении конкретных операций (например, бизнес-процессов).

Представители компании Worksoft утверждают, что Certify 7.0 позволяет на 60% и более уменьшить затраты времени и средств на автоматизацию тестирования. Тестирование Web-технологий, клиент-серверных приложений и программ для мэйнфреймов, доступных с помощью Web-сервисов, а также других платформ обработки сообщений на базе XML осуществляется через единый интерфейс.