隨著客戶需求范圍的擴(kuò)大和復(fù)雜性的增加，系統(tǒng)的邏輯與控制軟件的規(guī)模和復(fù)雜性也隨之?dāng)U大和增加。當(dāng)各機(jī)構(gòu)需要在越來(lái)越緊迫的時(shí)限內(nèi)開發(fā)飛機(jī)和汽車應(yīng)用所需的數(shù)百萬(wàn)行代碼時(shí)，他們發(fā)現(xiàn)傳統(tǒng)的開發(fā)流程已不再能夠滿足質(zhì)量與時(shí)間的目標(biāo)要求。將基于模型的設(shè)計(jì)用于嵌入式系統(tǒng)開發(fā)，可在開發(fā)過(guò)程早期發(fā)現(xiàn)缺陷并減少潛在缺陷總數(shù)，從而可以降低成本。基于模型的設(shè)計(jì)可以幫助公司在更短時(shí)間內(nèi)以更低成本開發(fā)出質(zhì)量更高的系統(tǒng)，具有頗具競(jìng)爭(zhēng)力的優(yōu)勢(shì)。

傳統(tǒng)開發(fā)方法對(duì)比基于模型的設(shè)計(jì)

在傳統(tǒng)開發(fā)流程中，需求、設(shè)計(jì)、實(shí)現(xiàn)和測(cè)試任務(wù)在不同的工具環(huán)境下依次執(zhí)行，其中涉及多個(gè)人工步驟（圖1）。使用Microsoft Word或IBM DOORS等工具以文本方式捕獲需求。不同設(shè)計(jì)使用針對(duì)該領(lǐng)域的不同工具實(shí)現(xiàn)，這使得系統(tǒng)級(jí)測(cè)試一直要到在軟件或硬件中實(shí)現(xiàn)后才能執(zhí)行。然后人工將設(shè)計(jì)轉(zhuǎn)換成代碼，這是個(gè)耗時(shí)且容易引入缺陷的過(guò)程。每個(gè)階段中都會(huì)引入一些缺陷，從而使測(cè)試階段成為要發(fā)現(xiàn)之前階段中所積累的所有缺陷的清道夫。因此，測(cè)試階段占到整個(gè)開發(fā)時(shí)間和成本的大頭。缺少公用工具環(huán)境、多個(gè)人工步驟以及后期才能發(fā)現(xiàn)缺陷等因素都會(huì)延長(zhǎng)開發(fā)時(shí)間、增加開發(fā)成本。

圖 1. 傳統(tǒng)開發(fā)方法需要許多會(huì)引入缺陷的不必要的人工步驟。

基于模型的設(shè)計(jì)（圖2）以和傳統(tǒng)流程相同的需求開始。但是，這些需求并不作為文本規(guī)范的基礎(chǔ)，而是用于以模型的形式開發(fā)可執(zhí)行規(guī)范。工程師使用這些模型來(lái)明確需求與規(guī)范。然后對(duì)這些模型進(jìn)行細(xì)化，以開發(fā)需求更具體的設(shè)計(jì)。使用基于模型的設(shè)計(jì)工具，工程師可以在系統(tǒng)級(jí)對(duì)設(shè)計(jì)進(jìn)行仿真，在實(shí)現(xiàn)之前發(fā)現(xiàn)界面缺陷。完成設(shè)計(jì)之后，工程師借助這些模型自動(dòng)生成產(chǎn)品級(jí)代碼和測(cè)試用例。此工作流程使工程師們從需求到測(cè)試階段都能夠處于同一環(huán)境中，從而減少了人工工作量。此外，當(dāng)工程師們?cè)谀Ｐ椭蟹抡婵蓤?zhí)行規(guī)范來(lái)驗(yàn)證其是否滿足需求時(shí)，在需求階段即可開始測(cè)試。這樣便可及早發(fā)現(xiàn)和消除缺陷，降低開發(fā)總成本。

圖 2. 基于模型的設(shè)計(jì)在整個(gè)開發(fā)過(guò)程中使用系統(tǒng)級(jí)模型作為可執(zhí)行規(guī)范。這種設(shè)計(jì)方法支持系統(tǒng)級(jí)和組件級(jí)設(shè)計(jì)與仿真、自動(dòng)代碼生成以及連續(xù)測(cè)試與驗(yàn)證。

基于模型設(shè)計(jì)的優(yōu)勢(shì)

相比采用傳統(tǒng)方法的機(jī)構(gòu)，采用基于模型設(shè)計(jì)的機(jī)構(gòu)可將成本降低20%到60% 。成本節(jié)約主要得益于更準(zhǔn)確的需求分析以及早期和連續(xù)的測(cè)試與驗(yàn)證。由于使用了模型來(lái)仿真需求和設(shè)計(jì)，因此可在開發(fā)流程中早的多地發(fā)現(xiàn)缺陷；而處理早期發(fā)現(xiàn)的缺陷可成百上千倍地降低成本（圖3）。

圖 3 基于模型的設(shè)計(jì)可將缺陷發(fā)現(xiàn)提前到開發(fā)階段早期。

使用基于模型設(shè)計(jì)的 ROI 框架量化節(jié)約的成本

