Новые поступления в библиотеке IT-портала CITForum.ru
Ниша и внедрение CASE-средств Александр Вендров С внедрением CASE-средств обычно связывают большие надежды, однако не всем им суждено стать реальностью
Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов С.В. Зеленов, С.А. Зеленова, А.С. Косачев, А.К. Петренко В статье предлагается концепция автоматизированного построения тестовых наборов и тестовых оракулов для тестирования оптимизаторов. Используется подход, основанный на генерации тестов из моделей. Основные идеи модельного подхода заключаются в следующем: 1) модельный язык неявно разбивает множество программ целевого языка на классы эквивалентности; 2) критерий тестового покрытия формулируется в терминах модельного языка; 3) в соответствии с выбранным критерием генерируется набор тестов. В работе описывается схема построения тестового оракула, который проверяет сохранение семантики программы после ее оптимизации.
Технология баз данных в системах поддержки принятия решений Сураджит Чаудхури, Умешвар Дайал, Венкатеш Ганти Системы поддержки принятия решений - основа ИТ-инфраструктуры различных компаний, поскольку эти системы дают возможность преобразовывать обширную бизнес-информацию в ясные и полезные выводы. Сбор, обслуживание и анализ больших объемов данных, - это гигантские задачи, которые требуют преодоления серьезных технических трудностей, огромных затрат и адекватных организационных решений.
Google PR0 PageRank Даррин Ворд С ростом популярности Google становится все более популярным и термин "Google PR0", который произносится как "Нулевой PR". Автор объясняет, что это значит, и как вы можете до него "дойти".