![]() ![]() Such a model formalism would be used as follows: (i) By observing the network traffic, a model of the long-term system behavior could be generated automatically, (ii) Test vectors can be generated from the model, (iii) While the system is running, the model could be used to diagnose non-normal system behavior. To derive a model automatically, some a-priori knowledge about the model structure–i.e. Automatically deriving models by observing and analyzing run-ning systems is one possible way to amend this bottleneck. But one bottleneck often prevents the introduction of these ideas: Manual modeling is a non-trivial, time-consuming task. Model-based approaches have been applied successfully to a wide range of tasks such as specification, simulation, testing, and diagnosis. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |