彩虹下載站

首頁(yè) > 文章資訊 > 最新資訊

更加快速且無錯(cuò)誤的軟件設(shè)計(jì)新工具面世

作者:佚名 來源:彩虹下載站 時(shí)間:2021-01-20

任何建筑項(xiàng)目都需要在開始施工之前制定一系列初步計(jì)劃,以作為整個(gè)過程的基礎(chǔ)和指南。在軟件開發(fā)中,遵循類似的過程,其中包括一個(gè)稱為建模的特定步驟。加泰羅尼亞大學(xué)計(jì)算機(jī)科學(xué),多媒體和電信學(xué)院教授,互聯(lián)網(wǎng)上的SOM研究實(shí)驗(yàn)室研究小組成員解釋說:“該過程等同于在建造建筑物之前為建筑物生成一套計(jì)劃。

任何建筑項(xiàng)目都需要在開始施工之前制定一系列初步計(jì)劃,以作為整個(gè)過程的基礎(chǔ)和指南。在軟件開發(fā)中,遵循類似的過程,其中包括一個(gè)稱為建模的特定步驟。加泰羅尼亞大學(xué)計(jì)算機(jī)科學(xué),多媒體和電信學(xué)院教授,​​互聯(lián)網(wǎng)上的SOM研究實(shí)驗(yàn)室研究小組成員解釋說:“該過程等同于在建造建筑物之前為建筑物生成一套計(jì)劃。”羅伯特·克拉里索(RobertClarisó)跨學(xué)科研究所(IN3)。

更加快速且無錯(cuò)誤的軟件設(shè)計(jì)新工具面世

工程師使用建模從特定的角度描述軟件系統(tǒng),例如軟件將使用的數(shù)據(jù),其組件或他們期望其運(yùn)行的方式?;氐浇ㄖ?xiàng)目示例,計(jì)劃將是模型,這些模型可用于開發(fā)階段的指導(dǎo)以及進(jìn)行模擬和測(cè)試。

研究人員說:“最常用的模型類型是UML(統(tǒng)一建模語(yǔ)言)類圖符號(hào),它用于描述軟件系統(tǒng)的結(jié)構(gòu)。” 使用這些模型的優(yōu)點(diǎn)是它們比源代碼更抽象,源代碼包含有關(guān)所用技術(shù)的許多特定細(xì)節(jié)。用克萊里索的話來說,“模型可以更簡(jiǎn)潔,更容易產(chǎn)生和理解。”

這樣,建模將更多地作為一個(gè)初步步驟,而不是源代碼的替代方法。這些模型使您更容易理解正在開發(fā)的系統(tǒng),還可以用于生成某些實(shí)現(xiàn)元素,從而使編程過程中最重復(fù)的部分自動(dòng)化。

更加快速且無錯(cuò)誤的軟件設(shè)計(jì)新工具面世

驗(yàn)證工具的作用

工程師使用驗(yàn)證工具來防止可能影響代碼本身以及系統(tǒng)最終實(shí)現(xiàn)的錯(cuò)誤。Clarisó強(qiáng)調(diào)了這一過程的重要性,他說:“我們需要確保模型正確,以最大程度地減少軟件中可能出現(xiàn)的錯(cuò)誤。”

作為在《對(duì)象技術(shù)雜志》上發(fā)表的一項(xiàng)研究的一部分,Clarisó及其同事Carlos A.González(Gran Telescopio Canarias研究員)和Jordi Cabot(ICREA研究員)已經(jīng)為UML / OCL提出了一種新的驗(yàn)證技術(shù)。解決常見問題的模型。設(shè)計(jì)師每次對(duì)模型進(jìn)行更改(例如添加,刪除或修改信息)時(shí),都意味著必須重新分析整個(gè)系統(tǒng),這就是為什么通常僅在確定了模型之后才進(jìn)行驗(yàn)證的原因。在過程結(jié)束時(shí)生產(chǎn)。

更加快速且無錯(cuò)誤的軟件設(shè)計(jì)新工具面世

正如Clarisó解釋的那樣,“我們的文章概述了增量驗(yàn)證方法的應(yīng)用,也就是說,只要有更改,我們就可以更輕松地驗(yàn)證模型。” 不僅可以像現(xiàn)在這樣在過程結(jié)束時(shí)驗(yàn)證模型,還可以在構(gòu)建過程中驗(yàn)證模型,而不必從頭開始,這有助于早期發(fā)現(xiàn)錯(cuò)誤。


遍布全國(guó)和全球的活躍社區(qū)

這種方法在證書的使用方面也是創(chuàng)新的,這些示例說明了模型的正確操作。正如研究人員指出的那樣:“當(dāng)我們修改模型時(shí),擁有新證書將消除對(duì)它進(jìn)行驗(yàn)證的需要。

適應(yīng)證書的成本比重新運(yùn)行驗(yàn)證過程的成本要低得多。”在解釋該過程時(shí),作者建議,與其驗(yàn)證新模型,不如將原始模型的證書改編為新模型。他們現(xiàn)在面臨的挑戰(zhàn)是將這些技術(shù)集成到現(xiàn)有的軟件建模工具和環(huán)境中。

擔(dān)任西班牙模型驅(qū)動(dòng)軟件工程卓越網(wǎng)絡(luò)協(xié)調(diào)員的克拉里索在評(píng)論整個(gè)行業(yè)時(shí)強(qiáng)調(diào),“西班牙建模界仍然非?;钴S,并參與了各種國(guó)家和國(guó)際研究項(xiàng)目。”

 

實(shí)際上,盡管該網(wǎng)絡(luò)不再運(yùn)行,但社區(qū)仍作為年度軟件和數(shù)據(jù)庫(kù)工程大會(huì)的一部分而協(xié)同工作并進(jìn)行協(xié)作,該大會(huì)擁有一個(gè)專門用于模型驅(qū)動(dòng)的軟件工程的空間。