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.
Model-based testing has stirred up a significant amount of interest over the
past couple of years. For some development and testing teams it's certainly a
test method worth exploring but be aware that model-based testing may be a
great supplement to the automated testing you already do, but it's really an
adjunct and not a replacement for standard automated testing.
A properly constructed automated software quality assurance test aims to
discover all of the way... (more)