Введение

Долгое время считалось, что динамический анализ программ является слишком тяжеловесным подходом к обнаружению программных дефектов, и полученные результаты не оправдывают затраченных усилий и ресурсов. Однако, две важные тенденции развития современной индустрии производства программного обеспечения позволяют по-новому взглянуть на эту проблему. С одной стороны, при постоянном увеличении объема и сложности ПО любые автоматические средства обнаружения ошибок и контроля качества могут оказаться полезными и востребованными. С другой – непрерывный рост производительности современных вычислительных систем позволяет эффективно решать все более сложные вычислительные задачи. Последние исследовательские работы в области динамического анализа такие, как SAGE, KLEE и Avalanche, демонстрируют, что несмотря на присущую этому подходу сложность, его использование оправдано, по крайней мере, для некоторого класса программ.

Компания Benq Coropation была образована в Тайвани в 2001 году. Фирма является подразделением концерна Acer, и главная задача подразделения – создание компьютерной техники. На протяжении нескольких лет Benq успешно справляется с возложенной задачей: ноутбуки, мониторы, сотовые телефоны и другое оборудование выпускается постоянно. Активная продажа комплектующих, а так же производство комплектующих для других торговых марок так [...]