產(chǎn)品概述

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

      Rhapsody同時(shí)提供了種類眾多、功能強(qiáng)大的Add-Ons擴(kuò)展模塊，滿足客戶不同的應(yīng)用需求。針對(duì)嵌入式軟件，Rhapsody支持C、C++、Java及Ada語(yǔ)言，支持完整動(dòng)態(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：可視化面板，支持快速原型測(cè)試

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

    ? Siemens Teamcenter SE接口

    ? SOA(WSDL)支持

    ? Mathworks Simulink接口

    · Rhapsody Test Conductor基于模型測(cè)試工具模塊

    ? 遵循UML規(guī)范，基于場(chǎng)景的嵌入式測(cè)試生成和檢驗(yàn)套件

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

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

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

    ? 通過(guò)不同顏色給出錯(cuò)誤報(bào)告

    · Rhapsody Automatic Test Generation Add On，Rhapsody模型測(cè)試用例自動(dòng)生成工具

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

    ? 自動(dòng)生成各種測(cè)試用例用于單元測(cè)試、集成測(cè)試、回歸測(cè)試

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

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

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

主要技術(shù)功能

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

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

    · AUTOSAR從概念到代碼的工作流程：Rhapsody改進(jìn)了對(duì)AUTOSAR標(biāo)準(zhǔn)的支持功能，使用統(tǒng)一建模語(yǔ)言（UML）一一 來(lái)為與AUTOSAR RTE相集成的整個(gè)軟件構(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代碼，以及開展可視化逆向工程

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

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

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

應(yīng)用案例