程序分析技术相关论文
当软件的运行结果同预期不一致时,软件发生失效.软件失效表明软件中存在错误,开发人员需要对软件进行调试,以发现引发软件失效的问......
程序的分析技术在许多领域有广泛的应用前景。例如，对学生程序的自动分析评价；利用程序分析比较工具来辅助软件版权的分析鉴别。但是......
约束求解的应用领域越来越广泛,在恶意代码检测、程序分析技术、人工智能等方面发挥着越来越重要的作用,研究更加高效的约束求解技......
跨国采购也称全球采购、国际采购，在近20年里，随着交通运输和信息通讯业的飞速发展，也得到了飞速发展，其主要的原因是由于发达国家的生......
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过......
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法......
