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

[Weiguang W. <bi...@gm...>]

Hi Dear Petra:

Thank you very much for your replay.

My environment is: maven-3.0 , Java 1.6.0_22 and Win7 professional 32bit.  

I ran the command "svn update" , get the version 7276.
Run "mvn clean" and get the BUILD SECCESS message.
Then run "mvn install" , error occurred :

Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Results :
Tests in error:
  testWritingReading(net.sourceforge.czt.z.jaxb.JaxbXmlWriterReaderTest)
Tests run: 21, Failures: 0, Errors: 1, Skipped: 0
[INFO]
------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] CZT Corejava ...................................... FAILURE
[3:28.212s]
 [INFO]
------------------------------------------------------------------------
[INFO] BUILD FAILURE
[ERROR] Failed to execute goal
org.apache.maven.plugins:maven-surefire-plugin:2.
5:test (default-test) on project corejava: There are test failures.
[ERROR]
[ERROR] Please refer to E:\CZT\cztcode\corejava\target\surefire-reports for
the
individual test results.

The report of the error message in
E:\CZT\cztcode\corejava\target\surefire-report is attached.
Please check the .txt attachment.

And then I try to skip the test procedure by adding the flag "-DskipTests".
The error is :

[INFO] CZT Z/Eves jEdit Plugin ........................... SUCCESS [1.402s]
[INFO] CZT Site-Source Maven Plugin ...................... FAILURE [2.397s]
[ERROR] Failed to execute goal
org.apache.maven.plugins:maven-plugin-plugin:2.6:
descriptor (default-descriptor) on project maven-sitesource-plugin:
Execution de
fault-descriptor of goal
org.apache.maven.plugins:maven-plugin-plugin:2.6:descri
ptor failed: An API incompatibility was encountered while executing
org.apache.m
aven.plugins:maven-plugin-plugin:2.6:descriptor:
java.lang.NoSuchMethodError: or
g.apache.maven.tools.plugin.scanner.MojoScanner.setActiveExtractors(Ljava/ut
il/S
et;)V
[ERROR] -----------------------------------------------------
[ERROR] realm =
plugin>org.apache.maven.plugins:maven-plugin-plugin:2.6-46045
6650
[ERROR] strategy =
org.codehaus.plexus.classworlds.strategy.SelfFirstStrategy
[ERROR] urls[0] =
file:/C:/Users/WGWang/.m2/repository/org/apache/maven/plugins/
maven-plugin-plugin/2.6/maven-plugin-plugin-2.6.jar
[ERROR] urls[1] =
file:/C:/Users/WGWang/.m2/repository/org/apache/maven/maven-pl
ugin-tools-ant/2.0.1/maven-plugin-tools-ant-2.0.1.jar
[ERROR] urls[2] =
file:/C:/Users/WGWang/.m2/repository/org/apache/maven/maven-pl
ugin-tools-api/2.0.1/maven-plugin-tools-api-2.0.1.jar
[ERROR] urls[3] =
file:/C:/Users/WGWang/.m2/repository/org/apache/maven/maven-pl
ugin-tools-model/2.0.1/maven-plugin-tools-model-2.0.1.jar

etc.

Hope this can explain the problem I met.
Thanks for any insight you can provide!

Wang

-----Original Message-----
From: Petra Malik [mailto:Pet...@ec...] 
Sent: Wednesday, November 03, 2010 12:01 AM
To: Weiguang Wang
Subject: Re: 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.
> 
> Can anyone kindly offer some details or materials on how to gain that ?

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