الفهرس | Only 14 pages are availabe for public view |
Abstract In this research, we use the formal methods for the enhancement of the Model Driven Architecture (MDA) in order to support the critical correctness requirements of systems. We focus on verifying and validating of Platform Independent Model (PIM) before transforming (using the transformation model) it to one or more Platform Specific Models (PSMs) using UML design models to check inconsistencies. There are many methods that are being used to describe System under Test (SUT) behavior. from these methods UML state diagrams, grammars, tables (e.g., decision tables), control flow graphs, and others. In this thesis, we use the mathematical model to describe SUT behavior and test. That mathematical model is advantaged from other that it used to analyze the specification and develop effective tests. In addition, the mathematical model makes the model easy to measure the effective and the coverage of tests |