•  

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
  • LDRA

    LDRA logo


    О компании

    Уже более сорока лет компания LDRA развивает и направляет рынок программного обеспечения по автоматизации анализа кода и многоцелевого тестирования ПО повышенной надежности, критического к безопасности, требующего высокой защищенности и качества.

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

    Обладая международным присутствием, LDRA имеет штаб квартиру в Англии с дочерними компаниями в США и Индии. Также LDRA развивает обширную сеть дистрибьюторов, частью которой является Департамент Mathworks в России. 

    Видео: Интеграция MathWorks Simulink и LDRA Tool Suite для измерения покрытия кода 

      


    Обзор деятельности

    LDRA помогает компаниям разрабатывать высококачественное программное обеспечение, которое может быть сертифицировано на самом строгом уровне.

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

    Благодаря технологии компании LDRA такие корпоративные гиганты, как Lockheed Martin, Boeing, Ford Motor Company, Thales Underwater Systems и многие другие, добиваются полного соответствия требованиям сертификации на соответствие нормам программирования и отраслевым стандартам на протяжении уже более чем 35 лет.

    Чем мы можем помочь?

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

    Он обеспечивает широкий спектр функциональных возможностей, от статического и динамического анализа, до учета требований, тестирования модулей и выполнения проверок. Пакет средств компании LDRA автоматизирует все этапы процесса разработки, помогая проверить программное обеспечение, начиная с определения предъявляемых требований, создания модели, кода и проведения испытаний и завершая окончательной проверкой.

    Сосредоточившись на процессе разработки, а также безошибочном кодировании, компания LDRA стремится помочь клиентам обеспечить эффективность процесса, а также выявить и устранить ошибки на ранней стадии, резко снизить риски для продукта и стоимость разработки.

    Требования к вашему проекту

    Прежде всего для обеспечения учета требований в контексте интегрированного статического анализа, охвата кода и данных и автоматизированных средств тестирования, компания LDRA позволяет группам разработчиков связывать требования и задачи проекта со всеми этапами жизненного цикла программного обеспечения — созданием модели, написанием кода, проведением испытаний — создав графическую таблицу, которая динамически отражает выполнение требований. Компании, которым требуется показать полное соответствие процесса стандартам, например DO-178C, могут использовать возможности учета требований для демонстрации полного выполнения задач, связанных с системой и ее сертификацией.

    Индивидуализированные средства и аттестация

    Компания LDRA предлагает систему управления соблюдением требований LDRA (LDRA Compliance Management System, LCMS), включающую разработанные в соответствии с конкретными стандартами шаблоны и списки контрольных вопросов, доступ к которым можно получить через защищенную веб¬систему; Компания LDRA также предлагает пакеты аттестации средств проверки компании LDRA.

    В совокупности эти возможности позволяют оптимизировать процессы выполнения нормативных требований, описывая связанные с проверкой действия и задачи. Эти шаблоны и аттестационные пакеты, адаптированные под конкретные потребности отрасли, позволяют компаниям незамедлительно приступить к оценке общих требований таких стандартов, как DO-178, IEC 62304, IEC 61508, EN 50128 и ISO 26262.


    Служба сертификации

    Для компаний, нуждающихся в непосредственной практической помощи в связи с сертификацией и специалистах по связям с регулирующими органами, компания LDRA создала службу LCS (LDRA Certification Services – служба сертификации компании LDRA) - подразделение компании LDRA специализирующееся на оказании компаниям помощи в подготовке к сертификации. Руководимая опытными DER и специализирующимися на сертификации аудиторами служба LCS обеспечивает соответствие стандартам за установленную цену.

    Коллектив службы LCS может дать свои рекомендации при разработке нового кеда и выполнить анализ недостатков для подготовки программы приведения старого кода в соответствие требованиям. Обучение и непрерывное участие посредством использования LCMS, соответствующих проверок, а также поддержки в процессе разработки и проверки со стороны службы LCS позволяют специалистам по разработке систем составить предсказуемый график и установить неизменную стоимость обслуживания, что делает сертификацию доступной по цене.

    Помогая компаниям подготовиться к сертификации под руководством службы LCS или предоставляя им пакет средств LDRA для автоматизации процесса разработки, позволяющие самостоятельно добиться соответствия требованиям, компания LDRA понимает, что для широкого спектра приложений, к которым предъявляются особые требования в плане безопасности, сертификация является не добровольной, а обязательной.

    Сочетание средств и опыта компании LDRA исключает неприятности и неопределенности, связанные с достижением соответствия установленным требованиям. Думающие о будущем компании знают, что им необходимо максимально использовать мощь отвечающих требованиям систем для облегчения приемки выполненных работ заказчиками и снижения рисков возникновения ответственности. Сотрудничая с LDRA, компании извлекают пользу из упрощения выполнения установленных требований и могут ускорить выход своей продукции на рынок наиболее эффективным и экономичным образом. 


    Сертификат официального дистрибьютора

    LDRA_Distributor_certificate.jpg

    Основные продукты

    TBmanager® – инструмент для управления требованиями и рабочим процессом
    TBmanager® является интерфейсом для всего набора инструментов LDRA и создает единое пространство для работы со всеми модулями, включая тестовые наборы, регрессионное тестирование и тестирование приложений, написанных на разных языках программирования.

    TBreq® – инструмент для управления требованиями
    Основным применением инструмента TBreq является захват требований различного уровня (высоко- и низкоуровневых) из любого инструмента и источника. При этом TBreq обеспечивает интуитивный интерфейс для простоты трассируемости, генерации тестов и верификации требований.

    TBvision®  – показатели качества кода, покрытие тестами, стандарты программирования
    TBvision обеспечивает прозрачность исходного кода, позволяя руководителям, командам и разработчикам лучше отслеживать тестирование, показатели качества, ошибки памяти и слабые места в безопасности программы.

    LDRArules® - проверка стандартов кодирования
    Повышает прозрачность соблюдения стандартов кодирования.

    LDRAcover® - инструмент анализа покрытия кода
    Этот инструмент позволяет просто и быстро просмотреть результаты покрытия кода тестами, такие как графы вызовов, потоки данных в коде и отчеты о покрытии кода в простом для использовании интерфейсе с большими возможностями для фильтрации.

    LDRAunit® - автономный инструмент модульного тестирования
    Основной целью юнит тестирования является наименьший кусок кода тестируемого приложения, изоляция его от остального кода, и определение, ведет ли он себя именно так, как ожидалось. Каждый модуль тестируется отдельно до их интеграции для тестирования взаимодействия между модулями. Юнит тестирование доказало свою полезность, благодаря большому количеству дефектов, которое удалось выявить при его использовании.

    LDRA Testbed® - Системные тесты и покрытие  тестами

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

    TBrun® - инструмент модульного тестирования
    Основной целью юнит тестирования является наименьший кусок кода тестируемого приложения, изоляция его от остального кода, и определение, ведет ли он себя именно так, как ожидалось.
    Каждый модуль тестируется отдельно до их интеграции для тестирования взаимодействия между модулями. Юнит тестирование доказало свою полезность, благодаря большому количеству дефектов, которое удалось выявить при его использовании.

    TBsecure® - проверка кода в соответствии с CERT C
    TBsecure® - это плагин к TBVision полностью совместимый с разработанным в Carnegie Mellon Software Engineering Institute (SEI) стандартом безопасности CERT C. Этот инструмент создан для обнаружения уязвимостей и позволяет внедрить недавно выпущенный стнадарт CERT C Secure Coding Standard version 1.0

    TBevolve® - анализ процесс развития кода
    TBevolve – дополнительный модуль для продукта LDRA Testbed, который идентифицирует и отслеживает значительные изменения кода, а также позволяет контролировать влияние этих изменений на процесс тестирования.

    TBsafe® - обеспечение покрытия тестами для стандартов DO-178B и DO-178C
    TBSafe предоставляет разработчикам, тестировщикам и руководителям проектов набор инструментов для тщательного анализа кода их высоконадежного ПО для соответствия стандартам DO-178B, Def Stan 00-55 и IEC 61508. 


    Запрос консультации по продукту

    • Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных. Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с « Политикой конфиденциальности персональных данных».