Specification-based verification and validation of web services and service-oriented operating systems

被引：14

作者：

Tsai, WT ^{[1
]}

Chen, YN ^{[1
]}

Paul, R ^{[1
]}

机构：

[1] Arizona State Univ, Dept Comp Sci & Engn, Tempe, AZ 85287 USA

来源：

WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS | 2005年

关键词：

web services; service composition; collaborative testing; group testing; verification;

D O I：

10.1109/WORDS.2005.51

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based verification and validation, collaborative testing, and group testing.

引用

页码：139 / 147

页数：9

共 26 条

[1]

ANDREWS T, SPECIFICATION BUSINE

[2]

[Anonymous], 2011, ENERG CONVERS MANAGE, DOI [DOI 10.1145/511446.511457, DOI 10.1016/j.enconman.2010.05.023]

[3]

[Anonymous], 2002, MODEL CHECKING

[4]

Ballinger Keith., Basic Profile Version 1.1

[5] Generating tests from counterexamples [J].

Beyer, D ;

Chlipala, AJ ;

Henzinger, TA ;

Jhala, R ;

Majumdar, R .

ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, :326-335

[6] Test case selection strategies based on Boolean specifications [J].

Chen, TY ;

Lau, MF .

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (03) :165-180

[7]

Davidson N., TESTING WEB SERVICES

[8]

Du D.Z., 1993, COMBINATORIAL GROUP, V2nd

[9] Distributed repositories of highly expressive reusable ontologies [J].

Fikes, R ;

Farquhar, A .

IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1999, 14 (02) :73-79

[10]

FOSTER H, P 18 IEEE INT C AUT

← 1 2 3 →