https://github.com/leduyquang753/concolic-ts
Automatic unit test data generation for TypeScript using concolic method.
https://github.com/leduyquang753/concolic-ts
concolic-testing typescript unit-testing
Last synced: 10 months ago
JSON representation
Automatic unit test data generation for TypeScript using concolic method.
- Host: GitHub
- URL: https://github.com/leduyquang753/concolic-ts
- Owner: leduyquang753
- Created: 2024-06-27T13:40:01.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-12-20T12:34:17.000Z (over 1 year ago)
- Last Synced: 2025-04-04T14:44:27.549Z (about 1 year ago)
- Topics: concolic-testing, typescript, unit-testing
- Language: TypeScript
- Homepage:
- Size: 290 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Concolic unit test data generation for TypeScript
This is an experimental tool for automatic generation of unit test inputs for TypeScript projects, developed as part of
Lê Duy Quang's university graduation thesis.
Currently, top-level functions using number, string and object types with fixed structures are supported, along with a
selection of statement types (`if`, `while`, C-style `for`, `break`, `return`,...). Called functions can also be mocked
by replacing their call expressions with injected return values.
To run, after installing dependencies, write the configuration file in `src/config.ts` based on the template provided in
`src/config.ts.template`, then compile using `tsc`. Run the compiled `dist/server.js` file to start the tool along with
its REST API.
Modified experiment projects from GitHub are placed in the `experiment-projects` branch. These projects are:
- [`scottbedard/utils`](https://github.com/scottbedard/utils)
- [`SavingTool/hmrc-income-tax`](https://github.com/SavingTool/hmrc-income-tax)
- [`taxcalcs/taxjs`](https://github.com/taxcalcs/taxjs)