Sciweavers

Share
APSEC
2004
IEEE

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing

10 years 5 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect implementations of designed domains. This paper describes our on-going work aiming to provide support for revealing domain errors using formal specifications. In our approach, formal specifications serve as a means for domain modeling. We describe a strong domain testing strategy that guide testers to select a set of test points so that the potential domain errors can be effectively detected, and apply our approach in two case studies for test cases generation.
Yuting Chen, Shaoying Liu
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where APSEC
Authors Yuting Chen, Shaoying Liu
Comments (0)
books