传递smv模型的xSAP错误

时间:2017-10-24 20:41:09

标签: python nusmv

我试图将xSAP(版本1.2.0)传递给smv模型,但是我收到了这个错误

panda@jakul:~/Desktop$ python /home/panda/Desktop/xSAP/scripts/extend_model.py -v /home/panda/Desktop/brca.smv /home/panda/Desktop/brca.fei 
Traceback (most recent call last):
File "/home/panda/Desktop/xSAP/scripts/extend_model.py", line 211, in <module> if not args.xml_fei   
File "/home/panda/Desktop/xSAP/scripts/extend_model.py", line 41, in translate_fei_to_xml fei_txt_fname, out_fei_xml, path) 
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/translate/fei_translator.py", line 46, in convert_fei_text_to_xml_format   
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/translate/fei_translator.py", line 793, in get_library_manager   
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/libraries/manager.py", line 80, in __init__   
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/libraries/manager.py", line 120, in __loadEml   
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/utils/utils.py", line 30, in LoadXML 
File "src/lxml/lxml.objectify.pyx", line 1838, in lxml.objectify.parse (src/lxml/lxml.objectify.c:25528)   
File "src/lxml/lxml.etree.pyx", line 3427, in lxml.etree.parse (src/lxml/lxml.etree.c:79841)   
File "src/lxml/parser.pxi", line 1793, n lxml.etree._parseDocument (src/lxml/lxml.etree.c:116175)  
File "src/lxml/parser.pxi", line 1819, in xml.etree._parseDocumentFromURL (src/lxml/lxml.etree.c:116525)   
File "src/lxml/parser.pxi", line 1723, in lxml.etree._parseDocFromFile (src/lxml/lxml.etree.c:115413)  
File "src/lxml/parser.pxi", line 1126, in xml.etree._BaseParser._parseDocFromFile (src/lxml/lxml.etree.c:110110)   
File "src/lxml/parser.pxi", line 584, in lxml.etree._ParserContext._handleParseResultDoc (src/lxml/lxml.etree.c:103584) 
File "src/lxml/parser.pxi", line 694, in lxml.etree._handleParseResult (src/lxml/lxml.etree.c:105238)   
File "src/lxml/parser.pxi", line 624, in lxml.etree._raiseParseError (src/lxml/lxml.etree.c:104147)
lxml.etree.XMLSyntaxError: Element 'effects_model', attribute 'name': '' is not a valid value of the atomic type 'xs:NCName'.

该模型适用于NuSMV(版本2.6.0)。我不明白是否必须向xSAP传递xml文件(如果是这样,我如何在xml文件中翻译smv?)或者是否存在其他错误。

非常感谢您的帮助!

1 个答案:

答案 0 :(得分:0)

我不是XSAP的Python API专家,但在我看来,你在输入中缺少一个XML文件。可能是您缺少&#34;故障模式文件(xml格式),在调用工具时必须指定该文件。&#34;

您应该在第3.1章查看https://es-static.fbk.eu/tools/xsap/downloads/xsap-manual.pdf,在那里您可以找到我引用您所缺失文件的规范的参数。