编配工具相关论文
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在......
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统......
随着计算机技术的发展,软件在各个行业得到广泛的应用,人们对软件的质量和安全也得到更为广泛的关注。对如何提高软件质量的问题人......
学位
