约束提取相关论文
软件测试按测试的执行阶段可划分为单元测试、集成测试、系统测试和验收测试。作为软件测试的第一阶段,单元测试只对软件中的最小......
测试用例自动生成是自动化单元测试的重点之一,在面向路径的自动化单元测试中,抽象内存模型用于精准的提取路径上变量的语义和约束......
面向路径的自动化单元测试可以自动为程序生成测试用例并执行这些测试用例,从而提高软件测试的效率,大幅降低测试的成本。传统的方......
随着互联网上web服务数量的增多，如何快速准确地发现满足用户需求的web服务已经成为一个亟待解决的问题。现在很多基于语义的web服......
