There is a newer version of the record available.

Published November 23, 2025 | Version v49
Report Open

Compendium of Documents About the Design and Testing System YERITH_QVGE (YRI_QVGE)

Authors/Creators

  • 1. YERITH R&D
  • 2. 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://www.github.com/yerithrd/yr-db-runtime-verif

"https://www.github.com/yerithrd/yr_sd_runtime_verif_lang"

Notes (English)

1) REPORT on work about YEROTH-ERP-3.0: https://www.zenodo.org/records/10075644

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

3) https://www.github.com/yerithrd/yerith-erp-3-0-FOSS

4) https://www.github.com/yerithrd/yr-db-runtime-verif

5) https://www.github.com/yerithrd/yr_sd_runtime_verif_lang

Files

YERITH_QVGE.pdf

Files (1.1 MB)

Name Size Download all
md5:ab983d8c8e7d516b49e40fb28ee70d85
1.1 MB Preview Download