Teralizer: 基于语义从单元测试到属性测试的自动测试泛化

Research#Testing🔬 Research|分析: 2026年1月10日 10:44
发布: 2025年12月16日 15:08
1分で読める
ArXiv

分析

这项研究探索了一种有价值的自动测试生成方法,可能提高软件质量并减少测试工作量。 基于语义从单元测试到属性测试的自动测试泛化是提高软件测试效率的一个有前景的领域。
引用 / 来源
查看原文
"The research focuses on generalizing conventional unit tests to property-based tests using a semantics-based approach."
A
ArXiv2025年12月16日 15:08
* 根据版权法第32条进行合法引用。