There is a newer version of the record available.

Published October 23, 2023 | Version v33
Report Open

Compendium of Documents About the Design and Testing System YEROTH_QVGE (YR_QVGE)

Authors/Creators

  • 1. YEROTH R&D

Contributors

  • 1. YEROTH R&D

Description

YEROTH_QVGE is a CASE (Computer-Aided Software Engineering) design tool to generate "domain-specific language (DSL) YR_SB_RUNTIME_VERIF_LANG" files, to be inputted into the "compiler YR_SB_RUNTIME_VERIF_LANG_COMP", so to generate C ++ files for the "runtime verifier tester YR-DB-RUNTIME-VERIF that allows for manual verification of SQL correctness properties of Graphical User Interface (GUI) software.

"https://github.com/yerothd/yr-db-runtime-verif"

"https://github.com/yerothd/yr_sd_runtime_verif_lang"

Notes

1) Runtime Verification Of SQL Correctness Properties with YR-DB-RUNTIME-VERIF: https://zenodo.org/records/8381187

2) https://github.com/yerothd/yr-db-runtime-verif 
3) https://github.com/yerothd/yr_sd_runtime_verif_lang

Files

YEROTH_QVGE.pdf

Files (327.7 kB)

Name Size Download all
md5:e428906855e5861cc26e7feba643a0fc
327.7 kB Preview Download