我试图将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?)或者是否存在其他错误。
非常感谢您的帮助!
答案 0 :(得分:0)
我不是XSAP的Python API专家,但在我看来,你在输入中缺少一个XML文件。可能是您缺少&#34;故障模式文件(xml格式),在调用工具时必须指定该文件。&#34;
您应该在第3.1章查看https://es-static.fbk.eu/tools/xsap/downloads/xsap-manual.pdf,在那里您可以找到我引用和您所缺失文件的规范的参数。