The GenT tool, developed in the context of QUEST project, generates JUnit tests and assotiated mock classes for testing implementations of abstract data types in Java with generics, based on algebraic specifications in ConGu. Implementations of the type parameters of the generic classes are synthetized automatically by the tool as mock classes. It relies on the Alloy model finding capabilites to find particular instances that exercise the axioms in the specification. See our publications or contact us for further information.



Deixe uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *