[an error occurred while processing this directive]
   
 
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2011, Vol. 37 Issue (10) :1256-1259    DOI: CNKI:11-2625/V.20111020.1126.002
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
����ϵͳ���������ٽ籣����ȷ�Բ��Է���
������, ��Ѹ, �κ�, ��ǿ*
����ϵͳ����ʵ����, ���� 100076
Critical region protection testing method for operating system shared date
Zhang Mingjie, Lei Xun, Song Heng, Li Qiang*
The Forth Complex System Laboratory, Beijing 100076, China

ժҪ
�����
�������
Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ �о��˹��������ٽ籣����ȷ�Բ���,���һ�ֻ��ڹ������ݵ�ַ��ص��ٽ籣����ȷ�Բ��Է���(SVAM,Shared Variable Address Monitor).SVAM��ʵʱ��ַ���ģ��͹��������ַ�б����.��ϵͳ����ʱ,SVAM�ڵ�ַ������ʵʱ��⹲�������д����,��ϵͳ�ڸ��¹������ֵʱû�йر��ж�˵���Ըñ����IJ����ƻ����ٽ籣��,�������з���.���۷���֤����SVAM����ȷ��,��������֤���˸÷�������Ч��.
Service
�ѱ����Ƽ�������
�����ҵ����
�������ù�����
Email Alert
RSS
�����������
�ؼ����� ����ϵͳ   �ٽ���   ��������   �������     
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.
Keywords�� operating system   critical region   race condition   software testing     
Received 2010-06-20;
About author: ������(1974-),��,�����,�߼�����ʦ,skyws@163.com.
���ñ���:   
������, ��Ѹ, �κ�, ��ǿ.����ϵͳ���������ٽ籣����ȷ�Բ��Է���[J]  �������պ����ѧѧ��, 2011,V37(10): 1256-1259
Zhang Mingjie, Lei Xun, Song Heng, Li Qiang.Critical region protection testing method for operating system shared date[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2011,V37(10): 1256-1259
���ӱ���:  
http://bhxb.buaa.edu.cn//CN/CNKI:11-2625/V.20111020.1126.002     ��     http://bhxb.buaa.edu.cn//CN/Y2011/V37/I10/1256
Copyright 2010 by �������պ����ѧѧ��