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

[Anthony H. <an...@an...>]

Dear Petra

The CZT papers you refer to below look really useful. I didn't find these
when searching the CZT website: I think if you pointed at them from there it
would be really helpful to new users. (If they are on the site and I missed
them, then apologies, but I did look!)

Also, could you please explain how to use maven to generate an up-to-date
version of the documentation? I tried "mvn site" and it did create a site,
but all the Javadocs links pointed to non-existent files. 

Thanks for your help

Anthony

-----Original Message-----
From: Petra Malik [mailto:Pet...@ec...] 
Sent: 03 November 2010 04:03
To: czt...@li...
Subject: Re: [CZT-Users] Install Error of CZT and the help to derive the AST

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

----------------------------------------------------------------------------
--
Achieve Improved Network Security with IP and DNS Reputation.
Defend against bad network traffic, including botnets, malware, 
phishing sites, and compromised hosts - saving your company time, 
money, and embarrassment.   Learn More! 
http://p.sf.net/sfu/hpdev2dev-nov
_______________________________________________
CZT-Users mailing list
CZT...@li...
https://lists.sourceforge.net/lists/listinfo/czt-users