scholarly journals Automated Testing of Web Services Based on Algebraic Specifications

2015 ◽  
Author(s):  
Dongmei Liu ◽  
Yuxin Liu ◽  
Xin Zhang ◽  
Hong Zhu ◽  
Ian Bayley
Keyword(s):  
Web Services ◽  
Automated Testing ◽  
Algebraic Specifications

scholarly journals Bootstrapping Automated Testing for RESTful Web Services

2021 ◽  
pp. 46-66
Author(s):  
Yixiong Chen ◽  
Yang Yang ◽  
Zhanyao Lei ◽  
Mingyuan Xia ◽  
Zhengwei Qi
Keyword(s):  
Web Services ◽  
Web Service ◽  
State Of The Art ◽  
Automated Testing ◽  
Test Cases ◽  
Proof Of Concept ◽  
Fine Grained ◽  
Testing Tools ◽  
Restful Web Services ◽  
Restful Services

AbstractModern RESTful services expose RESTful APIs to integrate with diversified applications. Most RESTful API parameters are weakly typed, which greatly increases the possible input value space. This poses difficulties for automated testing tools to generate effective test cases to reveal web service defects related to parameter validation. We call this phenomenon the type collapse problem. To remedy this problem, we introduce FET (Format-encoded Type) techniques, including the FET, the FET lattice, and the FET inference to model fine-grained information for API parameters. Enhanced by FET techniques, automated testing tools can generate targeted test cases. We demonstrate Leif, a trace-driven fuzzing tool, as a proof-of-concept implementation of FET techniques. Experiment results on 27 commercial services show that FET inference precisely captures documented parameter definitions, which helps Leif to discover 11 new bugs and reduce $$72\% \sim 86\%$$ 72 % ∼ 86 % fuzzing time as compared to state-of-the-art fuzzers.

scholarly journals TRANSFORMATION OF ALGEBRAIC SPECIFICATIONS INTO ONTOLOGICAL SEMANTIC DESCRIPTIONS OF WEB SERVICES

2014 ◽  
Vol 2 (1) ◽  
pp. 58-71
Author(s):  
Dongmei Liu ◽  
◽  
Hong Zhu ◽  
Ian Bayley ◽  
◽  
...  
Keyword(s):  
Web Services ◽  
Algebraic Specifications

WS-Security on PRODML

2014 ◽  
Vol 1 (1) ◽  
pp. 9-34
Author(s):  
Bobby Suryajaya
Keyword(s):  
Web Services ◽  
Digital Signature ◽  
Data Transfer ◽  
Web Services Security ◽  
Soap Message ◽  
Simulation Results ◽  
End To End

SKK Migas plans to apply end-to-end security based on Web Services Security (WS-Security) for Sistem Operasi Terpadu (SOT). However, there are no prototype or simulation results that can support the plan that has already been communicated to many parties. This paper proposes an experiment that performs PRODML data transfer using WS-Security by altering the WSDL to include encryption and digital signature. The experiment utilizes SoapUI, and successfully loaded PRODML WSDL that had been altered with WSP-Policy based on X.509 to transfer a SOAP message.

A Design of a Network Model to the Electric Power Trading System Using Web Services

2004 ◽  
Vol 124 (1) ◽  
pp. 176-181
Author(s):  
Tomoaki Maruo ◽  
Keinosuke Matsumoto ◽  
Naoki Mori ◽  
Masashi Kitayama ◽  
Yoshio Izumi
Keyword(s):  
Web Services ◽  
Electric Power ◽  
Network Model ◽  
Trading System ◽  
Power Trading
Sign in / Sign up

Export Citation Format

Share Document