• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于部分交互的軟件近似度量模型

    2014-08-05 02:40:12馬艷芳
    計算機工程與應(yīng)用 2014年24期
    關(guān)鍵詞:進程定義程序

    馬艷芳,陳 亮

    1.淮北師范大學(xué) 計算機科學(xué)與技術(shù)學(xué)院,安徽 淮北 235000

    2.上海市高可信計算重點實驗室,上海 200062

    3.淮北師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,安徽 淮北 235000

    基于部分交互的軟件近似度量模型

    馬艷芳1,2,陳 亮3

    1.淮北師范大學(xué) 計算機科學(xué)與技術(shù)學(xué)院,安徽 淮北 235000

    2.上海市高可信計算重點實驗室,上海 200062

    3.淮北師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,安徽 淮北 235000

    1 引言

    隨著信息技術(shù)的發(fā)展,軟件系統(tǒng)變得越來越龐大和復(fù)雜,缺陷和漏洞難以避免,人們開始對軟件的質(zhì)量進行研究。軟件可信性是評價軟件質(zhì)量的重要標(biāo)準(zhǔn)。近年來,軟件的可信性模型越來越得到關(guān)注。如,陳儀香等,根據(jù)軟件的各種屬性,建立了基于屬性和權(quán)值的軟件可信性量化模型[1-3]。徐峰等建立了軟件服務(wù)協(xié)議的可信性評估模型[4]。隨著網(wǎng)絡(luò)的發(fā)展和服務(wù)意識的增強,計算模式逐漸轉(zhuǎn)向以網(wǎng)絡(luò)為中心和面向服務(wù)的體系結(jié)構(gòu),從而軟件的運行環(huán)境(包括網(wǎng)絡(luò)環(huán)境、物理環(huán)境)逐漸轉(zhuǎn)向開放、動態(tài)的環(huán)境[5-7]。軟件的運行環(huán)境對軟件的可信性有著很大影響。在實際應(yīng)用中,由于環(huán)境資源的有限性等原因,有時軟件在環(huán)境下執(zhí)行到一定程度可能出現(xiàn)錯誤信息,從而軟件與環(huán)境未必成功交互。為了保證軟件在環(huán)境下繼續(xù)執(zhí)行,需要找出軟件與環(huán)境交互出錯的原因,而計算軟件與環(huán)境的交互程度可以幫助找到出錯的原因,進而為改進軟件與環(huán)境的交互提供一定的依據(jù)。

    為了研究軟件與環(huán)境的交互,首先需要對環(huán)境進行描述。根據(jù)Milner提出的通信系統(tǒng)演算[8-9](Communication and Compuation of Systems,CCS),從測試角度出發(fā),環(huán)境可以用進程表示。如Larsen提出的參數(shù)化互模擬[10],用一個標(biāo)號轉(zhuǎn)換系統(tǒng)(labeled transition system)表示環(huán)境,明確地給出環(huán)境的變化過程。Smolka等也將環(huán)境表示成進程,其中包含一個表示成功的動作[11-13]。若軟件與環(huán)境并發(fā)執(zhí)行時能夠執(zhí)行到這個動作,則表明軟件與環(huán)境可以成功交互。而隨著網(wǎng)絡(luò)和服務(wù)的發(fā)展,軟件的運行環(huán)境逐漸開放,從而使得軟件對環(huán)境的要求越來越寬松,由此用進程表示環(huán)境不能適應(yīng)計算模式的發(fā)展。更加一般地,環(huán)境可以用動作集合來表示。在動作之間沒有先后順序。如文獻[14-15]中所提到的進程失敗語義,從拒絕環(huán)境的角度來考慮進程之間的關(guān)系,此時的環(huán)境是一些動作構(gòu)成的集合。當(dāng)用集合表示環(huán)境時,集合中的元素由能夠引起軟件變化的信息或事件構(gòu)成。從軟件方面上,可以是軟件的內(nèi)部結(jié)構(gòu),如程序中聲明的全局變量。從硬件方面上,可以是軟件運行的硬件設(shè)備或網(wǎng)絡(luò)環(huán)境等。

    為了描述當(dāng)把環(huán)境作為一個集合考慮時進程與環(huán)境的交互,馬艷芳等建立了進程與環(huán)境交互的{0,1}-模型[16]。其研究交互的基本思想是:考察軟件的所有執(zhí)行路徑,當(dāng)軟件選擇一條路徑執(zhí)行時,運行環(huán)境能提供其需要的所有信息,則這條路徑與環(huán)境交互的結(jié)果賦值為“1”,否則賦值為“0”。這種軟件與環(huán)境的交互是非常嚴格的交互。若軟件與環(huán)境成功交互,環(huán)境必須提供軟件所需要的所有信息。然而,在軟件的實際運行中,環(huán)境未必能夠提供軟件所需要的所有信息,軟件在環(huán)境下可能運行到某個地點而停滯,那么如何建立這種軟件與環(huán)境的交互模型,本文將以CCS模型為基礎(chǔ),一般化{0,1}模型。

    另一方面,為了測試不同軟件在環(huán)境下的性能,在實際應(yīng)用中,有時需要對軟件進行比較。在一些特殊領(lǐng)域,例如航空航天領(lǐng)域,生物工程領(lǐng)域等,有時無法把軟件放在實際環(huán)境下運行,需要先建立一個實驗環(huán)境,在該環(huán)境下測試軟件的性能。而在該環(huán)境下開發(fā)出來的軟件,對其正確性等要求非??量?,經(jīng)常利用不同的方法開發(fā)軟件,為了開發(fā)出更加適合于該實驗環(huán)境的軟件,需要對不同的開發(fā)版本進行比較。對軟件的比較已經(jīng)有了很多方法,如應(yīng)明生等在CCS理論基礎(chǔ)上,將軟件抽象為進程,利用進程之間的強/弱互模擬關(guān)系,建立軟件之間近似程度的量化模型[17]。Smolka等為了說明帶有概率信息軟件之間的近似程度,提出了ε-互模擬等價,并建立了兩個概率進程之間近似程度的度量模型[18]。鄧玉欣等在概率CSP模型基礎(chǔ)上,根據(jù)概率進程執(zhí)行相同跡的概率和折扣因子建立了進程之間的度量。這個折扣因子反應(yīng)了當(dāng)軟件執(zhí)行相同跡的深度越大,他們之間越近似[19]。馬艷芳等基于ε-互模擬提出了軟件近似正確性模型[20]。但是考慮到環(huán)境對軟件的影響,對軟件進行比較時,需要考慮軟件與環(huán)境的交互能力。上述軟件之間的近似度量模型,沒有反映環(huán)境對軟件的影響。本文將以CCS模型為基礎(chǔ),從軟件與環(huán)境的交互能力方面,建立軟件近似程度的量化模型。

    2 預(yù)備知識

    2.1 CCS基礎(chǔ)

    令Δ表示動作名集合,用小寫字母a,b,c,…表示其中的元素。={aˉ|a∈Δ}表示補動作名的集合。規(guī)定表示動作a。用L=Δ∪表示標(biāo)號集合,λ,μ,…表示其中的元素。τ表示不可觀測動作,。用Act表示所有動作的集合,Act=L∪{τ},α,β,…表示其中的元素。令映射 f∶L→L,若滿足=,稱 f為重新標(biāo)號函數(shù)。若令 f(τ)=τ,則 f可以延拓到集合Act上。同時,令X是L的子集。定義{∈X},X∪{τ}。進一步,用表示所有進程變量構(gòu)成的集合,X,Y,…表示其中的元素。R表示所有進程常量構(gòu)成的集合,A,B,…表示其中的元素。I或J是索引集合。進程表達式的集合定義如下。

    定義1(進程表達式)[8]進程表達式集合ε是包含,R和下列表達式的最小集合,其中E,Ei∈ε:

    其中L?L,f是重新標(biāo)號函數(shù)。

    若一個進程表達式中不含變量,稱這個表達式是一個進程。用P 表示所有進程構(gòu)成的集合,P,Q,…表示其中的元素。若A∈R,則A表示一個常量,其定義如下,其中PA∈P 。例如,。在通信系統(tǒng)演算中,常量提供了一種遞歸機制。

    定義2(標(biāo)號轉(zhuǎn)換系統(tǒng))[8]三元組(ε,Act,{|α∈Act})表示Act集合上的標(biāo)號轉(zhuǎn)換系統(tǒng),(α∈Act)由下面規(guī)則給出。

    2.2 進程的跡和完整跡語義

    為了建立軟件與環(huán)境交互模型,馬艷芳等在文獻[16]中提出了完整跡語義。下面回顧一下完整跡語義的定義及性質(zhì)。

    定義3(可觀測完整跡)[16]令 P∈P 。如果存在P′∈P 使得P?σP′且init(P′)=?,其中σ∈L*,則稱σ是進程P的可觀測完整跡。用OCT(P)表示進程P的所有可觀測完整跡構(gòu)成的集合。若OT(P)=OT(Q)且OCT(P)=OCT(Q),則稱進程P和Q是可觀測完整跡等價,用P≈OCTQ表示,其中OP(T)表示進程的完整跡,具體定義參考文獻[15]。

    可以根據(jù)進程的結(jié)構(gòu)求出可觀測完整跡。

    性質(zhì)1[16]令P,Q∈P,l∈L,L?L,f∶Act→Act是集合Act上的雙射。則

    若進程是一個遞歸進程,如 A=∑li.Pi.A。令 A= F(A),則OCT(A)=OCT(Fn(0)),其中F是一個單調(diào)函數(shù),而0是零進程。

    根據(jù)通信系統(tǒng)演算,軟件可描述為進程,所以軟件的每個執(zhí)行路徑可以描述成一個可觀測完整跡。要研究軟件與環(huán)境的交互,首先要描述軟件的執(zhí)行路徑與環(huán)境之間的交互。令Env表示所有環(huán)境的集合,Env= {H|H?L},所以Env?ρ(L),其中ρ(L)表示L的冪集。

    接下來給出進程的一個可觀測完整跡滿足環(huán)境的定義。設(shè) P∈P,OCT(P)={σ1,σ2,…,σm}。設(shè) H∈Env是一個環(huán)境,用Act(H)表示環(huán)境H所包含的所有動作構(gòu)成的集合。任意σ∈OCT(P),用 Act(σ)表示σ中包含的所有動作構(gòu)成的集合,用|σ|表示σ中包含動作的個數(shù),稱為σ的長度。

    3 進程與環(huán)境交互[0,1]-模型

    在{0,1}-模型中,軟件與環(huán)境的交互結(jié)果要么是“0”要么是“1”。這種交互沒辦法區(qū)分軟件與環(huán)境之間部分交互的情況:即軟件的執(zhí)行路徑中有些需要的信息,運行環(huán)境沒有提供,但是此時軟件可以在環(huán)境下運行一段時間,在找不到需要的信息時軟件運行出錯。換句話說,雖然執(zhí)行路徑中有一個動作未能在環(huán)境中找到對應(yīng)的匹配,而此動作之前的動作都在環(huán)境中找到相應(yīng)的匹配,此時軟件至少可以與環(huán)境交互到不匹配的動作之前。這時,軟件與環(huán)境能夠部分交互。用這條路徑能夠與環(huán)境部分交互的程度來定義這條路徑與環(huán)境交互的結(jié)果。由此可以看出,此時軟件的執(zhí)行路徑與環(huán)境的交互結(jié)果不再是“0”或“1”,而是[0,1]區(qū)間內(nèi)的某個值,把這種交互結(jié)果在[0,1]區(qū)間的度量模型,稱為[0,1]-模型。接下來將具體介紹這個模型的定義及相關(guān)的性質(zhì)。

    令OCT(P)={σ1,σ2,…,σm},H∈Env。設(shè)σ∈OCT(P),且σ=y1y2…yt,記sσH=k使得任意1≤i≤k≤t,yi?H,但i=k+1,yk+1?H ,表示執(zhí)行路徑σ中第一個在環(huán)境中找不到匹配的動作,而前面的所有動作都能在環(huán)境找到相應(yīng)的匹配。

    定義5設(shè)P∈P,H∈Env,進程P與環(huán)境H交互的結(jié)果函數(shù) R[H0,1](P)∶OCT(P)→[0,1]定義如下,任意σ∈OCT(P),

    下面定義進程與環(huán)境交互的度量模型如下:

    定義6設(shè)P∈P,H∈Env,進程P與環(huán)境H交互的度量定義為:

    定義6考查了軟件的所有執(zhí)行路徑中能夠與環(huán)境進行交互的概率。

    例1設(shè)有一個賣咖啡和牛奶的自動售貨機W。用CCS語言抽象為進程W=1元.(咖啡+牛奶).出口.W。

    通過此表達式可知,若想從這臺售貨機上買一杯咖啡或者牛奶,先要投入1元,然后選擇“咖啡”或者“牛奶”按鈕,最后從出口取出。根據(jù)自動售貨機的功能,此表達式是一個遞歸進程。機器運行一次時,其可觀測完整跡有兩個,分別是σ1=1元 咖啡 出口和σ2= 1元 牛奶 出口。

    在通信系統(tǒng)演算的實際應(yīng)用中,對于具體的程序采用狀態(tài)轉(zhuǎn)換系統(tǒng)來表示。每個節(jié)點表示狀態(tài),每條邊表示一個事件,即一個語句。執(zhí)行這個語句可以引起一個狀態(tài)到另一個狀態(tài)的轉(zhuǎn)換。在轉(zhuǎn)換過程中需要與環(huán)境進行交互才能完成狀態(tài)的改變。下面列舉一個用C語言編寫的程序來說明軟件與環(huán)境的交互。

    例2用C語言編寫一個程序,該程序的功能是:先從鍵盤上輸入一個值,如果輸入的值小于3,將這個值加1,然后輸出結(jié)果,否則將這個值加2,然后輸出結(jié)果。某個程序員給出如下的程序,記為P1,狀態(tài)轉(zhuǎn)換圖如圖1所示。

    圖1 P1的狀態(tài)轉(zhuǎn)換圖

    為簡單起見,不考慮程序運行的硬件環(huán)境,該程序聲明的全局變量可以看出是其運行的環(huán)境,用動作集合表示為H={(x,int),(y,int),(z,int)}。這段程序的狀態(tài)轉(zhuǎn)換圖如圖1所示。當(dāng)在Win-TC編譯器下運行時,其能夠?qū)崿F(xiàn)要求的功能。在這個狀態(tài)轉(zhuǎn)換圖中,從初始狀態(tài)執(zhí)行 scanf("\%d",&x),對x=n賦值,獲得下一個狀態(tài)。此時,狀態(tài)從{(x=0,int),(y=0,int),(z=0,int)}變?yōu)閧(x=n,int),(y,int),(z,int)},其中只有變量x的值發(fā)生了變化。在這個狀態(tài)轉(zhuǎn)換中,總蘊含著與環(huán)境進行交互。這種交互主要是將執(zhí)行語句所獲得的x,y,z的值與環(huán)境進行比較。如果是環(huán)境允許的,可以正確執(zhí)行,否則不能得到正確的結(jié)果。為了更加方便地描述交互,在計算完整跡時,只考慮變量值改變的過程。在左邊的完整跡中,其變化次序為:先是變量x的值發(fā)生變化,然后執(zhí)行“z=x+1”使得變量z的值發(fā)生變化,最后執(zhí)行printf("%d",z),使得變量z的值變化,因此變化次序是{(x,int),(z,int),(z,int)}。同理可得,右邊的完整跡中變化次序為{(x,int),(y,int),(y,int)}。而這個執(zhí)行路徑中,變量的變化都是環(huán)境允許的,從而根據(jù)定義5,對這個執(zhí)行路徑賦值都是“1”,再根據(jù)定義6,可得,p[0,1](P1,H)=1。此結(jié)果表明這段程序可以與環(huán)境成功交互。

    有些程序員也可能給出下面的程序,用 P2表示,這個程序也能實現(xiàn)要求的功能。其狀態(tài)轉(zhuǎn)換圖如圖2所示。

    圖2 P2的狀態(tài)轉(zhuǎn)換圖

    程序P2與P1的不同之處在于語句“y=x+2.2”將變量y賦值為一個浮點型數(shù)據(jù)。由于C語言能夠進行類型轉(zhuǎn)換,可以將y的類型強制轉(zhuǎn)換為整型。進而程序P2也可以實現(xiàn)要求的功能,環(huán)境是H={(x,int),(y,int),(z,int)},可以求出 p[0,1](P2,H)=1。

    一些程序員也可能給出下面的程序,用P3來表示,其沒有實現(xiàn)要求的功能,標(biāo)號轉(zhuǎn)換系統(tǒng)如圖3所示。

    圖3 P3的狀態(tài)轉(zhuǎn)換圖

    在左邊的完整跡中,變量的變化次序是{(x,int),(z,int),(z,int)},賦值為1。而右邊的完整跡中,當(dāng)執(zhí)行printf("%f",y)時,變量 y類型的變化不是環(huán)境運行的,其變化次序{(x,int),(y,int),(y,float)},根據(jù)定義5,右邊的完整跡賦值為。進一步由定義6,可以計算得到這段程序與環(huán)境的交互度量為也就是說此程序沒有和環(huán)境進行成功交互,其成功交互的概率是。

    4 基于環(huán)境和[0,1]-模型的進程近似度量

    在實際應(yīng)用中,經(jīng)常會遇到在同一環(huán)境下對不同的軟件進行比較。根據(jù)CCS語言,軟件可以抽象成進程。特別對實時系統(tǒng),已經(jīng)存在相應(yīng)的建模和驗證工具,如UPPAAL。其可以用來對被轉(zhuǎn)換時間自動機網(wǎng)絡(luò)模型的實時系統(tǒng)進行建模、校驗和驗證。它是由瑞典Uppsala大學(xué)的信息技術(shù)學(xué)院和丹麥Aalborg大學(xué)的計算科學(xué)學(xué)院聯(lián)合開發(fā)的。而對于一般的軟件還沒有具體的工具對其進行建模。但是對于規(guī)模較小的軟件,根據(jù)CCS模型,可以用標(biāo)號轉(zhuǎn)化系統(tǒng)對其建立狀態(tài)轉(zhuǎn)換圖,從而抽象出它的可觀測完整跡。例如例2中的程序段,可以抽象成狀態(tài)轉(zhuǎn)換圖。由于軟件的運行依賴于環(huán)境,在對軟件進行比較時,需要考慮環(huán)境的因素。而環(huán)境對軟件的影響主要體現(xiàn)在軟件與環(huán)境的交互,所以可以從軟件與環(huán)境的交互能力方面來評價軟件的好壞。那么如何來評價這些軟件在與環(huán)境交互方面的能力呢?由于[0,1]-模型不同于{0,1}-模型,所以在本章中將建立在[0,1]-模型和給定環(huán)境下兩個軟件之間的近似度量模型以及在特定環(huán)境下評價軟件好壞的標(biāo)準(zhǔn)。首先建立基于環(huán)境和[0,1]-模型的軟件近似度量。

    例3假設(shè)某兩個程序用CCS語言抽象表示為進程P=a.b.0+a.c.0+a.0,Q=a.b.0+a.c.0。執(zhí)行環(huán)境有E= {a,b,d}。則根據(jù)定義5可知:

    性質(zhì)4說明當(dāng)兩個軟件是完整跡等價時,它們關(guān)于環(huán)境H近似度為1。由此可以根據(jù)完整跡等價算法來計算軟件與環(huán)境之間的近似度量。從定義7可知,對于一個給定的環(huán)境,當(dāng)兩個軟件之間的差距越小,它們與給定環(huán)境在[0,1]-模型下的交互能力差距就越小。而當(dāng)軟件的執(zhí)行路徑較多時,將影響軟件的運行速度,從而降低了軟件與環(huán)境交互的能力。由此,可以利用軟件與環(huán)境成功交互的概率來評價軟件與環(huán)境交互能力的好壞。接下來根據(jù)軟件與環(huán)境成功交互的概率來比較軟件的好壞。

    這個定義是說,若軟件Q與環(huán)境H在模型[0,1]上的交互度量值比P與環(huán)境H交互度量值大,那么在環(huán)境H下軟件Q比P好。

    例4設(shè)有一個賣咖啡和牛奶的自動售貨機W如例1所示。有另一臺只賣咖啡的自動售貨機P,P=1元.咖啡.出口.P。若某個顧客想買咖啡,用集合H={1元,咖啡,出口}表示,則可知(W,H)=,而(P,H)=1,故(W,H)≤(P,H),所以W?。說明對于環(huán)境H來說,P比W要好,因為其不需要做任何選擇就可以買到想好的咖啡。

    例5對例2中的三段程序進行比較,在聲明了全局變量H={(x,int),(y,int),(z,int)}下,可以看出(P1,H)= 1=(P2,H),由此程序 P1和 P2一樣好。但是由于(P3,H)=,所以P3不如P1和P2好,因為其沒有實現(xiàn)所要求的功能。

    性質(zhì)6表示在[0,1]-模型和給定環(huán)境H下,與零進程等價的軟件都是最差的軟件,即什么都沒做的軟件是最差的。

    5 結(jié)論

    在本文中主要以CCS語言為基礎(chǔ),建立了軟件與環(huán)境的部分交互模型,同時,從與環(huán)境交互能力方面,討論了軟件的近似程度,以及比較軟件好壞的標(biāo)準(zhǔn),證明一些代數(shù)性質(zhì)。

    而在軟件的分析和設(shè)計過程中,模塊化和層次化方法是經(jīng)常使用的方法。而在討論軟件與環(huán)境的部分交互時,是否也能采用模塊化的方法來獲得軟件與環(huán)境的交互度量?在接下來的工作中,將對此問題進行研究。

    [1]Chen Yixiang,Zhang Min,Zhu Hong,et al.Average transitive trustworthy degrees for trustworthy[C]//LNCS:Rough Sets and Knowledge Technology,2009,5589.

    [2]Chen Yixiang,Bu Tianming,Zhang Min,et al.Max-minimum algorithm for turst transitivity in trustworthy networks[C]//Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology,2009:62-64.

    [3]Tao Hongwei,Chen Yixiang.A metric model for trustworthiness of software[C]//The Proceedings of ACM International Conferences on Web Intelligence and Intelligent Agent Technology,2009:69-71.

    [4]Xu F,Zheng W,Cao C.Design of a trust valuation model in software service coordination[J].Journal of Software,2003,14(6):1043-1051.

    [5]劉克,單志廣,王戟,等.可信軟件基礎(chǔ)研究重大研究計劃綜述[J].科學(xué)進展與展望,2008(3):145-151.

    [6]沈昌祥,張煥國,王懷民,等.可信計算的研究與發(fā)展[J].中國科學(xué) F輯:信息科學(xué),2010,40(2):139-166.

    [7]鄭志明,馬世龍,李未,等.軟件可信復(fù)雜性及其動力學(xué)統(tǒng)計分析[J].中國科學(xué) F輯:信息科學(xué),2009,39(10):1050-1054.

    [8]Milner R.Communication and concurrency[M].New York:Prentice Hall,1989.

    [9]Milner R.Communicating and mobile systems:the π-calculus[M].Cambridge:Cambridge University Press,1999.

    [10]Larsen K G.Context-dependent bisimulation between process[D].Edinburgh:Aalborg University Centre Strandvejen,1986.

    [11]Yuen S,Cleaveland R,Dayar Z,et al.Fully abstract characterizations of testing preorders for probabilisitc processes[C]//The Proceedings of CONCUR’94.Berlin:Springer,1994,836:497-512.

    [12]Deng Yunxin,van Glabbeek R,Hennessy M,et al.Remarks on testing probabilistic processes[J].Electronic Notes in Theoretical Computer Science,2007,172:359-397.

    [13]Ling Cheung,Stoelinga M,Vaandrager F.A testing scenario for probabilistic processes[J].Journal of the ACM,2007,54(6):1-44.

    [14]He J F,Hoare T.Equating bisimulation with refinement[R]. UNU-IIST,Macau,China,2003.

    [15]van Glabbeek R J.The linear time-branching time spectrum I*[EB/OL].[2014-01-03].http://theory.stanford.edu/rvg.

    [16]馬艷芳,陳亮.基于交互的環(huán)境近似度量模型[J].山東大學(xué)學(xué)報:理學(xué)版,2013,48(7):33-38.

    [17]Ying M S.Bisimulation indexes and their applications[J]. Theoretical Computer Science,2002,275(1/2):1-68.

    [18]Giacalone A,Jou C,Smolka S A.Probabilistic in processes:an algebraic/operational framework,Technical Report No.88/20[R].Department of Computer Science,SUNY at Stony Brook,1988.

    [19]Deng Y X,Glabbeek R,Hennessy M,et al.Testing finitary probabilistic processes[C]//Lecture Notes in Computer Science,2009,5710:274-288.

    [20]馬艷芳,陳亮.基于ε-互模擬的軟件近似正確性模型[J].計算機工程與應(yīng)用,2013,49(11):15-19.

    MAYanfang1,2,CHEN Liang3

    1.School of Computer Science and Technology,Huaibei Normal University,Huaibei,Anhui 235000,China
    2.Shanghai Key Laboratory of Trustworthy Computing,Shanghai 200062,China
    3.School of Mathematics Science,Huaibei Normal University,Huaibei,Anhui 235000,China

    The dependence of the software on its environment mainly comes from the interaction.In the real application, sometimes,the interaction may not be successful.The interaction degree will have an effect on the ability of software.In order to test the property of software on the environment,it is necessary to compare the interaction ability of software with environment.In this paper,based on process algebra,the approximate measure model of software will be researched using complete trace semantics.The partial interaction will be formalized using the completed trace semantics.Some examples will be stated.The quantitative model which describes the approximate degree between software will be proposed. Some algebraic properties are proved.The criterion which evaluates the interaction ability with environment will be given.

    partial interaction;measure;formalization;process algebra

    軟件對環(huán)境的依賴性主要體現(xiàn)在軟件與環(huán)境的交互。在實際中,有時軟件與環(huán)境未必成功交互。其交互程度對軟件的性能有著很大的影響。為測試不同軟件在環(huán)境下的性能,需要對軟件與環(huán)境的交互能力進行比較。在進程代數(shù)理論基礎(chǔ)上,利用完整跡語義,建立軟件近似程度的量化模型。形式化描述軟件與環(huán)境的部分交互。列舉一些例子對模型進行說明。建立軟件近似程度的量化模型,證明一些代數(shù)性質(zhì)。進一步,建立評價軟件在與環(huán)境交互方面好壞的標(biāo)準(zhǔn)。

    部分交互;度量;形式化;進程代數(shù)

    A

    TP301;O159

    10.3778/j.issn.1002-8331.1403-0401

    MA Yanfang,CHEN Liang.Approximate measure model of software based on partial interaction.Computer Engineering and Applications,2014,50(24):32-37.

    國家自然科學(xué)基金(No.61300048);安徽省自然科學(xué)基金(No.1308085QF117);安徽省高等學(xué)校省級自然科學(xué)研究重點項目(No.KJ2011A248,No.KJ2012Z347);上海市高可信重點實驗室開放課題項目(No.07DZ22304201004)。

    馬艷芳,女,博士,副教授,主要從事進程演算、程序語義、軟件可信性等方面的研究;陳亮,通訊作者,男,博士,副教授,主要從事數(shù)值計算、矩陣計算、算法等方面的研究。E-mail:clmyf2@163.com

    2014-03-26

    2014-06-25

    1002-8331(2014)24-0032-06

    CNKI網(wǎng)絡(luò)優(yōu)先出版:2014-09-04,http∶//www.cnki.net/kcms/doi/10.3778/j.issn.1002-8331.1403-0401.html

    猜你喜歡
    進程定義程序
    債券市場對外開放的進程與展望
    中國外匯(2019年20期)2019-11-25 09:54:58
    試論我國未決羈押程序的立法完善
    “程序猿”的生活什么樣
    英國與歐盟正式啟動“離婚”程序程序
    成功的定義
    山東青年(2016年1期)2016-02-28 14:25:25
    創(chuàng)衛(wèi)暗訪程序有待改進
    社會進程中的新聞學(xué)探尋
    我國高等教育改革進程與反思
    修辭學(xué)的重大定義
    Linux僵死進程的產(chǎn)生與避免
    中文字幕精品亚洲无线码一区 | 国产亚洲精品av在线| 欧美三级亚洲精品| 国产精品二区激情视频| 嫁个100分男人电影在线观看| 人妻久久中文字幕网| 真人做人爱边吃奶动态| 久久欧美精品欧美久久欧美| av有码第一页| 日韩一卡2卡3卡4卡2021年| 国产99久久九九免费精品| 成人国产综合亚洲| 国产不卡一卡二| 国内毛片毛片毛片毛片毛片| 亚洲第一欧美日韩一区二区三区| 欧美精品啪啪一区二区三区| 精华霜和精华液先用哪个| 国产精品爽爽va在线观看网站 | 欧美中文综合在线视频| 麻豆成人午夜福利视频| 中文字幕人妻熟女乱码| 19禁男女啪啪无遮挡网站| 日韩欧美一区视频在线观看| 中文字幕人成人乱码亚洲影| 一a级毛片在线观看| 国产欧美日韩一区二区三| 欧美黄色片欧美黄色片| 一二三四社区在线视频社区8| 变态另类丝袜制服| 亚洲狠狠婷婷综合久久图片| 日本免费a在线| 人成视频在线观看免费观看| 日韩高清综合在线| 精品无人区乱码1区二区| 亚洲男人的天堂狠狠| 久久久久久久久免费视频了| 999久久久精品免费观看国产| 在线永久观看黄色视频| 18禁裸乳无遮挡免费网站照片 | 老司机深夜福利视频在线观看| 国产精品影院久久| 欧美激情高清一区二区三区| www国产在线视频色| 国产精品野战在线观看| 国产精品影院久久| 日本a在线网址| 桃色一区二区三区在线观看| 老司机深夜福利视频在线观看| 男女午夜视频在线观看| 国产黄色小视频在线观看| 桃色一区二区三区在线观看| 欧美绝顶高潮抽搐喷水| 搡老岳熟女国产| 搡老妇女老女人老熟妇| 亚洲第一欧美日韩一区二区三区| 亚洲va日本ⅴa欧美va伊人久久| 2021天堂中文幕一二区在线观 | 婷婷精品国产亚洲av| 日韩 欧美 亚洲 中文字幕| 男女之事视频高清在线观看| 日韩欧美在线二视频| 777久久人妻少妇嫩草av网站| av在线播放免费不卡| 色播亚洲综合网| 午夜久久久在线观看| 欧美精品啪啪一区二区三区| 国产一区在线观看成人免费| 亚洲精品久久国产高清桃花| 日日摸夜夜添夜夜添小说| 一区二区三区高清视频在线| 黑丝袜美女国产一区| av片东京热男人的天堂| av电影中文网址| 男女午夜视频在线观看| 亚洲黑人精品在线| 精品久久久久久久久久免费视频| 国产午夜福利久久久久久| 岛国视频午夜一区免费看| 后天国语完整版免费观看| 看免费av毛片| 天天躁夜夜躁狠狠躁躁| 国内毛片毛片毛片毛片毛片| svipshipincom国产片| 国产精品一区二区精品视频观看| 国产精品免费一区二区三区在线| 日韩高清综合在线| 国产1区2区3区精品| 波多野结衣高清无吗| 国产精品av久久久久免费| 在线av久久热| 一二三四在线观看免费中文在| 午夜福利一区二区在线看| 亚洲一码二码三码区别大吗| 国产成人啪精品午夜网站| 国产精品1区2区在线观看.| 日韩欧美一区视频在线观看| 欧美色视频一区免费| 真人做人爱边吃奶动态| 国产一区在线观看成人免费| 视频在线观看一区二区三区| 免费一级毛片在线播放高清视频| 搡老岳熟女国产| cao死你这个sao货| 欧美久久黑人一区二区| 久久久久亚洲av毛片大全| av在线天堂中文字幕| 久久久久国产一级毛片高清牌| 色婷婷久久久亚洲欧美| 亚洲成av片中文字幕在线观看| 国产欧美日韩一区二区精品| 搡老熟女国产l中国老女人| 波多野结衣av一区二区av| 亚洲av第一区精品v没综合| 欧美中文综合在线视频| 少妇粗大呻吟视频| 手机成人av网站| 久热这里只有精品99| 桃红色精品国产亚洲av| 热re99久久国产66热| 国产精品久久久久久亚洲av鲁大| 久久中文字幕人妻熟女| 久久香蕉激情| 一级毛片精品| 男人舔奶头视频| 色综合亚洲欧美另类图片| 在线观看免费日韩欧美大片| 99久久99久久久精品蜜桃| 无遮挡黄片免费观看| 99国产精品一区二区蜜桃av| 欧美一级a爱片免费观看看 | 欧美日韩乱码在线| 午夜久久久久精精品| 国产亚洲精品久久久久久毛片| 国产精品,欧美在线| 国产精华一区二区三区| 亚洲午夜理论影院| 久久99热这里只有精品18| 一本久久中文字幕| 亚洲av成人一区二区三| 国产一区在线观看成人免费| 久久香蕉激情| 曰老女人黄片| 哪里可以看免费的av片| 特大巨黑吊av在线直播 | 99在线视频只有这里精品首页| 一级毛片高清免费大全| 午夜a级毛片| 国产成人影院久久av| 一级毛片女人18水好多| 日韩 欧美 亚洲 中文字幕| 久久久久九九精品影院| 中文资源天堂在线| 亚洲激情在线av| 久久香蕉激情| 曰老女人黄片| 成人亚洲精品一区在线观看| 亚洲国产精品久久男人天堂| 国产精品久久久久久亚洲av鲁大| 日韩av在线大香蕉| 热re99久久国产66热| 亚洲第一av免费看| 国产av又大| 亚洲国产日韩欧美精品在线观看 | 精品久久久久久久久久免费视频| 久久久久久人人人人人| 亚洲男人天堂网一区| 国产一区二区在线av高清观看| 18禁裸乳无遮挡免费网站照片 | 欧美激情久久久久久爽电影| 日韩精品中文字幕看吧| 少妇 在线观看| 日韩欧美 国产精品| 日本 av在线| 黄色视频,在线免费观看| 一级作爱视频免费观看| 黑人欧美特级aaaaaa片| 亚洲精品一卡2卡三卡4卡5卡| 中文字幕人成人乱码亚洲影| 久久中文字幕人妻熟女| aaaaa片日本免费| 波多野结衣巨乳人妻| 麻豆久久精品国产亚洲av| 1024香蕉在线观看| www.www免费av| 伦理电影免费视频| 国产精品98久久久久久宅男小说| 国产私拍福利视频在线观看| 少妇的丰满在线观看| 国产精品亚洲一级av第二区| 露出奶头的视频| 国产精品 欧美亚洲| 一区二区三区高清视频在线| 欧美成人一区二区免费高清观看 | 中文字幕最新亚洲高清| 亚洲精品一区av在线观看| 一级片免费观看大全| 日日爽夜夜爽网站| 黄色女人牲交| 狂野欧美激情性xxxx| 亚洲熟女毛片儿| av在线天堂中文字幕| 日韩欧美国产在线观看| 欧美av亚洲av综合av国产av| 一进一出抽搐动态| 老熟妇乱子伦视频在线观看| 一个人免费在线观看的高清视频| 亚洲在线自拍视频| 亚洲片人在线观看| av片东京热男人的天堂| 午夜视频精品福利| 黄片大片在线免费观看| 亚洲色图av天堂| 亚洲精品国产精品久久久不卡| 久久久久国产一级毛片高清牌| 欧美亚洲日本最大视频资源| 亚洲欧美一区二区三区黑人| 国产精品野战在线观看| 亚洲av美国av| 国产精品久久电影中文字幕| 久久久久亚洲av毛片大全| 视频在线观看一区二区三区| 久久久久免费精品人妻一区二区 | 国产亚洲欧美精品永久| 久久久久亚洲av毛片大全| 18美女黄网站色大片免费观看| 亚洲中文日韩欧美视频| 国产欧美日韩精品亚洲av| 成人亚洲精品av一区二区| 丝袜在线中文字幕| 十八禁人妻一区二区| 成人永久免费在线观看视频| 国产黄a三级三级三级人| 特大巨黑吊av在线直播 | 精品日产1卡2卡| 久久久久久人人人人人| 国产亚洲av嫩草精品影院| 欧美国产精品va在线观看不卡| 长腿黑丝高跟| 中文字幕最新亚洲高清| 午夜a级毛片| 精品一区二区三区四区五区乱码| 久久久久久免费高清国产稀缺| 日日干狠狠操夜夜爽| 久久 成人 亚洲| 日本 av在线| 老司机午夜十八禁免费视频| 欧美三级亚洲精品| 视频在线观看一区二区三区| 白带黄色成豆腐渣| 91av网站免费观看| netflix在线观看网站| 免费电影在线观看免费观看| 亚洲国产中文字幕在线视频| 久久国产乱子伦精品免费另类| 男人操女人黄网站| 黑人巨大精品欧美一区二区mp4| 精品国产乱码久久久久久男人| 50天的宝宝边吃奶边哭怎么回事| 亚洲激情在线av| 久久精品国产99精品国产亚洲性色| 成人av一区二区三区在线看| 俺也久久电影网| 这个男人来自地球电影免费观看| 岛国在线观看网站| 国产伦人伦偷精品视频| 精品国产国语对白av| 国产精品二区激情视频| 正在播放国产对白刺激| 两个人免费观看高清视频| 中文字幕精品亚洲无线码一区 | 久久久久九九精品影院| 欧美乱码精品一区二区三区| 久久香蕉国产精品| 高潮久久久久久久久久久不卡| 男人舔女人下体高潮全视频| 国产日本99.免费观看| 久久精品91蜜桃| 黄色视频,在线免费观看| 国产成年人精品一区二区| 在线av久久热| 国产亚洲精品第一综合不卡| 午夜精品在线福利| 国产视频一区二区在线看| 丝袜美腿诱惑在线| 丰满人妻熟妇乱又伦精品不卡| av免费在线观看网站| 午夜福利欧美成人| 国内揄拍国产精品人妻在线 | 免费人成视频x8x8入口观看| 日韩欧美在线二视频| 黑人巨大精品欧美一区二区mp4| 天堂动漫精品| 国产成人av教育| 亚洲最大成人中文| 国产精品久久久久久精品电影 | 国产一区二区三区视频了| 欧美性猛交黑人性爽| 十分钟在线观看高清视频www| 欧美日韩瑟瑟在线播放| 国产精品香港三级国产av潘金莲| 国产精品 国内视频| 一级毛片女人18水好多| 色在线成人网| 俺也久久电影网| 亚洲va日本ⅴa欧美va伊人久久| АⅤ资源中文在线天堂| 欧美黄色淫秽网站| 日本黄色视频三级网站网址| 在线观看午夜福利视频| 一二三四在线观看免费中文在| а√天堂www在线а√下载| 一区二区三区国产精品乱码| 亚洲无线在线观看| 中文字幕高清在线视频| 视频区欧美日本亚洲| 中文字幕久久专区| 亚洲激情在线av| 99热这里只有精品一区 | 久久精品亚洲精品国产色婷小说| av在线天堂中文字幕| 久久国产亚洲av麻豆专区| 波多野结衣高清作品| 国内久久婷婷六月综合欲色啪| 美女大奶头视频| 精品无人区乱码1区二区| ponron亚洲| 成人手机av| 日本成人三级电影网站| 久久久久国内视频| 亚洲熟女毛片儿| 亚洲精华国产精华精| 成人国产综合亚洲| 欧美黑人巨大hd| 婷婷亚洲欧美| 男女视频在线观看网站免费 | 国产又爽黄色视频| 成人三级做爰电影| 久久亚洲精品不卡| 法律面前人人平等表现在哪些方面| 亚洲欧美日韩无卡精品| 久久草成人影院| 村上凉子中文字幕在线| 精品久久蜜臀av无| 国产不卡一卡二| 欧美成人免费av一区二区三区| 日韩成人在线观看一区二区三区| 老司机午夜福利在线观看视频| 午夜免费成人在线视频| 首页视频小说图片口味搜索| 亚洲成人精品中文字幕电影| 性欧美人与动物交配| 亚洲真实伦在线观看| 一进一出抽搐动态| 99国产极品粉嫩在线观看| 国产成人一区二区三区免费视频网站| 日本免费一区二区三区高清不卡| 国产成人一区二区三区免费视频网站| 精品人妻1区二区| 国内精品久久久久久久电影| 99国产极品粉嫩在线观看| 久久这里只有精品19| 亚洲全国av大片| 亚洲一卡2卡3卡4卡5卡精品中文| 国产精品综合久久久久久久免费| 在线观看免费午夜福利视频| 男人舔女人的私密视频| aaaaa片日本免费| 色哟哟哟哟哟哟| 两个人视频免费观看高清| 国产伦在线观看视频一区| 叶爱在线成人免费视频播放| 好看av亚洲va欧美ⅴa在| 99国产综合亚洲精品| 99久久99久久久精品蜜桃| 国产精品爽爽va在线观看网站 | 国产精品二区激情视频| 可以在线观看毛片的网站| 长腿黑丝高跟| 国产成人精品久久二区二区免费| 欧美黄色片欧美黄色片| 脱女人内裤的视频| 淫秽高清视频在线观看| 好看av亚洲va欧美ⅴa在| 久久中文字幕一级| 日韩精品中文字幕看吧| 一边摸一边抽搐一进一小说| 亚洲熟女毛片儿| 国产色视频综合| 国产成人欧美| 1024手机看黄色片| 999久久久国产精品视频| 国产精品美女特级片免费视频播放器 | 欧美日韩瑟瑟在线播放| 亚洲精品色激情综合| 大香蕉久久成人网| 热re99久久国产66热| 一a级毛片在线观看| 在线观看免费午夜福利视频| 日韩免费av在线播放| 人人妻人人澡人人看| 欧美又色又爽又黄视频| 久久草成人影院| 男女下面进入的视频免费午夜 | 好男人电影高清在线观看| 日本一区二区免费在线视频| 2021天堂中文幕一二区在线观 | 欧美黄色片欧美黄色片| 中文字幕av电影在线播放| videosex国产| 国产精品亚洲美女久久久| 国产亚洲精品久久久久5区| 欧美 亚洲 国产 日韩一| 大型av网站在线播放| 国产精品1区2区在线观看.| 俺也久久电影网| 999精品在线视频| 国产精品美女特级片免费视频播放器 | 欧美最黄视频在线播放免费| 亚洲狠狠婷婷综合久久图片| www日本在线高清视频| 大型av网站在线播放| 一级a爱视频在线免费观看| 高清毛片免费观看视频网站| 久久婷婷成人综合色麻豆| 欧美日韩一级在线毛片| 精品人妻1区二区| 精品久久蜜臀av无| 丰满的人妻完整版| 免费在线观看日本一区| 99国产综合亚洲精品| 欧美国产精品va在线观看不卡| 母亲3免费完整高清在线观看| 精品少妇一区二区三区视频日本电影| 久久久国产成人免费| 久久精品人妻少妇| 精品欧美一区二区三区在线| 91麻豆精品激情在线观看国产| 男女那种视频在线观看| 在线天堂中文资源库| 国产1区2区3区精品| 欧美性猛交黑人性爽| 国产伦一二天堂av在线观看| 国产精品 国内视频| 久久精品91蜜桃| 操出白浆在线播放| 国产在线观看jvid| 国产人伦9x9x在线观看| 国产av不卡久久| netflix在线观看网站| 国产高清有码在线观看视频 | 男人舔女人的私密视频| 中出人妻视频一区二区| 国产私拍福利视频在线观看| 真人做人爱边吃奶动态| 日本a在线网址| 侵犯人妻中文字幕一二三四区| 国产av又大| 亚洲精品在线观看二区| 精品午夜福利视频在线观看一区| 国产精品,欧美在线| 日日摸夜夜添夜夜添小说| 国内毛片毛片毛片毛片毛片| 国产精品免费视频内射| 好男人在线观看高清免费视频 | 成人18禁在线播放| 黄色视频不卡| 国产免费男女视频| 视频在线观看一区二区三区| 日韩免费av在线播放| 国产单亲对白刺激| 久久中文看片网| 成人精品一区二区免费| 18禁美女被吸乳视频| 一级a爱视频在线免费观看| 国产欧美日韩一区二区精品| 久久久国产欧美日韩av| 黄色丝袜av网址大全| 啦啦啦 在线观看视频| 久久精品亚洲精品国产色婷小说| 在线观看午夜福利视频| 好男人电影高清在线观看| 欧美一级毛片孕妇| 国产精品免费一区二区三区在线| 色播在线永久视频| 欧美在线一区亚洲| 亚洲国产欧美日韩在线播放| 桃色一区二区三区在线观看| 丰满的人妻完整版| 亚洲中文日韩欧美视频| 99久久无色码亚洲精品果冻| 在线观看www视频免费| 一本久久中文字幕| 欧美三级亚洲精品| 99热6这里只有精品| 国产一区在线观看成人免费| 欧美日韩亚洲国产一区二区在线观看| 午夜福利欧美成人| 国产aⅴ精品一区二区三区波| av有码第一页| 免费无遮挡裸体视频| 久久九九热精品免费| 神马国产精品三级电影在线观看 | 久久久久国产精品人妻aⅴ院| 大香蕉久久成人网| 91成人精品电影| 亚洲欧洲精品一区二区精品久久久| av有码第一页| 免费无遮挡裸体视频| 一级作爱视频免费观看| 中文字幕人成人乱码亚洲影| 啦啦啦观看免费观看视频高清| 中文字幕另类日韩欧美亚洲嫩草| 国产精品亚洲一级av第二区| aaaaa片日本免费| 国产精品久久久人人做人人爽| 国产激情偷乱视频一区二区| 日韩av在线大香蕉| 欧美一区二区精品小视频在线| 亚洲欧美精品综合久久99| 国产精品,欧美在线| 亚洲午夜理论影院| 这个男人来自地球电影免费观看| av天堂在线播放| 精品久久久久久久久久久久久 | 50天的宝宝边吃奶边哭怎么回事| 欧美日韩乱码在线| 欧美日韩黄片免| 国产97色在线日韩免费| 黄片小视频在线播放| 国产亚洲精品综合一区在线观看 | 日韩欧美在线二视频| 美女高潮到喷水免费观看| 女性被躁到高潮视频| 欧美人与性动交α欧美精品济南到| 一级a爱片免费观看的视频| 夜夜躁狠狠躁天天躁| 精品免费久久久久久久清纯| 麻豆久久精品国产亚洲av| 91麻豆av在线| 老汉色av国产亚洲站长工具| 不卡av一区二区三区| 欧美乱妇无乱码| 搡老岳熟女国产| 一级毛片女人18水好多| 欧美在线一区亚洲| 好男人电影高清在线观看| 午夜成年电影在线免费观看| 90打野战视频偷拍视频| 国产精品亚洲一级av第二区| 夜夜夜夜夜久久久久| 亚洲av美国av| 国产精品乱码一区二三区的特点| 麻豆成人午夜福利视频| 日本 av在线| 国产成人精品久久二区二区免费| 免费看十八禁软件| 国产亚洲精品第一综合不卡| 91老司机精品| 大型av网站在线播放| 18禁观看日本| 国产高清videossex| 亚洲九九香蕉| 国产午夜福利久久久久久| 久久草成人影院| 变态另类丝袜制服| 国产精品99久久99久久久不卡| 久久久精品国产亚洲av高清涩受| 一进一出好大好爽视频| 老司机靠b影院| 午夜福利成人在线免费观看| 欧美黑人欧美精品刺激| 亚洲va日本ⅴa欧美va伊人久久| 久久久国产成人免费| 日本 av在线| 精品国产国语对白av| 国产亚洲av嫩草精品影院| 精华霜和精华液先用哪个| 一级毛片精品| 在线观看午夜福利视频| 久久国产乱子伦精品免费另类| 国内精品久久久久精免费| 国产成人精品无人区| 久久精品人妻少妇| 久久午夜综合久久蜜桃| 日韩欧美免费精品| 99久久久亚洲精品蜜臀av| 国产精品 欧美亚洲| 欧美性猛交╳xxx乱大交人| 一区二区三区激情视频| 可以免费在线观看a视频的电影网站| 亚洲熟妇熟女久久| 国产精品一区二区精品视频观看| av片东京热男人的天堂| 亚洲av成人av| 国语自产精品视频在线第100页| 美女 人体艺术 gogo| 在线免费观看的www视频| 亚洲专区字幕在线| 禁无遮挡网站| av在线播放免费不卡| 亚洲午夜理论影院| tocl精华| 草草在线视频免费看| 色播在线永久视频| 午夜精品在线福利| 国产高清激情床上av| netflix在线观看网站| 亚洲五月天丁香| 999精品在线视频| 国产亚洲欧美98| 免费高清视频大片| 变态另类成人亚洲欧美熟女| 久久这里只有精品19| 欧美黑人精品巨大| 一级毛片精品|