Advanced Search
Volume 37 Issue 10
Oct.  2011
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2011  >  37(10): 1256-1259.
Zhang Mingjie, Lei Xun, Song Heng, et al. Critical region protection testing method for operating system shared date[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(10): 1256-1259. doi: CNKI:11-2625/V.20111020.1126.002(in Chinese)
Citation: Zhang Mingjie, Lei Xun, Song Heng, et al. Critical region protection testing method for operating system shared date[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(10): 1256-1259. doi: CNKI:11-2625/V.20111020.1126.002(in Chinese)
shu

Critical region protection testing method for operating system shared date

doi: CNKI:11-2625/V.20111020.1126.002

  • The Forth Complex System Laboratory, Beijing 100076, China

  • Received Date: 20 Jun 2010
  • Publish Date: 30 Oct 2011
    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.

     

    • FullText(HTML)
  • loading
    • References(1)
  • [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
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(2159) PDF downloads(3) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return