Rhapsody—復(fù)雜域控軟件架構(gòu)開發(fā)套件

產(chǎn)品概述

      Rhapsody是基于UML/SysML的模型驅(qū)動開發(fā)集成環(huán)境，專注于嵌入式和實時系統(tǒng)。通過Rhapsody的模型驅(qū)動體系，可以快速地將應(yīng)用模型部署到實時嵌入式操作系統(tǒng)。Rhapsody適應(yīng)迭代設(shè)計與開發(fā)，軟件開發(fā)可以在宿主機(jī)環(huán)境持續(xù)的執(zhí)行和驗證，繼而生成嵌入式應(yīng)用，下載到目標(biāo)機(jī)進(jìn)行測試。

      Rhapsody同時提供了種類眾多、功能強(qiáng)大的Add-Ons擴(kuò)展模塊，滿足客戶不同的應(yīng)用需求。針對嵌入式軟件，Rhapsody支持C、C++、Java及Ada語言，支持完整動態(tài)代碼生成、仿真及目標(biāo)環(huán)境執(zhí)行功能。支持迭代開發(fā)及快速原型，便于快速交付高質(zhì)量系統(tǒng)。

產(chǎn)品家族功能介紹

    · 擴(kuò)展功能模塊介紹

       Rhapsody Toolsand Utilities Add On，Rhapsody與外部環(huán)境的交互接口包，包含：

    ? Reporter Plus：基于模型可定制生成文檔，滿足公司及業(yè)界標(biāo)準(zhǔn)

    ? Gateway：提供需求可追蹤能力。基于需求管理工具的導(dǎo)入、管理并追蹤需求

    ? Webify：可視化面板，支持快速原型測試

    ? XMIToolkit：便于不同的支持XMI標(biāo)準(zhǔn)的工具之間的模型轉(zhuǎn)換

    ? Siemens Teamcenter SE接口

    ? SOA(WSDL)支持

    ? Mathworks Simulink接口

    · Rhapsody Test Conductor基于模型測試工具模塊

    ? 遵循UML規(guī)范，基于場景的嵌入式測試生成和檢驗套件

    ? 應(yīng)用UML順序圖定義測試

    ? 使用插樁、監(jiān)視、驅(qū)動等測試技術(shù)

    ? 參數(shù)化表示測試用例行為

    ? 通過不同顏色給出錯誤報告

    · Rhapsody Automatic Test Generation Add On，Rhapsody模型測試用例自動生成工具

    ? 根據(jù)UML模型生成系統(tǒng)和軟件的完整測試用例對于不同模塊進(jìn)行針對性測試，如：模型元素覆蓋率測試，MC/DC覆蓋率測試等

    ? 自動生成各種測試用例用于單元測試、集成測試、回歸測試

    ? 提供測試用例的文本和XMI格式的輸出

    ? 通過Test Conductor提供白盒觀察測試執(zhí)行的窗口，形成一個靈活、可擴(kuò)展、可跟蹤的測試平臺

    · Rhapsody Developer Rules Composerand Rules Player Add Ons：提供代碼生成定制化能力，模型轉(zhuǎn)換引擎

主要技術(shù)功能

    · 基于UML/SysML的模型驅(qū)動開發(fā)集成環(huán)境，專注于嵌入式和實時系統(tǒng)

    · 支持文檔發(fā)布模板定制和模型報告文檔的自動生成

    · AUTOSAR從概念到代碼的工作流程：Rhapsody改進(jìn)了對AUTOSAR標(biāo)準(zhǔn)的支持功能，使用統(tǒng)一建模語言（UML）一一 來為與AUTOSAR RTE相集成的整個軟件構(gòu)件生成C代碼

    · 具備豐富的API可與其他軟件進(jìn)行集成：Gateway提供雙向接口，兼容業(yè)界大多數(shù)常用的需求管理和配置管理工具，包括Microsoft? Word、Microsoft? Excel?、 Microsoft? PowerPoint?、 PDF?、 ASCII、 Adobe? Acrobat? 6.0+、 Rational DOORS、IBM Rational、IBM RequisitePro、Borland CalibreRM、 Mathworks Simulink

    · 模型與代碼的相互關(guān)聯(lián)，支持由模型生成C/C++/Java/Ada代碼，以及開展可視化逆向工程

    · 具備模擬和運行功能，可借助面板圖開展快速系統(tǒng)原型與仿真測試工作

    · 模型驅(qū)動的驗證支持：通過Test Conductor和Automatic Test Generator插件，基于需求驅(qū)動測試過程，實現(xiàn)自動化測試，獲取可視化的測試用例，驗證測試有效性，生成測試覆蓋度報告

    · 實時框架與動態(tài)模型代碼關(guān)聯(lián)支持

應(yīng)用案例