Automatic Test Cases Generation for C Written Programs Using Model Checking
2021 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI 2021)(2021)
Abstract
The present work focuses on the development of a tool that automatically generates coverage criteria based test cases from a C written program. For accomplishing this, the tool translates the C code into PROMELA and generates specifications based on the wanted coverage criteria. Once the model (PROMELA code) and specifications are obtained, it uses SPIN model checker for executing the verification and generating counterexamples which can be used as test cases.
MoreTranslated text
Key words
model checking,compiler,PROMELA,SPIN,software testing
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined