Skip to content

Generate random test sets from VisuAL simulator for VisUAL2 simulator testing

Notifications You must be signed in to change notification settings

ImperialCollegeLondon/VisualRandomTestGen

Repository files navigation

VisualRandomTestGen

Generate random test sets from VisUAL simulator for VisUAL2 simulator testing

This project runs under F#/.Net core and drives the VisUAL Java executable, generating simulation outputs for a large set of randomly generated assembly inputs. The typical use case is for single line inputs (see VRandom.fs for generating functions).

Getting Started

These instructions work for Windows. In theory it should work on other systems but there may be issues with the use of Semaphores, or other incompatibilities.

  • Unpack the VisUAL binaries so that Visual.exe can be found as ./Visualapp/Visual.exe.
  • The F# .Net core project ./VisualTest2/VisualTest.fsproj can be reconstituted from a clean .Net Core command line application and the .fsproj and *.fs files.
  • When run the application will generate ./VisualWork/*.txt files containing random test data: Visual inputs and outputs for given assembly lines. See vprogram.fs for top-level file generation and vrandom.fs for details of the RNG-based assembler generation.
  • Generated files can be put under the ./test-data directory of Visual2 and will be automatically run.

More Information

The test framework on which this code is based in documented in ./Readme2.md. However, not all of the framework is used. In fact the whole cache system is not needed and could usefully be removed, see issues.

Directories

  • ./VisualWork/* - transient working files, will be recreated
  • ./visualapp/* - binaries to run Visual simulator
  • ./TestGen/* - project to generate random test data files

About

Generate random test sets from VisuAL simulator for VisUAL2 simulator testing

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages