Embedded Files
ModCon is a model-based testing platform, relying on user-specified models to define test oracles, guide test generation, and measure test adequacy. ModCon is Web-based and supports both permissionless and permissioned blockchain platforms.
ModCon is a model-based testing platform, relying on user-specified models to define test oracles, guide test generation, and measure test adequacy. ModCon is Web-based and supports both permissionless and permissioned blockchain platforms.
- Open source on GitHub: ModCon repo.
All the source code, examples and experiment results are available in the repository.
All the source code, examples and experiment results are available in the repository.
2. Demo Presentation.
2. Demo Presentation.
Using ModCon on the Credit Management Application (CMA) from WeBank.
Using ModCon on the Credit Management Application (CMA) from WeBank.
note: The source code of CMA belongs to WeBank and is confidential. We are not able to disclose more details about the found error.
note: The source code of CMA belongs to WeBank and is confidential. We are not able to disclose more details about the found error.
Basic Workflow: contract setup, test-model specification, and test generation.
Basic Workflow: contract setup, test-model specification, and test generation.
3. The Architecture of ModCon.
3. The Architecture of ModCon.
ModCon consists of a web-based front-end (implemented as a Vue.js application) and a server-side back-end (implemented on top of the Node.js JavaScript runtime). The front-end accepts two inputs from users: the target smart contracts and the test-model specifications to drive the model-based testing process. The front-end allows users to specify coverage strategies and configure test generation priority, and the test execution progress can be monitored on-the-fly. The back-end communicates with the front-end through the WebSocket. On the back-end, the model-based testing engine is in charge of smart contract compilation/deployment, model specification analysis, and the customized model-based testing tasks as per users’ requests.
ModCon consists of a web-based front-end (implemented as a Vue.js application) and a server-side back-end (implemented on top of the Node.js JavaScript runtime). The front-end accepts two inputs from users: the target smart contracts and the test-model specifications to drive the model-based testing process. The front-end allows users to specify coverage strategies and configure test generation priority, and the test execution progress can be monitored on-the-fly. The back-end communicates with the front-end through the WebSocket. On the back-end, the model-based testing engine is in charge of smart contract compilation/deployment, model specification analysis, and the customized model-based testing tasks as per users’ requests.
4. Experiment Results.
4. Experiment Results.
The smart contract applications we used in the evaluation section include two cases. One case is the CMA application and the other is BlindAuction.
The smart contract applications we used in the evaluation section include two cases. One case is the CMA application and the other is BlindAuction.
Page updated
Google Sites
Report abuse