RO-Verifier: ByStar Remote-Operations Invocations And Verifications Framework
RO-Verifier:
A Remote-Operations Invocations Framework
Tools And Strategies For Generalized OpenAPI/Swagger Based Verification Of Web-Services
Document Number: | PLPC-180057 [ .bib ] |
Version: | 0.4 |
Dated: | February 12, 2019 |
Group: | engineering |
Primary URL: | http://www.by-star.net/PLPC/180057 |
Federated Publications: | ByTopic -- ByContent |
AccessPage Revision: | This AccessPage was produced on November 05, 2019 at 21:05 PST (-0800) |
Author(s): | Mohsen BANAN |
See Also: | PLPC-180050: Unified Interactive Command Modules (ICM) And ICM-Players PLPC-180058: Bash Interactive Command Modules (Bash-ICM) PLPC-180056: Remote Operations Interactive Command Modules (RO-ICM) PLPC-180052: GOSSONoT: A Generalized Open-Source Self Organizing Network of Things Platform |
AVAILABLE FORMATS
- PDF: -- 168K -- Provides the document in Portable Document Format.
- HTML: -- -- Displays the document as a web page.
AVAILABLE OTHER FORMS
- presentationEnFa.pdf: -- 168K -- .
- presArtEnFa.pdf: -- 80K -- .
SHORT
DESCRIPTION
RO-Verifier is a remote operations invocations and verifications framework. It provides a set of tools and facilities for service specification centered verification of web services. RO-Verifier can also be used for rapid development of web services based invoker applications.
This document contextualize the general problem of web services verification and the topic of securing the large attack surface that web services expose.
Scope and span of these web-services verification tools is the entirety of operations specified in the OpenAPI/Swagger file. In that broader context, these tools can be used by service developers for complete regression testing.