[an error occurred while processing this directive]
   
 
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2008, Vol. 34 Issue (03) :327-330    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
����OWL-S�IJ�����������
������,����,��Ө*
�������պ����ѧ �����ѧԺ, ���� 100083
OWL-S based test case generation
Zhang Xiaoyan, Huang Ning, Yu Ying*
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

ժҪ
�����
�������
Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ �����һ�ֻ���OWL-S(OWL Web Ontology Language for Services)����ģ�͵IJ��������Զ����ɷ���,��Ա���ϵͳ�������Բ�����������,�����Web����ϵͳ�������Ե��Զ����̶Ⱥ�Ч��.��������������ͨ��3���������:�ٶ��������Խ��з���,��ȡ������������صľ����¼����ļ���;�ڶ�OWL-S������Ӧ�����̽�������,Ѱ������������������صIJ���·��;�۶Բ���·�������ԭ�ӹ��̵�IOPE(Inputs,Outputs,Preconditions and Effects)���Լ�·���������з���,������Ӧ�IJ�������.�Խ�����ҵATM(Automated Teller Machine)ʾ��ϵͳΪ���Ա�������������֤,���������������Ҫ�������������������صIJ�������,���������и������������Թ�ʽ,����Ч�ļ�������ϵͳ�д��ڵĴ���.
Service
�ѱ����Ƽ�������
�����ҵ����
�������ù�����
Email Alert
RSS
�����������
������
����
��Ө
�ؼ����� ������������   Web����     
Abstract�� To improve the automatization and the efficiency of the Web Service interactive test process, an automated test case generation approach was proposed, based on OWL-S (OWL web ontology language for services) requirement model. Test cases were generated for the requirement properties wanted to be verified, and they were generated in three steps: the requirement property formulae were analyzed to obtain the concrete event collections related to the requirement properties; using the concrete event collections, application flow was searched to find all test paths related to the requirement properties; finally, the IOPE (inputs, outputs, preconditions, effects) properties and conditions of the test paths were analyzed to generate the test cases corresponding to test paths. The approach was experimented on an ATM(automated teller machine) prototype system. The results show that tests cases related with requirement properties are generated as designed, the test cases cover all the given requirement properties, and the system faults are detected effectively.
Keywords�� test case generation   Web Service     
Received 2007-06-29;
Fund:

����"ʮһ��"����Ԥ����Ŀ

About author: ������(1982��),Ů,�ӱ��ٳ���,˶ʿ��,zhangxymail@126.com.
���ñ���:   
������,����,��Ө.����OWL-S�IJ�����������[J]  �������պ����ѧѧ��, 2008,V34(03): 327-330
Zhang Xiaoyan, Huang Ning, Yu Ying.OWL-S based test case generation[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2008,V34(03): 327-330
���ӱ���:  
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2008/V34/I03/327
Copyright 2010 by �������պ����ѧѧ��