本文選題：Web服務(wù)測試　切入點：測試用例表示　出處：《系統(tǒng)工程與電子技術(shù)》2013年12期

【摘要】：鑒于開放網(wǎng)絡(luò)環(huán)境下的Web服務(wù)實體主要來源于不同的第三方提供者,并且其形成與運行過程常處于一種演化狀態(tài)中,故難以采取傳統(tǒng)的測試方式保障其可靠性。利用代數(shù)方法從"觀察"角度考察系統(tǒng)及其性質(zhì),結(jié)合單子的高度可結(jié)合性、反射性和重用性,對Web服務(wù)相關(guān)活動的性質(zhì)進行統(tǒng)一描述和測試,重點研究基于單子的Web服務(wù)測試用例形式化描述及其自動生產(chǎn),以及服務(wù)測試單子的設(shè)計和實現(xiàn)等,以期從一定程度上解決Web服務(wù)測試目前所面臨的動態(tài)靈活性和可組合重用性等問題。
[Abstract]:In view of the fact that Web service entities in an open network environment mainly come from different third-party providers, and their formation and operation are often in a state of evolution. Therefore, it is difficult to adopt the traditional test method to ensure its reliability. The system and its properties are investigated from the viewpoint of "observation" by algebraic method, and the highly associative, reflective and reusability of the singleton are combined. The properties of Web services related activities are described and tested uniformly. The formal description and automatic production of Web service test cases based on single subsets are studied, as well as the design and implementation of service test lists. The purpose of this paper is to solve the dynamic flexibility and composition reusability of Web service testing to some extent.
【作者單位】： 南京郵電大學(xué)計算機學(xué)院;桂林電子科技大學(xué)廣西可信軟件重點實驗室;江蘇省無線傳感網(wǎng)高技術(shù)研究重點實驗室;
【基金】：國家自然科學(xué)基金(60873049,61300054) 江蘇省自然科學(xué)基金(BK2009426) 江蘇省高校自然科學(xué)基金(10KJB520015) 南京郵電大學(xué)攀登計劃項目基金(NY210009) 江蘇省“青藍工程”優(yōu)秀青年骨干教師以及高校研究生科研創(chuàng)新計劃項目(CXLX12_0479) 廣西可信軟件重點實驗室開放基金(PF13069)資助課題
【分類號】：TP393.09

【參考文獻】

相關(guān)期刊論文 前10條

1 張迎周;徐寶文;;一種新型形式化程序切片方法[J];中國科學(xué)(E輯:信息科學(xué));2008年02期

2 呂建;馬曉星;陶先平;曹春;黃宇;余萍;;面向網(wǎng)構(gòu)軟件的環(huán)境驅(qū)動模型與支撐技術(shù)研究[J];中國科學(xué)(E輯:信息科學(xué));2008年06期

3 李必信,鄭國梁,王云峰,李宣東;一種分析和理解程序的方法──程序切片[J];計算機研究與發(fā)展;2000年03期

4 袁琦,金成植;Monad表示的OO程序自動生成[J];計算機研究與發(fā)展;2000年06期

5 呂江花,金成植;Monad的反射性[J];吉林大學(xué)學(xué)報(理學(xué)版);2004年02期

6 白曉穎;趙沖沖;戴桂蘭;;Web服務(wù)測試研究[J];計算機科學(xué);2006年02期

7 楊利利;李必信;;Web服務(wù)測試問題綜述[J];計算機科學(xué);2008年09期

8 李雯睿;王志堅;毛鶯池;;基于Web服務(wù)生命周期的測試技術(shù)研究進展[J];計算機科學(xué);2009年06期

9 姜瑛,辛國茂,單錦輝,張路,謝冰,楊芙清;一種Web服務(wù)的測試數(shù)據(jù)自動生成方法[J];計算機學(xué)報;2005年04期

10 張迎周;徐寶文;;一種基于模塊單子語義的動態(tài)程序切片方法[J];計算機學(xué)報;2006年04期

【共引文獻】

相關(guān)期刊論文 前10條

1 余瑩;任勝兵;段成戈;;基于Eclipse插件的軟件演化操作語言編輯器設(shè)計[J];信息技術(shù);2007年10期

2 蘇喜紅;劉宏偉;吳智博;楊孝宗;左德承;;考慮組件復(fù)制的SA軟件部署可靠性研究[J];哈爾濱工業(yè)大學(xué)學(xué)報;2012年03期

3 蘇喜紅;劉宏偉;吳智博;楊孝宗;左德承;;集成架構(gòu)風(fēng)格的SA軟件部署可靠性[J];哈爾濱工業(yè)大學(xué)學(xué)報;2012年05期

4 戰(zhàn)德臣;馮錦丹;聶蘭順;徐曉飛;;基于分層遞增驗證的可信管理軟件構(gòu)造方法[J];哈爾濱工業(yè)大學(xué)學(xué)報;2012年05期

5 張迪;倫立軍;;面向圖文法的體系結(jié)構(gòu)測試方法研究[J];哈爾濱師范大學(xué)自然科學(xué)學(xué)報;2010年01期

6 李曉勇;薛飛;魯素芬;王敏;;軟件復(fù)用技術(shù)在科學(xué)計算軟件中的應(yīng)用研究[J];航空計算技術(shù);2007年01期

7 褚文奎;張鳳鳴;樊曉光;;綜合模塊化航空電子系統(tǒng)軟件體系結(jié)構(gòu)綜述[J];航空學(xué)報;2009年10期

8 張愛文;王泉泉;;編程題自動評分模型的研究與實現(xiàn)[J];黑龍江科技信息;2007年09期

9 陳亮亮;李云飛;;基于構(gòu)件和虛擬儀器的變頻器測試系統(tǒng)的設(shè)計與實現(xiàn)[J];軍民兩用技術(shù)與產(chǎn)品;2009年06期

10 張凱,陳利;Linux中斷系統(tǒng)的程序依賴性度量[J];湖州師范學(xué)院學(xué)報;2005年02期

相關(guān)博士學(xué)位論文 前10條

1 宋巍;Web服務(wù)組合動態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 楊年華;模型驅(qū)動架構(gòu)中的可信嵌入式軟件建模與分析[D];華東理工大學(xué);2011年

3 張晶;面向鋼鐵質(zhì)量過程控制的分布式并行軟件框架模型研究[D];昆明理工大學(xué);2009年

4 楊春花;軟件體系結(jié)構(gòu)中狀態(tài)方面的編織研究[D];山東大學(xué);2010年

5 趙振南;聯(lián)合作戰(zhàn)信息系統(tǒng)體系結(jié)構(gòu)若干關(guān)鍵技術(shù)研究[D];南京理工大學(xué);2010年

6 唐姍;基于目標(biāo)的高可信自適應(yīng)容錯軟件開發(fā)方法研究[D];復(fù)旦大學(xué);2011年

7 祝希路;基于QoS的可信Web服務(wù)關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

8 董孟高;基于Agent的自適應(yīng)系統(tǒng)運行機制及其構(gòu)造技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

9 祝義;嵌入式軟件需求規(guī)約到軟件體系結(jié)構(gòu)模型的轉(zhuǎn)換研究[D];南京航空航天大學(xué);2011年

10 董宇欣;網(wǎng)構(gòu)軟件信任演化模型研究[D];哈爾濱工程大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 王永偉;基于構(gòu)件的形式化方法在軟件開發(fā)中的應(yīng)用研究[D];哈爾濱工程大學(xué);2010年

2 馬玉文;基于軟構(gòu)件復(fù)用技術(shù)的ERP系統(tǒng)研究[D];長春工業(yè)大學(xué);2010年

3 李姍;基于Ajax的網(wǎng)上圖書銷售管理系統(tǒng)的設(shè)計與實現(xiàn)[D];南昌大學(xué);2010年

4 王兆耀;嵌入式控制系統(tǒng)故障的灰關(guān)聯(lián)分析及診斷專家系統(tǒng)開發(fā)平臺[D];華東理工大學(xué);2011年

5 石剛;資金管理實時監(jiān)控系統(tǒng)的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2010年

6 陳瑩瑩;變異技術(shù)在測試數(shù)據(jù)優(yōu)化中的研究及實現(xiàn)[D];昆明理工大學(xué);2009年

7 盧玉珂;Web服務(wù)集成測試工具的設(shè)計與實現(xiàn)[D];昆明理工大學(xué);2009年

8 張海旺;基于合約的構(gòu)件測試數(shù)據(jù)生成及復(fù)用方法的研究與實現(xiàn)[D];昆明理工大學(xué);2009年

