系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2013年
12期
2619-2630
,共12页
Web服务测试%测试用例表示%测试数据自动测试%单子技术%余代数方法
Web服務測試%測試用例錶示%測試數據自動測試%單子技術%餘代數方法
Web복무측시%측시용례표시%측시수거자동측시%단자기술%여대수방법
Web service testing%test case description%test data auto-generation%monad technology%coalgebraic method
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性.利用代数方法从“观察”角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题.
鑒于開放網絡環境下的Web服務實體主要來源于不同的第三方提供者,併且其形成與運行過程常處于一種縯化狀態中,故難以採取傳統的測試方式保障其可靠性.利用代數方法從“觀察”角度攷察繫統及其性質,結閤單子的高度可結閤性、反射性和重用性,對Web服務相關活動的性質進行統一描述和測試,重點研究基于單子的Web服務測試用例形式化描述及其自動生產,以及服務測試單子的設計和實現等,以期從一定程度上解決Web服務測試目前所麵臨的動態靈活性和可組閤重用性等問題.
감우개방망락배경하적Web복무실체주요래원우불동적제삼방제공자,병차기형성여운행과정상처우일충연화상태중,고난이채취전통적측시방식보장기가고성.이용대수방법종“관찰”각도고찰계통급기성질,결합단자적고도가결합성、반사성화중용성,대Web복무상관활동적성질진행통일묘술화측시,중점연구기우단자적Web복무측시용례형식화묘술급기자동생산,이급복무측시단자적설계화실현등,이기종일정정도상해결Web복무측시목전소면림적동태령활성화가조합중용성등문제.
