逆向程序流相关论文
软件测试是确保软件质量的有效手段之一。在实际的软件测试过程中软件产品的更新和升级会增加相应的测试用例。随着时间的推移,测试......
程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间......
本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护......
目前信息化产业的应用范围越来越广,然而因为软件质量出现的问题也是致命的,例如全国数百万笔跨行交易因为中国银联业务中断6小时......