动态执行相关论文
测试技术是保障软件系统质量最重要和最有效的方法之一,一直以来也是工业界保证软件系统正确性最主要的手段。受计算能力和时间、......
存储过程作为一种安全、高效的数据库技术已经被广泛的运用在各应用开发过程中，它能够封装应用领域的业务逻辑使软件更加模块化。藉......
模型检测是一种形式化验证技术,主要用于系统的建模和分析。随着软件系统规模和复杂性的增加,模型检测中的状态爆炸问题愈发严重。......
学位
随着网络管理应用场景的不断复杂化和用户功能需求的不断增加,传统网络管理系统的弊端越来越明显。这主要体现在如下三点:一是系统......
该文介绍了一种实现算法动态执行的可视化的方法，利用这种方法，可以实现将描述算法的程序的动态执行过程和输出同时表示出来。......
