亚洲免费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
        賺錢方法
        西西大胆午夜人体视频| 久久人妻少妇嫩草av蜜桃 | 亚洲精品午睡沙发系列| 欧美一级视频精品观看| 在线视频一区二区三区中文字幕| 蜜臀av一区二区三区久久 | 国产午夜精品一区二区三区不卡| 98精品国产综合久久| 午夜宅男成人影院香蕉狠狠爱| 国产香蕉视频在线播放| 日韩少妇内射免费播放| 亚洲电影中文字幕| 91久久国产露脸国语对白| 邻居少妇张开腿让我爽了一夜| 国产国语熟妇视频在线观看| 日本在线观看不卡| 国产激情小视频在线观看| (无码视频)在线观看| 成人国产精品免费视频| 狠狠色欧美亚洲综合色黑a| 一区二区中文字幕在线观看污污| 在线看片免费人成视频电影| 熟妇人妻中文字幕无码老熟妇| 亚洲日本人妻中文字幕| 丰满少妇被猛进去高潮| 久久综合狠狠色综合伊人| 精品国产AⅤ无码一区二区| 蜜桃人妻午夜精品一区二区三区| 久久黄色视频| 亚洲中文字幕无码久久2020| baoyu网址国产最新| 亚洲精品视频1区2区| 男性av天堂一区二区| 寂寞少妇做spa按摩无码| 国产在线一91区免费国产91| 亚洲一区二区视频蜜桃| 国产极品美女高潮无套| 使劲快高潮了国语对白在线| 在线无码精品秘 在线观看| 中文字幕女同人妖熟女| 东北女人毛多水多牲交视频|