產(chǎn)品概述

Rhapsody是基于UML/SysML的模型驅(qū)動(dòng)開發(fā)集成環(huán)境，專注于嵌入式和實(shí)時(shí)系統(tǒng)。通過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)行測試。

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

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

?Siemens Teamcenter SE接口

?SOA(WSDL)支持

?Mathworks Simulink接口

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

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

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

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

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

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

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

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

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

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

?通過Test Conductor提供白盒觀察測試執(zhí)行的窗口，形成一個(gè)靈活、可擴(kuò)展、可跟蹤的測試平臺(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)了對AUTOSAR標(biāo)準(zhǔn)的支持功能，使用統(tǒng)一建模語言（UML）一一 來為與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)原型與仿真測試工作

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

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

應(yīng)用案例

審核編輯 黃宇