采用基于模型設(shè)計(jì) 的ROI 框架來(lái)進(jìn)行評(píng)估。根據(jù)項(xiàng)目大小、團(tuán)隊(duì)規(guī)模和其它因素，該框架可使用基本構(gòu)造性成本模型（COCOMO）計(jì)算出傳統(tǒng)開發(fā)的成本，然后減去基于模型設(shè)計(jì)所節(jié)約的成本，即可獲得基于模型設(shè)計(jì)的開發(fā)成本。之所以選用基本COCOMO模型原因是該模型是一種廣泛用于航空和國(guó)防工業(yè)的通用參數(shù)成本估算工具，在上兩個(gè)領(lǐng)域，采購(gòu)成本的可計(jì)算性要求由縝密的模型來(lái)進(jìn)行軟件成本估算。然后便可通過(guò)計(jì)算軟件成本和項(xiàng)目團(tuán)隊(duì)培訓(xùn)成本來(lái)計(jì)算ROI。該框架使用由軟件工程協(xié)會(huì)（SEI）、電氣和電子工程師協(xié)會(huì)（IEEE） 和行業(yè)研究所規(guī)定的指標(biāo)。由于項(xiàng)目規(guī)模、現(xiàn)有流程和使用基于模型設(shè)計(jì)的團(tuán)隊(duì)的專業(yè)水準(zhǔn)因行業(yè)和公司而異，因此可針對(duì)特定的項(xiàng)目和團(tuán)隊(duì)自定義基于模型設(shè)計(jì)的ROI框架。

我們看一個(gè)有500，000行代碼的軟件項(xiàng)目基線案例。使用基本COCOMO模型可以算出使用傳統(tǒng)方法的開發(fā)成本大約為600萬(wàn)美元。為了計(jì)算基于模型的設(shè)計(jì)相比傳統(tǒng)方法所節(jié)約的成本，每個(gè)開發(fā)階段（需求、設(shè)計(jì)、實(shí)現(xiàn)和測(cè)試）都要根據(jù)行業(yè)指標(biāo)進(jìn)行分析。然后便可匯總出所節(jié)約的總成本，并從傳統(tǒng)開發(fā)成本中將其減去。在本例中，基于模型設(shè)計(jì)的成本為300萬(wàn)美元，相比傳統(tǒng)方法節(jié)約了50%。

為了實(shí)現(xiàn)50%的成本節(jié)約，該框架會(huì)檢查基于模型設(shè)計(jì)所消除的傳統(tǒng)開發(fā)流程中的低效情況，并根據(jù)行業(yè)指標(biāo)和平均值計(jì)算出所節(jié)約成本。因每個(gè)開發(fā)階段節(jié)約的成本是分別計(jì)算的，因此該框架適用于逐步采用基于模型設(shè)計(jì)的情況。

下文將討論其中一種低效需求情況，以此來(lái)說(shuō)明該框架是如何工作的。在需求階段，使用模型來(lái)發(fā)現(xiàn)不明確、不一致或不可測(cè)試的需求，這使工程師能夠更大比例地發(fā)現(xiàn)缺陷?；€案例的該增加比例假設(shè)為9%。在需求階段發(fā)現(xiàn)這些缺陷，意味著可以避免開發(fā)階段后期成本高昂的返工。未發(fā)現(xiàn)的這9%的缺陷乘以解決該類缺陷的平均時(shí)常即為部分需求成本的節(jié)約量，而該缺陷的根本原因在于不正確的需求。在基線案例中，各需求缺陷的平均處理時(shí)長(zhǎng)為4.5小時(shí)。根據(jù)該計(jì)算，基于模型的設(shè)計(jì)可節(jié)約2，025個(gè)工程小時(shí)。圖4演示了處理需求分析缺陷（pain point）的框架部分。該框架還包含其它七個(gè)處理不同低效情況的部分。

圖 4. ROI 框架可計(jì)算通過(guò)在早期修正不正確需求而節(jié)約的工程小時(shí)數(shù)。

本例中，匯總整個(gè)開發(fā)過(guò)程所節(jié)約的成本時(shí)會(huì)發(fā)現(xiàn)，節(jié)約主要來(lái)自需求和測(cè)試階段（圖5）。這得益于更為全面的需求分析，從而減少了遺留到后續(xù)階段的缺陷。簡(jiǎn)言之，更好的需求有助于更好的設(shè)計(jì)實(shí)現(xiàn)。盡早和連續(xù)的測(cè)試使得可在引入缺陷的各階段本身就能發(fā)現(xiàn)并處理這些缺陷，這樣就減少了遺留在軟件中的潛在缺陷、降低了整體開發(fā)成本。

圖 5. 需求和測(cè)試階段節(jié)約的成本占總節(jié)約成本的大部分

MathWorks與采用基于模型設(shè)計(jì)的航空與汽車企業(yè)合作時(shí)，ROI框架有助于引導(dǎo)這一采用過(guò)程，使企業(yè)能夠發(fā)現(xiàn)可立即、顯著地從轉(zhuǎn)用基于模型的設(shè)計(jì)中獲益的領(lǐng)域。

本文小結(jié)

對(duì)大多數(shù)企業(yè)而言，投資新技術(shù)和新流程/工藝是一種有風(fēng)險(xiǎn)的嘗試。本文介紹的投資回報(bào)計(jì)算旨在提供投資基于模型設(shè)計(jì)的替代分析方法。除了證明投資的合理性，ROI框架還可以使設(shè)計(jì)團(tuán)隊(duì)發(fā)現(xiàn)基于模型的設(shè)計(jì)可以帶來(lái)最大節(jié)約的領(lǐng)域，以及通過(guò)進(jìn)一步研究可大幅降低成本的領(lǐng)域。

責(zé)任編輯：gt