会议论文《一种基于形式化描述的测试案例生成方法》发表于第六届中国信息和通信安全学术会议(CCICS2009)。该文提出了一种利用形式化描述技术生成测试案例的方法，旨在提高软件测试的系统性和有效性。通过将系统需求转化为形式化模型，实现测试用例的自动生成，从而提升测试覆盖率和缺陷发现率。该方法在信息安全领域具有重要应用价值。
文档为pdf格式，0.16MB，总共4页。
举报
