1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. C/C++资料

C程序不变量动态发现编配工具的设计.pdfVIP

  • 2
  • 0
  • 约1.39万字
  • 约 3页
  • 2018-04-07 发布于北京
  • 举报

C程序不变量动态发现编配工具的设计.pdf

    匦亘鎏塑雯受显要豆羽 软件时空 文章编号：1008-0570(2008)04．3—_0233-m2 C程序不变量动态发现编配工具的设计 The oftheInstrumentof C Invariants Desig门andImplement DynamicallyDiscoveringProgram (南华大学)刘杰阳小华余童兰 LIUJieYANGXiao-huaYU Tong-lan 摘要：程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造，暴露 程序的运行轨迹．然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了 C程序编配的工作原理和主要

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >