Critical region protection testing method for operating system shared date
-
摘要: 研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.Abstract: 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.
-
Key words:
- operating system /
- critical region /
- race condition /
- software testing
-
[1] Tanenbaum A S.Modern operating systems[M].3rd ed.London:Pearson Education Press,2009 [2] 卢锡城,李根,卢凯,等.面向高可信软件的整数溢出错误的自动化测试[J].软件学报,2010,21(2):179-193 Lu Xicheng,Li Gen,Lu Kai,et al.High-trusted-software-oriented automatic testing for integer overflow bugs[J].Journal of Software,2010,21(2):179-193(in Chinese) [3] 肖庆,公云战,杨朝红,等.一种路径敏感的静态缺陷检测方法[J].软件学报,2010,21(2):209-217 Xiao Qing,Gong Yunzhan,Yang Chaohong,et al.Path sensitive static defect detecting method[J].Journal of Software,2010,21(2):209-217(in Chinese) [4] 张威,公云战,卢庆龄,等.基于指针映射集的动态内存故障测试方法研[J].计算机学报,2009,32(11):2274-2281 Zhang Wei,Gong Yunzhan,Lu Qingling,et al.Research on dynamic memory faults testing method based on pointer mappin sets[J].Chinese Journal on Computers,2009,32(11):2274-2281(in Chinese) [5] 程亮,张阳,冯登国.一种基于安全状态转移的简并测试集生成方法[J].软件学报,2010,21(3):539-547 Cheng Liang,Zhang Yang,Feng Dengguo.Approach of degenerate test set generation based on secure state transition[J].Journal of Software,2010,21(3):539-547(in Chinese) [6] SGI.Linux test project.California:Sourceforge,2010.http://ltp.sourceforge.net/ [7] Intel.IA-32 Intel architecture software developer-s manual:basic architecture[M].California: Intel Press,2008:3-13 [8] Kevin Lawton.The cross platform IA-32 emulator.California:Sourceforge,2010.http://sourceforge.net/bochs -
点击查看大图
计量
- 文章访问数: 2155
- HTML全文浏览量: 9
- PDF下载量: 3
- 被引次数: 0
下载:
