MATLAB, Simulink и PolySpace – обновление до версии R2009a
Одним из наиболее заметных усовершенствований в новых версиях стала расширенная поддержка многоядерных и многопроцессорных систем. Пользователи отметят возросшую производительность базовых функций MATLAB, а также механизмов генерирования и верификации кода (в системах Simulink и PolySpace) при запуске продуктов на многоядерных ПК. Кроме того, поддержка технологий, реализованных в пакете Parallel Computing Toolbox, предоставит пользователям возможность задействовать решение MATLAB в высокопроизводительных распределенных вычислениях.
В состав линейки R2009a входят два новых продукта. Инструментарий Vehicle Network Toolbox обеспечит прямую связь между решением MATLAB и сетями CAN для анализа и тестирования автомобильных систем. Продукт Simulink Design Optimization предоставит возможность пользователям Simulink определять параметры моделей и осуществлять их тонкую настройку с использованием методов численной оптимизации.
Инструментарий Curve Fitting Toolbox предлагает пользователям оценить механизмы подгонки поверхностей (surface fitting), а также более удобный и функциональный пользовательский интерфейс. Продукты Real-Time Workshop и Real-Time Workshop Embedded Coder позволят специалистам обеспечивать соответствие генерируемого кода предъявляемым требованиям путем определения высокоуровневых задач, таких как эффективность или трассируемость. Продукт Symbolic Math Toolbox поддерживает автоматическое генерирование блоков Simulink на основе символьных математических выражений. А программное обеспечение SimBiology может использоваться для фармакокинетического моделирования, а также позволяет оценивать параметры с помощью нелинейных моделей со смешанными эффектами.
Получить конcультацию по лицензированию и покупке вам поможет Никита Богославский (e-mail: matlab@softline.ru, тел.: +7(495) 232-0023 * 0609).
Polyspace: Статический анализ С/С++ кода
Рассматривается вопрос качества кода в части дефектов программного обеспечения. Демонстрируется, как Polyspace Bug Finder позволяет обнаруживать и классифицировать дефекты.
Polyspace Bug Finder: Обнаружение дефектов программного обеспечения
Polyspace Bug Finder: Проверка кода на соответствие стандартам кодирования
Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover
Получение метрик исходного кода при помощи продуктов Polyspace
Интеграция Polyspace в среду разработки Simulink
Polyspace Code Prover
Доказательство отсутствия ошибок времени исполнения в программном обеспечении.
Polyspace Code Prover помечает результаты анализа цветом
Polyspace Code Prover — это инструмент для надежного статического анализа, который доказывает отсутствие переполнения, деления на ноль, доступа за пределы границ массива и других ошибок времени выполнения в исходном коде C и C++. Данный анализ выполняется без выполнения программы, инструментации кода или тестовых векторов. Polyspace Code Prover использует семантический анализ и абстрактную интерпретацию, основанную на формальных методах, для проверки межпроцедурного взаимодействия, потоков данных и управления программного обеспечения. Инструмент используется для верификации рукописного кода, сгенерированного кода или их комбинации. Каждый оператор кода помечается цветом который указывает, доказано ли отсутствие или наличие ошибок времени исполнения, или же данный оператор недостижим или отсутствие ошибок времени исполнения не доказано.
Polyspace Code Prover отображает информацию о диапазоне для переменных и возвращаемых значений функций и может доказать, какие переменные превышают заданные пределы диапазона. Результаты верификации кода используются для отслеживания показателей качества ПО и проверки соответствия данным целям качества. Polyspace Code Prover можно использовать с Eclipse IDE для проверки кода на рабочем столе.
Для доказательства соответствия отраслевым стандартам применяются IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Certification Kit (for DO-178).
Polyspace Code Prover помечает результаты анализа цветом
Верификация кода с использованием формальной математики
Polyspace Code Prover определяет операции кода C/C++, которые никогда не будут вызывать ошибки времени исполнения, независимо от условий выполнения. Все пути исполнения кода по всем возможным входам анализируются без запуска кода. Таким образом удовлетворяются требования по сертификации для проектов, основанных на отраслевых стандартах.
Улучшение кода и анализа
Всплывающая подсказка показывает диапазоны значений переменных и операторов
Polyspace Code Prover сокращает время, затрачиваемое на проверку кода, отладку и тестирование на робастность. Проверяются потоки управления и потоки данных программного обеспечения и вычисляются диапазоны переменных и операторов. Идентифицируются все разделы кода, которые не могут быть достигнуты в каком-либо пути исполнения и ошибки в логике и структуре программы. Polyspace Code Prover верифицирует сгенерированный код и создает трассируемость до блока исходной модели Simulink.
Всплывающая подсказка показывает диапазоны значений переменных и операторов
Автоматизация верификацию кода с помощью сервера Polyspace Code Prover
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Polyspace Code Prover Server служит для автоматизации верификации кода, обеспечивая запуск движка Polyspace Code Prover в серверной среде с такими средами непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, отправляются уведомления по электронной почте. Результаты верификации могут быть загружены в Polyspace Code Prover Access, для последующей сортировки и исправления дефектов.
Совместная работа с Polyspace Code Prover Access
Суммарная информация о проекте в Polyspace Code Prover Access
Polyspace Code Prover Access обеспечивает просмотр результатов статического анализа кода Polyspace и показателей качества в веб-интерфейсе, а также их центральное хранилище. Инструменты навигации для исследования результатов статического анализа отображаются рядом с кодом. Информационные панели отображают информацию, которую можно использовать для отслеживания качества программного обеспечения, состояния проекта, количества дефектов и метрик кода. Веб-интерфейс также обеспечивает создание и назначение заявок в таких инструментах отслеживания ошибок, как Jira.
Polyspace Bug Finder
Выявление ошибки программного обеспечения с помощью статического анализа.
Создайте собственный путь навигации.
Polyspace Bug Finder выявляет ошибки время исполнения, проблемы параллелизма, уязвимости безопасности и другие дефекты во встраиваемом программном обеспечении, созданном на языках C и C ++. Polyspace Bug Finder анализирует программный контроль, поток данных и межпроцедурное поведение с использованием статического анализа и семантического анализа. Дефекты и ошибки помечаются сразу после их обнаружения, что обеспечивает ранжирование и исправление ошибок на ранних этапах процесса разработки.
Polyspace Bug Finder проверяет соответствие кода стандартам кодирования, таким как MISRA C , MISRA C++, JSF ++, CERT C, CERT C ++ и пользовательским соглашениям об именах. Генерируется отчеты, состоящие из найденных ошибок, нарушений правил кода и показателей качества кода, включая цикломатическую сложность. Polyspace Bug Finder можно использовать с IDE Eclipse для бесшовной интеграции анализа кода.
Для автоматически сгенерированного кода результаты анализа Polyspace можно трассировать до моделей Simulink и блоков dSPACE TargetLink .
Для доказательства соответствия отраслевым стандартам применяются IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Certification Kit (for DO-178).
Создайте собственный путь навигации.
Обнаружение ошибок на ранних стадиях разработки
Трассируемость между результатами анализа и моделью Simulink
Трассируемость между результатами анализа и моделью Simulink
Обеспечивается просмотр кода наподобие отладчика с трассировкой событий, значениями переменных и деревьями вызовов. Результаты анализа сгенерированного кода трассируются к блокам исходной модели. Polyspace Bug Finder интегрируется с любым компилятором, целевым процессором и ОСРВ.
Сделайте код безопасным и надежным
Настройка проверки на соответствие стандартам кодирования
Выполняется проверки на соответствие кода на стандарты кодирования MISRA C, MISRA C++, AUTOSAR C++ 14, JSF++ а также стандарты, определенные пользователем. При помощи анализа кода демонстрируется соответствие отраслевым стандартам, таких как ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304.
Результаты анализа сравниваются с пороговыми значениями качества, что обеспечивает упрощение коммуникацию команд разработчиков программного обеспечения и отслеживание этапов проекта.
Настройка проверки на соответствие стандартам кодирования
Автоматизация анализа кода с Polyspace Bug Finder Server
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Движок статического анализа Polyspace Bug Finder Server ™ запускается на компьютере серверного класса с такими инструментами автоматизации и непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, уведомления о дефектах отправляются по электронной почте, а сами результаты загружаются в Polyspace Bug Finder Access, для последующей сортировки и исправления дефектов.