View Code? Open in Web Editor
NEW
This project forked from hirokitachiyama/bwdm
Test Cases Auto-Generation from a VDM Specification
License: GNU General Public License v3.0
bwdm's Introduction
BWDM - Boundary Value/Vienna Development Method -
Test Cases Auto-Generation from a VDM Specification
Execution Environment, using Libraries,
- OS : Any OS (Please prepare same enviroment.)
- Java9 : Execution Environment
- VDMJ Ver.4 : Lexer and Parser
- JUnit5 : Unit Testing
- z3 : Theorem Prover
- 20161110 create first repository.
- 20161111 implement FX.java.
- 20170105 add 'test' package. rename some directories.
- 20171025 create new repository, change internal construction of BWDM.
- 20180115
- Implementation for my master paper was almost done :)
- BVA and Symbolic Exe. are available for auto-gen of testcase.
- Command-line options are also available (below table).
Option |
Content |
-a |
Info. of BVA |
-i |
Info. of Symbolic Exe. |
-b |
Hide testcase made by Symbolic Exe. |
-s |
Hide testcase made by BVA |
-f |
Output testcase into a file (default:display on console) |
-v |
Version |
-h |
Help |
bwdm's People
Contributors