Re: [CZT-Users] Install Error of CZT and the help to derive the AST

[Petra M. <Pet...@ec...>]

Hi Weiguang,

You wrote:
>> 1)  I want to extract the AST structure from my Z specification using
>> CZT, and then do some test generation work on the AST.

You might want to have a look at Fastest, a test generation tool built
on top of CZT.
http://en.wikipedia.org/wiki/Fastest

It is described in an ICFEM'09 paper by Maximiliano Cristiá and Pablo
Rodríguez Monetti titled "Implementing and Applying the
Stocks-Carrington Framework for Model-Based Testing".

The CZT papers "CZT: A framework for Z tools" and "CZT support for Z
extensions" should give you a basic idea how to extend CZT.  Also, the
API documentation for the AST in particular should be helpful.
http://czt.sourceforge.net/corejava/apidocs/index.html
is a (probably somewhat out-of-date) on-line version but you can use
maven to generate an up-to-date version.

This mailing list is the right place to ask any specific questions
you've got.

>> 2)  I have checked out the CZT trunk (revision 7273) and tried to
install it.
>>
>> After passing the “mvn clean” command, I'm getting a failure when run
the “mvn install” command:
Could you please do an "svn update" and try again?
Let us know if there are still problems (including the exact error
message and version numbers for Java and maven).

Hope this helps,
Petra