Automatic Generation of Test Cases from Formal Specifications using Mutation Testing
2021 18th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)(2021)
摘要
Testing of complex software systems often needs the execution of thousand of tests cases to find errors in the code and to ensure high integrity systems. Hence, it requires the testing tasks to be automated. Test case execution entails establishing preconditions and input data, observing output results, and comparing those results with a given oracle. This work presents two contributions: it uses ...
更多查看译文
关键词
Codes,Software algorithms,Automatic generation control,Electrical engineering computing,Software systems,Generators,Formal specifications
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要