亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        面向領(lǐng)域的軟件系統(tǒng)構(gòu)造與質(zhì)量保障專題前言*

        2021-12-05 05:35:00潘敏學(xué)崔展齊
        軟件學(xué)報(bào) 2021年4期
        關(guān)鍵詞:方法

        潘敏學(xué) ,魏 峻 ,崔展齊

        1(計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué)),江蘇 南京 210023)

        2(南京大學(xué) 軟件學(xué)院,江蘇 南京 210093)

        3(中國(guó)科學(xué)院 軟件研究所,北京 100190)

        4(北京信息科技大學(xué) 計(jì)算機(jī)學(xué)院,北京 100101)

        軟件是推動(dòng)新一代信息技術(shù)發(fā)展的驅(qū)動(dòng)力.隨著互聯(lián)網(wǎng)、云計(jì)算、人工智能等技術(shù)的快速發(fā)展,軟件與物聯(lián)網(wǎng)、區(qū)塊鏈、自動(dòng)駕駛等眾多領(lǐng)域的融合進(jìn)一步加強(qiáng),正引領(lǐng)并促進(jìn)這些領(lǐng)域向數(shù)字化、智能化發(fā)展,為社會(huì)、經(jīng)濟(jì)的加速演進(jìn)和創(chuàng)新發(fā)展帶來(lái)了新的契機(jī).因此,面向領(lǐng)域的軟件技術(shù)不僅是軟件領(lǐng)域,也是眾多其他領(lǐng)域國(guó)內(nèi)外學(xué)者的關(guān)注焦點(diǎn)和研究重點(diǎn).與傳統(tǒng)的軟件系統(tǒng)相比,面向領(lǐng)域的軟件系統(tǒng)(簡(jiǎn)稱領(lǐng)域軟件)帶來(lái)了研究與應(yīng)用上的新挑戰(zhàn).面對(duì)領(lǐng)域軟件的特點(diǎn)和需求,如何有效地構(gòu)造領(lǐng)域軟件,實(shí)現(xiàn)領(lǐng)域應(yīng)用的軟件定義與智能化,如何通過(guò)驗(yàn)證、分析、測(cè)試等多種手段嚴(yán)格保障系統(tǒng)控制行為的正確性、實(shí)時(shí)性、協(xié)同性等重要質(zhì)量特性,是一個(gè)重大挑戰(zhàn).

        本專題采取自由投稿的方式,共收到37 篇投稿,其中36 篇通過(guò)了形式審查.特約編輯邀請(qǐng)了30 位領(lǐng)域?qū)<覅⑴c審稿,每篇稿件至少邀請(qǐng)2 位專家進(jìn)行評(píng)審,每篇稿件都經(jīng)過(guò)兩輪審稿.共計(jì)16 篇稿件通過(guò)第1 輪評(píng)審,并在CCF 軟件工程專業(yè)委員會(huì)、系統(tǒng)軟件專業(yè)委員會(huì)、形式化方法專業(yè)委員會(huì)年會(huì)2020 CCF 中國(guó)軟件大會(huì)(Chinasoft)上進(jìn)行了報(bào)告.經(jīng)過(guò)第2 輪終審,最終有10 篇論文入選本專題.其中,

        論文“基于反例確認(rèn)的CPS 不確定性模型校準(zhǔn)”研究了CPS 中不確定性模型的準(zhǔn)確性問(wèn)題,提出了一種基于反例確認(rèn)的校準(zhǔn)方法以提高不確定性模型的準(zhǔn)確度并精化CPS 系統(tǒng)模型的驗(yàn)證結(jié)果.

        論文“安全關(guān)鍵異構(gòu)軟件混合建模及代碼生成方法”提出了一種AADL 和SDL 的混合建模方法,支持以自底向上的方式對(duì)安全關(guān)鍵軟件系統(tǒng)進(jìn)行混合建模,并給出了面向多核處理器平臺(tái)的代碼自動(dòng)生成方法.

        論文“基于環(huán)境建模的物聯(lián)網(wǎng)系統(tǒng)TAP 規(guī)則生成方法”提出了一種基于環(huán)境建模的TAP 規(guī)則生成方法,自動(dòng)地基于環(huán)境模型從服務(wù)需求中推導(dǎo)系統(tǒng)行為,檢測(cè)系統(tǒng)行為的完整性與一致性,并最后轉(zhuǎn)換為TAP 規(guī)則.

        論文“區(qū)塊鏈賦能的高效物聯(lián)網(wǎng)數(shù)據(jù)激勵(lì)共享方案”提出了一個(gè)高效的區(qū)塊鏈物聯(lián)網(wǎng)數(shù)據(jù)激勵(lì)共享框架,利用分片技術(shù)構(gòu)建能夠并行處理數(shù)據(jù)共享交易的異步共識(shí)區(qū),并在云/邊緣服務(wù)器和分片異步共識(shí)區(qū)上部署高效的共識(shí)機(jī)制,從而提高數(shù)據(jù)共享交易的處理效率.

        論文“時(shí)空軌跡數(shù)據(jù)驅(qū)動(dòng)的自動(dòng)駕駛場(chǎng)景元建模方法”提出一種面向自動(dòng)駕駛領(lǐng)域的時(shí)空軌跡數(shù)據(jù)元建模方法以實(shí)現(xiàn)數(shù)據(jù)的統(tǒng)一、處理與重用,并基于自動(dòng)駕駛安全場(chǎng)景建模語(yǔ)言ADSML 討論了如何使用ADSML 實(shí)現(xiàn)場(chǎng)景實(shí)例化.

        論文“基于深度學(xué)習(xí)的混合模糊測(cè)試方法”提出了一個(gè)基于深度學(xué)習(xí)將符號(hào)執(zhí)行與模糊測(cè)試相結(jié)合的混合測(cè)試方法,并實(shí)現(xiàn)了相應(yīng)的混合測(cè)試工具SmartFuSE.

        論文“一種結(jié)構(gòu)信息增強(qiáng)的代碼修改自動(dòng)轉(zhuǎn)換方法”基于深度學(xué)習(xí)提出了一種結(jié)構(gòu)信息增強(qiáng)的代碼修改自動(dòng)轉(zhuǎn)換方法,增強(qiáng)了模型對(duì)代碼的結(jié)構(gòu)信息和依賴信息的捕獲能力,從而提升了代碼修改自動(dòng)轉(zhuǎn)換的準(zhǔn)確性.

        論文“融合代碼與文檔的軟件功能特征挖掘方法”提出了一種融合代碼與文檔的軟件功能特征挖掘方法.通過(guò)迭代挖掘軟件源代碼和以Stack Overflow 討論帖為代表的軟件文檔,自動(dòng)提取開源軟件的功能特征描述,并構(gòu)造層次化的軟件功能特征視圖.

        論文“基于偶然正確性概率的錯(cuò)誤定位技術(shù)”通過(guò)對(duì)基于代碼覆蓋的錯(cuò)誤定位技術(shù)中可疑度的計(jì)算方法進(jìn)行修正,提出了一種錯(cuò)誤定位技術(shù),以消除偶然正確性現(xiàn)象對(duì)錯(cuò)誤定位技術(shù)的影響.

        論文“面向神經(jīng)機(jī)器翻譯系統(tǒng)的多粒度蛻變測(cè)試”提出了一種基于蛻變測(cè)試的多粒度測(cè)試框架,用于在沒有參考譯文的情況下評(píng)估神經(jīng)機(jī)器翻譯系統(tǒng)的翻譯質(zhì)量及其翻譯魯棒性.

        本專題面向領(lǐng)域軟件的研究人員和工程人員,內(nèi)容涵蓋領(lǐng)域軟件的需求分析、設(shè)計(jì)與建模、開發(fā)與構(gòu)造、測(cè)試與驗(yàn)證等領(lǐng)域,反映了我國(guó)學(xué)者在相關(guān)領(lǐng)域的高水平研究成果.感謝《軟件學(xué)報(bào)》編委會(huì)、CCF 軟件工程專委會(huì)、系統(tǒng)軟件專委會(huì)、形式化方法專委會(huì)對(duì)專題工作的指導(dǎo)和幫助,感謝專題全體評(píng)審專家及時(shí)、耐心、細(xì)致的評(píng)審工作,感謝踴躍投稿的所有作者.希望本專題能夠?qū)︻I(lǐng)域軟件的科研工作有所促進(jìn).

        猜你喜歡
        方法
        中醫(yī)特有的急救方法
        中老年保健(2021年9期)2021-08-24 03:52:04
        高中數(shù)學(xué)教學(xué)改革的方法
        化學(xué)反應(yīng)多變幻 “虛擬”方法幫大忙
        變快的方法
        兒童繪本(2020年5期)2020-04-07 17:46:30
        學(xué)習(xí)方法
        可能是方法不對(duì)
        用對(duì)方法才能瘦
        Coco薇(2016年2期)2016-03-22 02:42:52
        最有效的簡(jiǎn)單方法
        山東青年(2016年1期)2016-02-28 14:25:23
        四大方法 教你不再“坐以待病”!
        Coco薇(2015年1期)2015-08-13 02:47:34
        賺錢方法
        日本三区在线观看视频| 男人添女人下部高潮全视频| 日本公妇在线观看中文版| 色先锋资源久久综合5566| 亚洲毛片αv无线播放一区| 国产精品久久久久亚洲| 亚洲天堂一区二区精品| 中文字幕亚洲五月综合婷久狠狠| 亚洲国产国语在线对白观看| 人妻在卧室被老板疯狂进入| 亚洲狠狠久久五月婷婷| 久久久精品毛片免费观看| а天堂中文在线官网在线| 国产精品r级最新在线观看| 无码三级在线看中文字幕完整版| 在线精品国内视频秒播| 亚洲色欲色欲www成人网| av成人资源在线观看| 熟女人妻在线中文字幕| 老师开裆丝袜喷水视频| 亚洲av午夜福利精品一区二区 | 日本九州不卡久久精品一区| 精品无码av无码专区| 性xxxx18免费观看视频| 大地资源在线播放观看mv| 国产日韩A∨无码免费播放| 中文字幕乱码亚洲无线| 亚洲三级香港三级久久| 日本亚洲国产精品久久| 337p日本欧洲亚洲大胆精品 | 日本不卡视频网站| 熟女系列丰满熟妇av| 久久精品亚洲热综合一本色婷婷| 老熟女的中文字幕欲望| 午夜福利av无码一区二区| 欧美黑人巨大xxxxx| 精品18在线观看免费视频| 国产麻豆一区二区三区在线播放| 久久综合久久综合久久| 亚洲av无码国产精品色午夜字幕| 亚洲精品无码乱码成人|