Specification-Based Testing
摘要
Testing is a necessary activity to evaluate the performance of a code and to detect errors and the related bugs included in the code. An error is an undesired behavior of the code and it is usually caused by a software defect or bug. A bug is a syntactical expression that will be likely, but not definitely, to cause errors during the runtime of the code if the code path containing the bug is traversed. Once an error is found by testing, the bug causing the error needs to be identified and removed. The operation for locating bugs and determining their nature is called debugging.