/**
* Called when a null model is about to be retrieved in order to allow a subclass to provide an
* initial model.
* <p>
* By default this implementation looks components in the parent chain owning a
* {@link IComponentInheritedModel} to provide a model for this component via
* {@link IComponentInheritedModel#wrapOnInheritance(Component)}.
* <p>
* For example a {@link FormComponent} has the opportunity to instantiate a model on the fly
* using its {@code id} and the containing {@link Form}'s model, if the form holds a
* {@link CompoundPropertyModel}.
*
* @return The model
*/
protected IModel<?> initModel()
{
IModel<?> foundModel = null;
// Search parents for IComponentInheritedModel (i.e. CompoundPropertyModel)
for (Component current = getParent(); current != null; current = current.getParent())
{
// Get model
// Don't call the getModel() that could initialize many in between
// completely useless models.
// IModel model = current.getDefaultModel();
IModel<?> model = current.getModelImpl();
if (model instanceof IWrapModel && !(model instanceof IComponentInheritedModel))
{
model = ((IWrapModel<?>)model).getWrappedModel();
}
if (model instanceof IComponentInheritedModel)
{
// return the shared inherited
foundModel = ((IComponentInheritedModel<?>)model).wrapOnInheritance(this);
setFlag(FLAG_INHERITABLE_MODEL, true);
break;
}
}
// No model for this component!
return foundModel;
}
Welcome to the world of evidence! Evidence-based teaching is effective teaching, and we bring you the most effective methods. Read on to find out more.
The impasse in math and science instruction runs deeper than test scores or the latest educational theory. What can we learn from the best teachers on the front
U. Farooq, C. Lam, и H. Li. ACST'07: Proceedings of the third conference on IASTED International Conference, стр. 128--133. Anaheim, CA, USA, ACTA Press, (2007)
A. van Lamsweerde. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, стр. 147--159. New York, NY, USA, ACM, (2000)MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen..
J. Calame, N. Ioustinova, и J. van de Pol. Electronic Notes in Theoretical Computer Science, (октября 2007)MR: Stark formalisiertes und mathematisch ergründetes Werk.
Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt.
Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden!
Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant..
H. Klus, D. Niebuhr, и A. Rausch. ICEBE '07: Proceedings of the IEEE International Conference on e-Business Engineering, стр. 600-603. Hong Kong, China, IEEE Computer Society, (октября 2007)
H. Klus, D. Niebuhr, и A. Rausch. Proceedings of the International Workshop on Engineering of software services for pervasive environments (ESSPE 2007), стр. 21--28. Dubrovnik, Croatia, ACM, (сентября 2007)Electronic Proceedings.
A. Rajan, M. Whalen, и M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, стр. 161--170. New York, NY, USA, ACM, (2008)MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '..