位置：成果数据库 > 期刊 > 期刊详情页
基于CIL的C语言类型系统构建研究
  • ISSN号：1000-7024
  • 期刊名称：《计算机工程与设计》
  • 时间：0
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]华东师范大学软件学院,上海200062, [2]中国航天系统科学与工程研究院,北京100080
  • 相关基金：国家自然科学基金重点项目（91118007）;国防科工局“航天器产品软件安全性评价体系及关键技术研究”基金项目
作者： 方昭潭, 苏亭[1], 李博[1], 经小川[2], 张伟[2]
关键词： 测试用例, 自动生成, CIL(C语言中间语言), 类型系统, 类型插桩, 可视化, test case, automated generation, CIL （C intermediate language） , type system, type instrumentation, visualization
中文摘要：

针对C单元的测试用例自动生成的研究，提出在基于OCAML（object CAML）的CIL（Cintermediate language）工具包上的类型系统构建方法。通过工具前端对单元中代码的类型插桩，对基本数据类型以及每个全局对象、自定义对象进行类型统计，实现自动检测C单元中对象类型，在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具，为解决这类测试用例可视化的问题提供一个解决方案。

英文摘要：

Aiming at the study of automatic test data generation on C units, a method is proposed on how to construct type system based on CIL toolkit in object CAML. The front-end of tool instruments type of C units, and add up the primitive data type, each global object and object user-defined. Automatic detection of object type in C units is implemented. Finally, the back-end of tool prints the runtime test case based on the object type and memory layout. The tool supports a solution for the problem of test case visualization to combine open source tool CIL.

同期刊论文项目
航天嵌入式软件可信性保障集成环境和示范验证与应用
期刊论文 86 会议论文 82
同项目期刊论文
基于启发式的静态中断数据竞争检测方法
软件可信性度量模型研究
Automatically discovering relaxed Lyapunov functions for polynomial systems
Discovering non-terminating inputs for polynomial programs
Compositional Mining of Multiple Object API Protocols through State Abstraction
Modeling and Verifying the Ariadne Protocol using Process Algera
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connective
Model-checking Conditional CSL for Continuous-time Markov Chains
多面体抽象域的整数实现方法及其在整数程序分析中的应用
QCSP based Schedulability Test of Real-time System
Resco: Automatic collection of leaked resources
Anticipatory active monitoring for safety-and security-critical software
TCG动态二进制翻译技术研究
中断驱动控制系统的有界模型检验技术
航天嵌入式软件可信性保障技术及应用研究
Effective Fault Localization Approach Using Coverage Information and Program Slices
Domain-of-attraction estimation for uncertain non-polynomial systems
初等函数可验证赋值及误差分析
Complexity Measure Based on Program Slicing and Ist Validation
程序数值误差的扰动检测与优化
Proving total correctness and generating preconditions for loop programs via symbolic-numeric comput
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
The semantics and verification of timed service choreography
Behavior Modeling and Verification of Movement Authority Scenario of Chinese Train Control System us
Compensation by Design
Slice-based Statistical Fault Localization
航天嵌入式软件可信性度量方法及应用研究
Enriching contextual information for fault localization
Optimization Methods for Nop-Shadows Typestate Analysis
Verifying Aspect-Oriented Models Against Crosscutting Properties
面向航天嵌入式软件的形式化建模方法
一种基于有限K近邻的强度帕累托进化算法
一种面向星载计算机的功能级功耗估计方法
中国高速铁路列控系统的形式化分析与验证
面向软件源程序的模型检验技术
基于时间自动机的操作系统中断管理建模与验证
基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证
三分之二模拟拓扑
面向单粒子效应的航天嵌入式软件软防护技术研究
基于浮点区间幂集抽象域的浮点程序分析
面向维护的实时软件时间变化敏感点检测
软件动态正确性的形式化描述
Light-weight Resource Leak Testing Based on Finalizers
Fault Localization using Failure-related Contexts for Automatic Program Repair
Generating Exact Nonlinear Ranking Functions by Symbolic-Numeric Hybrid Method
改进的基于属性的软件可信性度量模型
基于过程间动态符号执行的C语言测试框架
基于最弱前置条件的静态分析误报消除技术
基于区间向量抽象域的数值程序分析算法
基于程序重写与区间运算的浮点异常检测
多机器人路径规划的安全性验证
基于变量访问序模式的中断数据竞争检测方法
中断驱动系统模型检验
基于表格的中断数据冲突静态分析方法
深空探测返回器再入制导仿真分析
A UTP semantic model for Orc language with execution status and fault handling
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
期刊信息
  • 《计算机工程与设计》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团
  • 主办单位:中国航天科工集团二院706所
  • 主编：汤铭瑞
  • 地址：北京142信箱37分箱
  • 邮编：100854
  • 邮箱：ced@china-ced.com
  • 电话：010-68389884
  • 国际标准刊号：ISSN：1000-7024
  • 国内统一刊号：ISSN：11-1775/TP
  • 邮发代号:82-425
  • 获奖情况:
  • 中国科学引文数据库来源期刊,中国学术期刊综合评价数据库来源期刊,中国科技论文统计与分析用期刊
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:45616