位置：成果数据库 > 期刊 > 期刊详情页
基于表格的中断数据冲突静态分析方法
  • ISSN号：1674-1579
  • 期刊名称：《空间控制技术与应用》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TP391.9[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]School of Computer and Communication Engineering,Zhengzhou University of Light Industry, Zhengzhou 450002, Henan,China, [2]MoE Engineering Research Center for Software/HardwareCo-design Technology and Application, East China Normal University,Shanghai 200062, China
  • 相关基金：Supported by the National High Technology Research and Development Program of China（863 Program）（2009AA01220）; the National Natural Science Foundation of China（91118007）
作者： 黄晨, 董燕, 王小丽, 虞砺琨
关键词： 复杂度, 程序切片, 验证, 复杂性, 交互行为, 数据类型, 输出变量, 单因素, program slicing complexity measure Weyuker properties validation
中文摘要：

流行单个因素的复杂性措施不能包括地反映节目复杂性，存在混合复杂性措施不能表示节目的交互行为。为了对待这些问题，在这份报纸，我们基于切的节目(CMBPS ) 建议一项复杂性措施。CMPBS 能不仅评估影响象程序，控制流动，数据流动和输出变量的数据类型的长度那样的程序复杂性的因素，而且能给在程序之间的交互关系的表示。并且我们也证明 CMBPS Weyuker 性质满足所有。与流行复杂性措施相比， CMBPS 是一项组织得好的复杂性措施。

英文摘要：

The popular single-factor complexity measure cannot comprehensively reflect program complexity and the existing hybrid complexity measure cannot express the interactive behaviors of programs. To treat these problems, in this paper, we propose a complexity measure based on program slicing（CMBPS）. CMPBS not only can evaluate factors which affect program complexity such as the length of the program, control flow, data flow and data types of output variables, but also can give expression of the interactive relation between programs. And we also prove that CMBPS satisfies all of Weyuker properties. Compared with the popular complexity measures, CMBPS is a well-structured complexity measure.

同期刊论文项目
航天嵌入式软件可信性保障集成环境和示范验证与应用
期刊论文 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
改进的基于属性的软件可信性度量模型
基于CIL的C语言类型系统构建研究
基于过程间动态符号执行的C语言测试框架
基于最弱前置条件的静态分析误报消除技术
基于区间向量抽象域的数值程序分析算法
基于程序重写与区间运算的浮点异常检测
多机器人路径规划的安全性验证
基于变量访问序模式的中断数据竞争检测方法
中断驱动系统模型检验
深空探测返回器再入制导仿真分析
A UTP semantic model for Orc language with execution status and fault handling
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
期刊信息
  • 《空间控制技术与应用》
  • 中国科技核心期刊
  • 主管单位:中国航天科技集团公司
  • 主办单位:北京控制工程研究所
  • 主编：袁利
  • 地址：北京市5142信箱171分箱
  • 邮编：100194
  • 邮箱：aca@bice.org.cn
  • 电话：010-68111551 68111503
  • 国际标准刊号：ISSN：1674-1579
  • 国内统一刊号：ISSN：11-5664/V
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 中国中国科技核心期刊,中国北大核心期刊（2014版）
  • 被引量:841