czt-users

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

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

-------------------------------------------------------------------------------
Test set: net.sourceforge.czt.z.jaxb.JaxbXmlWriterReaderTest
-------------------------------------------------------------------------------
Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0.868 sec <<< FAILURE!
testWritingReading(net.sourceforge.czt.z.jaxb.JaxbXmlWriterReaderTest)  Time elapsed: 0.864 sec  <<< ERROR!
net.sourceforge.czt.base.util.UnmarshalException: javax.xml.bind.UnmarshalException
 - with linked exception:
[org.xml.sax.SAXParseException: cvc-complex-type.2.4.d: Invalid content was found starting with element 'AndPred'. No child element '{"http://czt.sourceforge.net/zml":Pred}' is expected at this point.]
	at net.sourceforge.czt.base.jaxb.JaxbXmlReader.read(JaxbXmlReader.java:97)
	at net.sourceforge.czt.base.util.XmlWriterReaderTest.testWritingReading(XmlWriterReaderTest.java:71)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at junit.framework.TestCase.runTest(TestCase.java:168)
	at junit.framework.TestCase.runBare(TestCase.java:134)
	at junit.framework.TestResult$1.protect(TestResult.java:110)
	at junit.framework.TestResult.runProtected(TestResult.java:128)
	at junit.framework.TestResult.run(TestResult.java:113)
	at junit.framework.TestCase.run(TestCase.java:124)
	at junit.framework.TestSuite.runTest(TestSuite.java:232)
	at junit.framework.TestSuite.run(TestSuite.java:227)
	at junit.framework.TestSuite.runTest(TestSuite.java:232)
	at junit.framework.TestSuite.run(TestSuite.java:227)
	at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:79)
	at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:59)
	at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:115)
	at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:102)
	at org.apache.maven.surefire.Surefire.run(Surefire.java:180)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:350)
	at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1021)
Caused by: javax.xml.bind.UnmarshalException
 - with linked exception:
[org.xml.sax.SAXParseException: cvc-complex-type.2.4.d: Invalid content was found starting with element 'AndPred'. No child element '{"http://czt.sourceforge.net/zml":Pred}' is expected at this point.]
	at javax.xml.bind.helpers.AbstractUnmarshallerImpl.createUnmarshalException(AbstractUnmarshallerImpl.java:315)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.UnmarshallerImpl.createUnmarshalException(UnmarshallerImpl.java:503)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.UnmarshallerImpl.unmarshal0(UnmarshallerImpl.java:204)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.UnmarshallerImpl.unmarshal(UnmarshallerImpl.java:173)
	at javax.xml.bind.helpers.AbstractUnmarshallerImpl.unmarshal(AbstractUnmarshallerImpl.java:137)
	at javax.xml.bind.helpers.AbstractUnmarshallerImpl.unmarshal(AbstractUnmarshallerImpl.java:184)
	at net.sourceforge.czt.base.jaxb.JaxbXmlReader.read(JaxbXmlReader.java:94)
	... 26 more
Caused by: org.xml.sax.SAXParseException: cvc-complex-type.2.4.d: Invalid content was found starting with element 'AndPred'. No child element '{"http://czt.sourceforge.net/zml":Pred}' is expected at this point.
	at com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.createSAXParseException(ErrorHandlerWrapper.java:195)
	at com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.error(ErrorHandlerWrapper.java:131)
	at com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:384)
	at com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:318)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$XSIErrorReporter.reportError(XMLSchemaValidator.java:417)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.reportSchemaError(XMLSchemaValidator.java:3182)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.elementLocallyValidComplexType(XMLSchemaValidator.java:3169)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.elementLocallyValidType(XMLSchemaValidator.java:3105)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.processElementContent(XMLSchemaValidator.java:3007)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.handleEndElement(XMLSchemaValidator.java:2150)
	at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.endElement(XMLSchemaValidator.java:818)
	at com.sun.org.apache.xerces.internal.jaxp.validation.ValidatorHandlerImpl.endElement(ValidatorHandlerImpl.java:563)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.ValidatingUnmarshaller.endElement(ValidatingUnmarshaller.java:83)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.SAXConnector.endElement(SAXConnector.java:145)
	at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:601)
	at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1782)
	at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2938)
	at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:648)
	at com.sun.org.apache.xerces.internal.impl.XMLNSDocumentScannerImpl.next(XMLNSDocumentScannerImpl.java:140)
	at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:511)
	at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:808)
	at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:737)
	at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:119)
	at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1205)
	at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:522)
	at com.sun.xml.internal.bind.v2.runtime.unmarshaller.UnmarshallerImpl.unmarshal0(UnmarshallerImpl.java:200)
	... 30 more

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

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

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

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

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

