Published October 18, 2023
| Version v31
Report
Open
Compendium of Documents About the Design and Testing System YEROTH_QVGE (YR_QVGE)
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.
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
(311.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:39d7c0b8f3b3ef9161ef5f7d3da42a53
|
311.7 kB | Preview Download |