A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD
2015
ICTACT Journal on Soft Computing
The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product. Specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a software system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. As a novel approach, the proposed work presents a methodology to
doi:10.21917/ijsc.2015.0152
fatcat:obgfdjzidzabnpnhpemmzec34e