[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2000, Vol. 26 Issue (6) :731-734    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
��ѩ��, ½����, ����*
�������պ����ѧ ����ϵͳ����ϵ
Input Variable Description Method for Real-Time Software Test Case Auto-Generation
CHEN Xue-song, LU Min-yan, RUAN Lian*
Beijing University of Aeronautics and Astronautics, Dept. of System Engineering of Engineering Technology

Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ Ϊ�˽���Զ�����ʵʱ����ɿ��Բ���������������������������ռ������,�����Լ���ܵĸ���,�������������ʵʱ���Ժ�ȡֵ���Խ����˷���,̽��������������������������ȡֵ���Ե�һ���������ȡֵͳ�ƹ��ɵķ���,�������������������ģ��,������һ��ʵ��,չʾ������������ķ���.
Email Alert
�ؼ����� ���   �ɿ���   ʵʱϵͳ   �������   ������������     
Abstract�� In order to solve the problem of describing the input space for generating software reliability test cases automatically, the concept of promissory functions is presented. The input variables are classified according to their real time and valuing characteristics. The description of the valuing property for those input variables with random valuing characteristic are studied based on stochastic process theory. A model for describing the input variables is established. An example is given to illustrate the method of analyzing the input variables discussed above.
Keywords�� software   reliability   real-time systems   software testing   test case generation     
Received 2000-04-03;
About author: ��ѩ��(1971-),��,������,��ʿ��,100083,����.
��ѩ��, ½����, ����.����RT������������Զ����ɵ������������[J]  �������պ����ѧѧ��, 2000,V26(6): 731-734
CHEN Xue-song, LU Min-yan, RUAN Lian.Input Variable Description Method for Real-Time Software Test Case Auto-Generation[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2000,V26(6): 731-734
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2000/V26/I6/731
Copyright 2010 by �������պ����ѧѧ��