DatagenDV is a Python framework for generating C compatible test stimulus using YAML and random constraints. The framework leverages multiple open-source projects by tying them together into base classes which can then be extended by its users.
DatagenDV was made open source to provide an example of how python frameworks can be made with verifiation in mind.
Although designed to be generic and project agnostic, it is not intended for easy plug and play into any project infrastructure at this time.
It is one way of doing things and is aimed a particular flow.
DatagenDV is better utilized as an example and starting point.
Please see the examples directory which contain Jupyter notebooks which explain and show how it is used. For a fuller explanation of DatagenDV's features see the 2023 DVCon paper.
This project welcomes contributions and suggestions. Most contributions require you to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. For details, visit https://cla.opensource.microsoft.com.
When you submit a pull request, a CLA bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately (e.g., status check, comment). Simply follow the instructions provided by the bot. You will only need to do this once across all repos using our CLA.
This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.
This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft trademarks or logos is subject to and must follow Microsoft's Trademark & Brand Guidelines. Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship. Any use of third-party trademarks or logos are subject to those third-party's policies.