@inproceedings{aadb2b6f83c9416dba5894dc8a3c8724,
title = "Web services testing based on stream X-machine",
abstract = "In order to verify the behavior of Semantic Web services, this paper have chosen Stream X-machine(SXM) as a test model to test the Web services operation sequence and proposed the systematic method to utilize semantic information (pre-conditions of the operation and effect) to construct SXM. This paper explains the construction algorithm by the example of multimedia international conference and conducts a theoretical analysis of the method of construction to prove the effectiveness of the method. It also discusses the automation, on the basis of which automated support tools have been developed. Web registration centers and users can apply SXM constructed in this paper to generating test cases for the operation sequence of Web services to verify equivalence between Semantic Web services specifications and the functional behavior of their implementation.",
keywords = "Automatic generation of test cases, Operating sequence, Semantic Web servicess, Stream X-machine",
author = "Chunyan Ma and Wu, {Jun Sheng} and Tao Zhang and Fei Hu",
year = "2010",
doi = "10.1109/QSIC.2010.30",
language = "英语",
isbn = "9780769541310",
series = "Proceedings - International Conference on Quality Software",
pages = "232--239",
booktitle = "Proceedings - 10th International Conference on Quality Software, QSIC 2010",
note = "10th International Conference on Quality Software, QSIC 2010 ; Conference date: 14-07-2010 Through 15-07-2010",
}