Research on a testing technology based on design-by-contract

Ruan Jian Xue Bao/Journal of Software

Volumn 15, Issue SUPPL., 2004, Pages 130-137

  Jiang, Ying ^a,b   Xin, Guo Mao ^a   Shan, Jin Hui ^a   Xie, Bing ^a  

^a PEKING UNIVERSITY   (China)

^b KUNMING UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Design by contract; Postcondition; Precondition; Software testing; Web services

Indexed keywords

OBJECT ORIENTED PROGRAMMING; WEB BROWSERS;

POSTCONDITION; PRECONDITION; SOFTWARE TESTING; UNIVERSAL DESCRIPTION DISCOVERY AND INTEGRATION; WEB SERVICES DESCRIPTION LANGUAGE;

COMPUTER SOFTWARE;

EID: 10644270978     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Austin D, Barbir A, Garg S. Web services architecture requirements. 2002. http://www.w3.org/TR/2002/WD-wsa-reqs-20020429.
2. Kreger H. IBM Web services conceptual architecture. 2001. http://www.ibm.com/webservices.
3. Yang FQ, Mei H, Lu J, Jin Z. Some discussion on the development of software technology. Acta Electronica Sinica, 2002, 30(12A):1901-1906 (in Chinese with English abstract).
4. Chai XL, Liang YQ. The Technology, Architecture and Application of Web Services. Beijing: Publishing House of Electronics Industry, 2003 (in Chinese).
5. Tsai WT, Paul R, Wang YM, Fan C, Wang D. Extending WSDL to facilitate web services testing. In: Proc. of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE 2002), 2002. 171-172.
6. Tsai WT, Paul R, Song WW, Cao ZB. Coyote: an XML-based framework for Web Services testing. In: Proc. of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE 2002), 2002. 173-174.
7. Bertrand M. Object-Oriented Software Construction. Prentice Hall, 1997.
8. Szyperski C. Components and Architecture. Software Development, 2000.
9. Mingins CA, Chan CY. Building trust in third-party components using component wrappers in the NET frameworks. In: The 40th Int'l Conf. on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002). 2002. 153-157.
10. Shin NAKAJIMA. On verifying web service flows. In: Proc. of the 2002 Symp. on Applications and the Internet Workshops (SAINT 2002). 2002. 223-224.
11. Shin NAKAJIMA. Verification of web service flows with model-checking techniques. In: Proc. of the 1st Int'l Symp. on Cyber Worlds (CW 2002). 2002. 378-385.