传递smv mod时发生xSAP错误

Question

我试图向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文件（如果是的话，如何将smv转换为xml文件？）或者如果有其他错误。你知道吗

非常感谢你的帮助！你知道吗

Answer 1

我不是一个关于XSAP的pythonapi的专家，但是在我看来，您的输入中缺少了一个XML文件。可能是缺少调用工具时必须指定的故障模式文件（xml格式）。

您应该看看第3.1章中的https://es-static.fbk.eu/tools/xsap/downloads/xsap-manual.pdf，在那里您可以找到我引用的和所缺少文件的规范。你知道吗