摘要
研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.
The method for testing critical region protection was studied. A method called SVAM (shared variable address monitor) for testing critical region protection mechanism of shared variable, which is based on monitoring shared date address, was presented. The proposed testing method consists of a real-time address monitor module and a shared variables address list. When the system is running, SVAM will monitor the variable written on the address bus. If the variable is updating and the interrupt is open, the system will enter uncontrollable status, and the critical region protection mechanism is corrupted. The correctness of SVAM was verified through theoretical analysis, and the validity of SVAM was verified through an embedded real-time operating system software testing project.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2011年第10期1256-1259,共4页
Journal of Beijing University of Aeronautics and Astronautics
关键词
操作系统
临界区
竞争条件
软件测试
operating system
critical region
race condition
software testing