基于表格的中断数据冲突静态分析方法  

Static Analysis Method for Table-Based Interruption Data Conflictions

作　　者：黄晨[1] 董燕[1] 王小丽[1] 虞砺琨[1] HUANG Chen DONG Yan WANG Xiaoli YU Likun(Beijing Institute of Control Engineering, Beijing 100190, China)

机构地区：[1]北京控制工程研究所,北京100190

出　　处：《空间控制技术与应用》2016年第5期57-62,共6页Aerospace Control and Application

基　　金：国家自然科学基金资助项目(91118007)

摘　　要：中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.Interrupt conflict is one of the typical defects in the board embedded software, due to the interruption Of uncertainty and randomness of conflict, which are difficult to reproduce and positioned in the dynamic testing process. A static analysis method of interrupt conflict is described on the form of sheet, specifically for data association, operational relevance, timing violations. Several examples are given to iilustrate the method and process. Several interrupt conflict prevention strategies and methods are also summarized. Data conflict problems in specific scenario are hard to be found. Compared to dynamic test, static analysis methods in the design and testing stages are easier and more efficient to implement.

关 键 词：中断冲突 数据关联性 操作关联性 时序冲突 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]