9 柏宏斌;基于B/S架構(gòu)的信息管理系統(tǒng)理論研究[D];電子科技大學(xué);2010年

10 肖廣榮;無線WAP辦公門戶系統(tǒng)設(shè)計與實現(xiàn)[D];西安電子科技大學(xué);2010年

【二級參考文獻】

相關(guān)期刊論文 前10條

1 呂建;陶先平;馬曉星;胡昊;徐鋒;曹春;;基于Agent的網(wǎng)構(gòu)軟件模型研究[J];中國科學(xué)E輯:信息科學(xué);2005年12期

2 呂建;馬曉星;陶先平;徐鋒;胡昊;;網(wǎng)構(gòu)軟件的研究與進展[J];中國科學(xué)E輯:信息科學(xué);2006年10期

3 李必信,鄭國梁,王云峰,李宣東;一種分析和理解程序的方法──程序切片[J];計算機研究與發(fā)展;2000年03期

4 袁琦,金成植;Monad表示的OO程序自動生成[J];計算機研究與發(fā)展;2000年06期

5 楊洪,徐寶文;PSS/Ada程序切片系統(tǒng)的設(shè)計與實現(xiàn)[J];計算機研究與發(fā)展;1997年03期

6 呂江花,金成植;一種基于Monad反射語言解釋器的構(gòu)造[J];吉林大學(xué)學(xué)報(理學(xué)版);2003年04期

7 黃寧,余瑩,張大勇;Web服務(wù)軟件測試技術(shù)的研究與實現(xiàn)[J];計算機工程與應(yīng)用;2004年35期

8 龐建民,趙榮彩;Haskell語言的列表內(nèi)涵特性及其應(yīng)用[J];計算機工程與應(yīng)用;2005年04期

9 龐建民;趙榮彩;王倩;;Haskell語言的惰性計算特性及其應(yīng)用[J];計算機工程與應(yīng)用;2006年10期

10 李克勤;陳兆良;梅宏;楊芙清;;領(lǐng)域工程概述[J];計算機科學(xué);1999年05期

相關(guān)博士學(xué)位論文 前1條

1 馮海林;網(wǎng)絡(luò)系統(tǒng)中可靠性問題的研究[D];西安電子科技大學(xué);2004年

【相似文獻】

相關(guān)期刊論文 前10條

1 ;自動測試及其系統(tǒng)[J];電子科技文摘;2001年04期

2 倪玲;張琦;郭霞;;自動測試技術(shù)發(fā)展綜述[J];中國制造業(yè)信息化;2007年13期

3 劉如金;;基于電磁環(huán)境自動測試的實現(xiàn)[J];電子質(zhì)量;2009年08期

4 劉灼杰;馬延平;蔣志忠;楊日杰;;自動測試標(biāo)記語言及其應(yīng)用[J];國外電子測量技術(shù);2009年08期

5 馮秋平;方強;;一種開放式儀器自動測試標(biāo)定系統(tǒng)[J];中國測試;2010年04期

6 ;研華于10城市啟動自動測試方案推廣合作伙伴加盟活動[J];電子測量技術(shù);2013年09期

7 張振琪;周石光;;熱物性測量中信號的自動測試[J];物理測試;1990年04期

8 容丹奕;一種簡單實用的自動測試方法[J];計量與測試技術(shù);1995年03期

9 何丕雁 ,陳光(礻禹);高速測量中的自動測試儀器[J];國外電子測量技術(shù);1997年04期

10 ;自動測試及其系統(tǒng)[J];電子科技文摘;1999年08期

相關(guān)會議論文 前10條

1 張斕;崔愛國;;在電子測量領(lǐng)域中實現(xiàn)計算機自動測試[A];第六屆全國計算機應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

2 賀雅楠;杜里;楊東凱;;一種基于參數(shù)的通用自動測試軟件設(shè)計[A];2008年中國高校通信類院系學(xué)術(shù)研討會論文集（上冊）[C];2009年

3 曹文靜;談利群;;軟件自動測試過程及技術(shù)研究[A];第三屆中國測試學(xué)術(shù)會議論文集[C];2004年

4 高小牧;;下一代自動測試系統(tǒng)體系結(jié)構(gòu)與關(guān)鍵技術(shù)[A];中國工程物理研究院第七屆電子技術(shù)青年學(xué)術(shù)交流會論文集[C];2005年

5 吳石林;張s，

本文編號：1678794