In the former archive,we said the first step of designning test spec is designning the framework of it.At that time,I think the framework is named the logic of our project.Now I saw another voice from a document.It said that test model is the abstract characteristic and relationship of testing and testing object.It is a testing frame can fit into one application.There are two common models:State model(状态机模型) and Combination model(组合模型).I think the latter one is an more abstract conception of test model/framework.And I believe we can consider that they have same meaning.
In my mind,State model can be said literally,it describe the process of one project,it illustrate that the interaction between the prior condition and the next circs.And the order of input also can influence the result.As these factor,we need state clearly that the connection between several things.Current circs and its precondition are both important.And we need simulate that all possible state.In short,the first and most thing of this model is the statement.Our almost energy should concentrate on state and the path of the process too.Draw a state graphic maybe more useful for our work.
For Combination model,it isn't depend on the order of input value.The result is affected by the connection of each input,like and,or,not.The main thing is the value of each variable and the logistic connction.For this model,we have caught a skill of it--orthogonal array testing strategy.I have writen two article of it,or you can refer to my link,there are some good ideas.And another testing skill is collection cover.It use combination produce spec which can cover presscriptive collection.It can be distinguished for one factor,pair collection and tri-collection and so on.
For now,I haven't a clearly knowledge of collection cover.Actually,I'm puzzled it with OATS.So,I'll stop here and study with it.Later I'll write an archive for extra.Thanks the author of this document and my friends.