【摘 要】
：
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的
【机 构】
：
北京大学信息科学技术学院计算机科学技术系软件研究所,高可信软件技术教育部重点实验室（北京大学）
【基金项目】
：
国家自然科学基金(61922003,61672045)
论文部分内容阅读
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题,提出了“学习者-预言”框架统一描述相关方法,并且在此框架内根据学习者的归纳方法将综合技术大致分为4类,分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次,讨论了基于动态分析综合的不变量在软件验证和软件工程等
其他文献
分层教学是在学生知识基础、智力因素和非智力因素存在明显差异的情况下，教师有针对性地实施分层教学，从而实现不同层次的教学目标。那么，如何在小学数学教学中实施分层教学呢？
十六届四中全会通过的<中共中央关于加强党的执政能力建设的决定>指出,党经过艰辛探索和实践,积累了执政的成功经验.这些经验可以概括为"六个必须",第一条是必须坚持党在指导
兴趣是激发学生积极主动探索知识的内部动力，是学生积极认识事物，积极参与活动的一种心理倾向，兴趣越浓学生学习的积极性越高，掌握知识就越快。这就要求教师在课前做好充分的准备
疫情所造成的经济和市场的变化,使各行业正面临巨大的挑战。对制造业来说,一方面,疫情影响持续,使人们的出行受到诸多限制,客户的正常参观流程受阻;另一方面,参观公司等线下