Model Testing of Basic Requirement within a Modelling Lifecycle

Formal languages are being developed to describe designs of declarative models change over time. Central to the use of these lifecycle languages is the idea that properties associated with each stage can be propagated, managed and analyzed across lifecycle. How can relevant properties be described and connected to models? How can this information be used to advantage in common modeling tasks such as testing?

Assuming a lifecycle modelling approach, I will describe the following issues in the talk:

1. The theory of basic requirement testing
2. The framework of model testing within a lifecycle
3. A formal description to represent our model testing
4. An example to demonstrate our experiment of a model testing