Семейство продуктов модельно-ориентированного проектирования MATLAB и Simulink дополнено специализированным продуктом PolySpace для проверки кода.
Технология проверки кода, реализованная в PolySpace, позволяет эвристическими и математическими методами без компиляции и тестирования находить ошибки периода исполнения (Run-Time Errors), такие как деление на ноль, переполнение, неправильная индексация и т.д. Такого рода ошибки, как правило, не могут быть обнаружены на этапе компиляции и составляют серьезную проблему для разработчиков микропроцессорных устройств. Теперь MATLAB, Simulink и Real-Time Workshop дополнены новыми продуктами, позволяющими проверять и сертифицировать код для микропроцессоров и отказоустойчивых приложений.
Семейство продуктов PolySpace включает в себя сервер проверки кода, клиентские приложения и специальные пакеты для взаимодействия с моделями Simulink. PolySpace обеспечивает разработчиков средствами проверки С/С++ и ADA-кода, как полученного автоматически, так и написанного вручную.
Более подробно ознакомиться с продуктом PolySpace можно на сайте компании The MathWorks.
Получить информацию о компании The MathWorks и ее продуктах можно, посетив интернет-сайт компании Softline.
|