作者:刘杰 阳小华 余童兰程序不变量不变量动态发现编配工具
摘要:程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《科技与创新》(CN:14-1369/N)是一本有较高学术价值的大型半月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 1074120 评论 53
省级期刊
人气 845968 评论 70
人气 806932 评论 68
人气 753182 评论 72