Hi Wang,

I've installed the same versions on my linux machine (maven-3.0 and Java
1.6.0_22) and cannot reproduce your problems.  It looks to me as if you
are still using an old CZT version, which is strange since you claim to
have done an "svn update".  The failing JaxbXmlWriterReaderTest has been
fixed some weeks ago and in my recent commit I've disabled building the
maven-sitesource-plugin so the following

> [INFO] CZT Z/Eves jEdit Plugin ........................... SUCCESS [1.402s]
> [INFO] CZT Site-Source Maven Plugin ...................... FAILURE [2.397s]

shouldn't happen because mvn shouldn't even attempt to build the CZT
Site-Source Maven Plugin.

Please check whether you really try to build CZT with an up-to-date
version.  Maybe you've updated one directory but for building you are
using another?  Check the toplevel pom.xml file; it shouldn't contain a
line <module>maven-sitesource-plugin</module>.

Cheers,
Petra

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

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

Dear Anthony,

You wrote:
> 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!)

Yeah, the documentation is rather spread out and unstructured.  The CZT
web-site can be automatically generated from various sources but hasn't
been updated for years now (and the knowledge how to update it got lost
I guess).  I wonder whether it is worth setting up a wiki since it's
easier to keep a wiki up-to-date ... we had a wiki some time ago which
contained some useful information but it got deleted by accident.

> 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.

Using "mvn javadoc:javadoc" worked for me and created API documentation
in directories target/site/apidocs/

Cheers,
Petra

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

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

Thanks Petra

>Using "mvn javadoc:javadoc" worked for me and created API documentation
>in directories target/site/apidocs/

Yes, it did do that - more or less. However, it doesn't seem quite right
because the links there are to (eg)
C:\Users\anthony\Documents\fm\z\czt\czt\target\site\session\apidocs\index.ht
ml
which doesn't exist : the actual docs seem to get built in (eg)
C:\Users\anthony\Documents\fm\z\czt\czt\session\target\site\apidocs\index.ht
ml

It's OK, I can obviously look at the individual items, but I guess something
must be set up slightly wrong?

Thank you

Anthony

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

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

Thanks Petra

When I run the command "svn update ",
It responds after a few seconds and gets the result message :  version 7276.
But it seems that no files have been downloaded.
And in the toplevel pom.xml file, the
<module>maven-sitesource-plugin</module> exists.

I remembered that in the Forums of the CZT at sourceforge you have mentioned
a svn update 
command to get the latest version of the tool, but I can't find the Forums
now.. Could you please tell me that command again ?

Thank you.

wang

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

Hi Wang,

I've installed the same versions on my linux machine (maven-3.0 and Java
1.6.0_22) and cannot reproduce your problems.  It looks to me as if you
are still using an old CZT version, which is strange since you claim to
have done an "svn update".  The failing JaxbXmlWriterReaderTest has been
fixed some weeks ago and in my recent commit I've disabled building the
maven-sitesource-plugin so the following

> [INFO] CZT Z/Eves jEdit Plugin ........................... SUCCESS
[1.402s]
> [INFO] CZT Site-Source Maven Plugin ...................... FAILURE
[2.397s]

shouldn't happen because mvn shouldn't even attempt to build the CZT
Site-Source Maven Plugin.

Please check whether you really try to build CZT with an up-to-date
version.  Maybe you've updated one directory but for building you are
using another?  Check the toplevel pom.xml file; it shouldn't contain a
line <module>maven-sitesource-plugin</module>.

Cheers,
Petra

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

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

Hi Weiguang Wang,

You wrote:
> When I run the command "svn update ",
> It responds after a few seconds and gets the result message :  version 7276.
> But it seems that no files have been downloaded.
> And in the toplevel pom.xml file, the
> <module>maven-sitesource-plugin</module> exists.

I am afraid I don't know what is causing your problems and how to fix
it.  Revision 7276 is the latest so that looks right to me.  But I've
deleted the module line you mentioned above so you don't seem to be
looking at the latest revision.  Try "svn -v status pom.xml"
If I do that I see "7276     7275 petramalik   pom.xml" which means
revision 7275 was the last change to pom.xml.  And if I do "svn log
pom.xml" and can see what that change that was.
Maybe just do a completely fresh checkout and start anew?

> I remembered that in the Forums of the CZT at sourceforge you have mentioned
> a svn update 
> command to get the latest version of the tool, but I can't find the Forums
> now.. Could you please tell me that command again ?

I don't know what command you are referring to.  svn update should give
you the latest version.

The forums are here:
http://sourceforge.net/projects/czt/forums
if you want to have another look yourself.

Let us know what the problem was if you figure it out.

Cheers,
Petra