daikon相关论文
回归测试成本高,是软件测试过程中是必不可少的阶段。随着软件开发过程的不断深化,需要频繁地进行回归测试,测试用例集的规模越来......
结合Java建模语言描述了程序不变量的基本概念，以程序静态分析技术和动态分析技术为基础，讲解了程序不变量在软件质量保证中的重要作......
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式，可以在程序运动时......
随着软件行业的深入发展，软件存在的问题与日俱增，程序正确性受到了广泛的关注，形式化方法是解决程序正确性的基本途径，而发现程序循环......
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,......
程序似然不变量是程序中隐含的属性，可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具c＋＋Test产生的测试用例......
