Model-Based Testing for Java Applications

摘要

Software testing - whether it's automated, manual, or model-based - is a systemic method of discovering variances between how a program was expected to perform and how it actually behaves in use. Every application should be tested to ensure it is both usable and functional - that it doesn't contain bugs or flaws.