会议论文《优化基于模型检验的测试生成》发表于第六届中国测试学术会议，探讨了如何通过模型检验技术提升测试用例的生成效率与覆盖率。文章提出了一种优化方法，结合形式化建模与自动测试生成，有效减少了测试用例的数量，同时保证了测试的完整性与有效性。该研究为软件测试领域提供了新的思路，具有重要的理论价值和实际应用意义。
文档为pdf格式，0.45MB，总共7页。
举报
