Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

机译：使用模型检查生成Web服务组合的一致性测试套件

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Testing compositions of Web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing method for compositions of Web services. A formal verification tool (the SPIN

机译：由于Web服务的分布式特性和异步行为，因此对其进行测试非常复杂。但是，该领域的研究很少。我们提出了一种用于Web服务组成的新测试方法。正式的验证工具（SPIN

著录项

来源
《Testing Academia and Industry Conference Practice and Research Techniques (TAIC-PART), 2006》|2006年|P.127-130|共4页
会议地点 windsorUnited Kingdom
作者
J. Garcia-Fanjul; C. de la Riva; J. Tuya;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Internet; business data processing; conformance testing; formal specification; program testing; program verification; BPEL industry standard language; SPIN model checker formal verification tool; Web service compositions; adequacy criteria; conformance test suites;

机译：互联网;业务数据处理；一致性测试；正式规范；程序测试；程序验证； BPEL行业标准语言； SPIN模型检查器正式验证工具； Web服务组合；充足标准；一致性测试套件;

相似文献

外文文献
中文文献
专利

1. Conformance Checking and QoS Selection Based on CPN for Web Service Composition [J] . Weitao Ha, Guojun Zhang, Liping Chen International Journal of Pattern Recognition and Artificial Intelligence . 2015,第2期

机译：基于CPN的Web服务组合一致性检查与QoS选择。
2. Conformance checking for interaction of web service composition with temporal logic [J] . Chen Liping, Zhang Guojun, Ha Weitao International Journal of Sensor Networks . 2014,第4期

机译：Web服务组合与时间逻辑交互的一致性检查
3. Generating test case specifications of web service composition using model checking [J] . QIAN Ling-li, CHEN Yi-hai 上海大学学报（英文版） . 2011,第005期

机译：使用模型检查生成Web服务组合的测试用例规范
4. Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking [C] . J. Garcia-Fanjul, C. de la Riva, J. Tuya Academic and Industrial Conference . 2006

机译：使用模型检查的Web服务组成的一致性测试套件
5. Refactoring design models for compositional verification, conformance testing, and inductive verification. [D] . Cheng, Yung-Pin. 2000

机译：重构设计模型以进行成分验证，一致性测试和归纳验证。
6. A verification strategy for web services composition using enhanced stacked automata model [O] . Danapaquiame Nagamouttou, Ilavarasan Egambaram, Muthumanickam Krishnan, -1

机译：使用增强的堆栈自动机模型的Web服务组合的验证策略
7. Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking [O] . José García-fanjul, Claudio De La Riva, Javier Tuya 2009

机译：使用模型检查生成Web服务组合的一致性测试套件

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