Sciweavers

Share
ICST
2008
IEEE

Testing Java Components based on Algebraic Specifications

10 years 10 months ago
Testing Java Components based on Algebraic Specifications
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called CASCAT for testing Java Enterprise Beans is developed. It has the advantages of high degree of automation, which include test case generation, test harness construction and test result checking. It achieves scalability by allowing incremental integration. It also allows testing to focus on a subset of used functions and key properties, thus suitable for component testing. The paper also reports an experimental evaluation of the method and the tool.
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICST
Authors Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
Comments (0)
books