Framework for reporting information and test coverage of path-based partitioning
Date of Issue2007
School of Electrical and Electronic Engineering
Software Testing is the main technique to ensure the accuracy of software. Structural testing is code-based. It designs test cases from the code structure. Functional testing treats the code as a black-box. It is based on the external characteristics of a software system and designs test cases to test the conformance of the system against its requirements. The two methods complement each other to achieve the purpose of ensuring accuracy of software. Many structural and functional testing methods have been proposed. Current methods to relate structural and functional testing use almost all invariant properties. As a result, the design of test cases is still mostly done manually. The automated measurement of quality of test suites for testing system functionality and models is still not possible. Many input errors made cannot be detected automatically in common database systems. They are only discovered after the completion of the transactions. Hence, the provision of programs for correcting these post-effect errors is essential in any database applications.