Automated Testing of Web Services Based on Algebraic Specifications

被引：4

作者：

Liu, Dongmei ^{[1
]}

Liu, Yuxin ^{[1
]}

Zhang, Xin ^{[1
]}

Zhu, Hong ^{[2
]}

Bayley, Ian ^{[2
]}

机构：

[1] Nanjing Univ Sci & Technol, Sch Comp Sci & Engn, Nanjing 210094, Jiangsu, Peoples R China

[2] Oxford Brookes Univ, Dept Comp & Comm Technol, Oxford OX33 1HX, England

来源：

9TH IEEE INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2015) | 2015年

关键词：

Web services; Algebraic specifications; Test automation; Test data generation; Test execution; Test result evaluation; IMPLEMENTATION;

D O I：

10.1109/SOSE.2015.33

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The testing of web services must be done in a completely automated manner when it takes place on-the-fly due to third-party services are dynamically composed to. We present an approach that uses algebraic specification to make this possible. Test data is generated from a formal specification and then used to construct and submit service requests. Test results are then extracted and checked against the specification. All these are done automatically, as required. We present ASSAT (Algebraic Specification-Based Service Automated Testing), a prototype tool that performs these tasks and demonstrate its utility by applying it to Amazon Web Services, a real-life industrial example.

引用

页码：143 / 152

页数：10

共 36 条

[1]

[Anonymous], 2013, MOL CELLULAR BIOCH

[2] SOFTWARE TESTING BASED ON FORMAL SPECIFICATIONS - A THEORY AND A TOOL [J].

BERNOT, G ;

GAUDEL, MC ;

MARRE, B .

SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06) :387-405

[3]

Bertolino A, 2006, LECT NOTES COMPUT SC, V3938, P1

[4] A Coalgebraic Theory of Reactive Systems [J].

Bonchi, Filippo ;

Montanari, Ugo .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 209 :201-215

[5] Testing and verification in service-oriented architecture: a survey [J].

Bozkurt, Mustafa ;

Harman, Mark ;

Hassoun, Youssef .

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (04) :261-313

[6]

Canfora Gerardo, 2009, Software Engineering. International Summer Schools ISSSE 2006-2008. Revised Tutorial Lectures, P78, DOI 10.1007/978-3-540-95888-8_4

[7] Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software [J].

Chen, Huo Yan ;

Tse, T. H. .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (11) :1549-1563

[8] TACCLE: A methodology for object-oriented software testing at the class and cluster levels [J].

Chen, HY ;

Tse, TH ;

Chen, TY .

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2001, 10 (01) :56-109

[9] A coalgebraic equational approach to specifying observational structures [J].

Cîrstea, C .

THEORETICAL COMPUTER SCIENCE, 2002, 280 (1-2) :35-68

[10]

Cirstea C., 1997, RECENT TRENDS ALGEBR, P174

← 1 2 3 4 →