A Specification—Based Case Study from Test Class Framework
LIULing, MIAOHuai-kou · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2001
Testing is a standard method for verification of software performance.Producing efficinet and appropriate test case is an important aspect in testing.Specification-based testing presents a method to derive test data from software specification.Because of the precision and concision of specification.the test data derived from specification can test the software efficiently and entirely.This paper demonstrates a test class framework(TCF) on a file reading case study,specifiec using Z notation,This class framework defines test case sets,providing structure to the testing process.Flexbility is preserved so that many testing strategies can be used.