基于模型的FADEC软件结构覆盖率分析.pdf

《基于模型的FADEC软件结构覆盖率分析.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、í４７îí２ï?ðXRÊñＶｏｌ．４７Ｎｏ．２２０１７Ó３òＡｅｒｏｎａｕｔｉｃａｌＣｏｍｐｕｔｉｎｇＴｅｃｈｎｉｑｕｅＭａｒ．２０１７SÎ+-ＦＡＤＥＣ1´f>?@7m:5，ùø（JK%TUV(W/0P，XYZ[２１４０６３）01：ijÜݧKÉ`àIN/CÞßSrà，9á¹Oa`⻩ÿC9。àIRCOå¹Î[a，RÜݧ"ãÈ×C"äÜݧ，p4RåæDEjÅq/4Á`uómWXRÜݧ/aC¨Mç，èÝÈéíÜÝ（ＤＣ）、ÜÝ（ＣＣ）、_Z／éíÜÝ（ＭＣ／ＤＣ）+º¥Wó。yé¹6ＦＡＤＥＣOå¹Î[a

2、CeÀê!Á2Á，i[ＳｉｍｕｌｉｎｋＤｅｓｉｇｎＶｅｒｉｆｉｅｒKÉ0)Ü!，å0qÅqC4ÁHRCÜݧ，WXC48。234：ＤＯ－１７８Ｃ；ÜݧKÉ；ＭＣ／ＤＣ；ＳｉｍｕｌｉｎｋＤｅｓｉｇｎＶｅｒｉｆｉｅｒÜ!；ＦＡＤＥＣO56789：Ｖ２３３:;<=>：Ａ:?@9：１６７１?６５４Ｘ（２０１７）０２?００９３?０４ＡｎａｌｙｓｉｓｏｎＭｏｄｅｌ?ｂａｓｅｄＳｔｒｕｃｔｕｒａｌＣｏｖｅｒａｇｅｆｏｒＦＡＤＥＣＳｏｆｔｗａｒｅＺＨＡＯＦｅｉ，ＺＨＡＮＧＪｉｅ（ＡｅｒｏＥｎｇｉｎｅＣｏｎｔｒｏｌＳｙｓｔｅｍＩｎ

3、ｓｔｉｔｕｔｅ，ＡＥＣＣ，Ｗｕｘｉ２１４０６３，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｔｈｅｐｕｒｐｏｓｅｏｆｔｈｅｓｔｒｕｃｔｕｒａｌｃｏｖｅｒａｇｅａｎａｌｙｓｉｓｉｓｔｏｃｏｍｐｌｅｍｅｎｔｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓ?ｂａｓｅｄｔｅｓｔｉｎｇ．Ｉｔｃａｎｆｉｎｄｕｎｉｎｔｅｎｄｅｄｆｕｎｃｔｉｏｎｓ．Ｄｕｒｉｎｇｔｈｅｓｏｆｔｗａｒｅｄｅｖｅｌｏｐｍｅｎｔｂａｓｅｄｍｏｄｅｌ，ｓｏｍｅｓｃｈｏｌａｒｓｐｒｏｐｏｓｅｄｔｈｅｉｄｅａｔｈａｔｕｓｉｎｇｍｏｄｅｌｃｏｖｅｒａｇｅｉｎｓｔｅａｄｏｆｃｏｄｅｃｏｖｅｒ

4、ａｇｅ．Ｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｍｏｄｅｌｃｈｅｃｋｉｎｇｔｅｃｈｎｉｑｕｅｓｔｏａｕｔｏｍａｔｉｃｇｅｎｅｒａｔｅｔｅｓｔｃａｓｅｉｓｔｈｅｍａｊｏｒａｐｐｒｏａｃｈｏｆｕｓｉｎｇｆｏｒｍａｌｍｅｔｈｏｄｉｎｍｏｄｅｌ?ｂａｓｅｄｓｔｒｕｃｔｕｒａｌｃｏｖｅｒａｇｅｔｅｓｔ，ｉｎｃｌｕｄｉｎｇｄｅｃｉｓｉｏｎｃｏｖｅｒａｇｅ，ｃｏｎｄｉｔｉｏｎｃｏｖｅｒａｇｅａｎｄＭＣ／ＤＣｃｏｖｅｒａｇｅ．Ｔｈｉｓｐａｐｅｒｔａｋｅｓａｎａｃｔｕａｌｃａｓｅｗｈｉｃｈｗａｓｆｒｏｍｔｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆｔｈ

5、ｅＦＡＤＥＣｓｏｆｔｗａｒｅｆｏｒａｎａｒｅｏ?ｅｎｇｉｎｅａｓｅｘａｍｐｌｅ．ＡｎｄｔａｋｅｄｔｈｅｕｓｅｏｆＳｉｍｕｌｉｎｋＤｅｓｉｇｎＶｅｒｉｆｉｅｒｔｏｏｌ，ｔｈｅｃｏｖｅｒａｇｅｒａｔｅｏｆｔｈｅｔｅｓｔｃａｓｅｔｏｔｈｅｍｏｄｅｌｈａｓｂｅｅｎｖｅｒｉｆｉｅｄ，ｔｈｅｒｅｓｕｌｔｄｅｍｏｎｓｔｒａｔｅｄｔｈａｔｔｈｅｍｅｔｈｏｄｉｓｐｒａｃｔｉｃａｌ．Ｋｅｙｗｏｒｄｓ：ＤＯ－１７８Ｃ；ｃｏｖｅｒａｇｅａｎａｌｙｓｉｓ；ＭＣ／ＤＣ；ｓｉｍｕｌｉｎｋｄｅｓｉｇｎｖｅｒｉｆｉｅｒ；ＦＡＤＥＣｓｏｆｔｗａｒｅ

6、AB-ÄHU3［１］HÁＡ－７~。UfＳｉｍｕｌｉｎｋＤｅｓｉｇｎ［２］Ｖｅｒｉｆｉｅｒ@eFGCè&Aaý，½?ðÏ-Î=YE

7、ôÊñC#<ÏÐ，?ða>mͳ"ＦＡＤＥＣè~4âC7I}F¸§ÁyèijKérý²MjèC*9.(ùl?@eiË，J.ÈÉUs$FGFG«ICºb。x，CÀÛCèYÏ)b:ýH=%ı（uU@5ós$'ù«I，°)m7Î.，(º¡aÚbij、[}W、`;，n%=&A'³１f>?@7m.£G"êýÖlbT/Yг）¥AkFG［３］èn%FG«I2L'ùCFG«CYÏcd（ＭＢＤ）£À。

8、I=gFG«I。8YÐ'ùCn%/%［１］《ＤＯ－１７８Ｃ"Æj=ì&ãACè》9l@¬v$/Cb§，'ùo¤¨CÀÛÚ[:i0?ðB3YÊñBh（ＲＴＣＡ）9ÖC/H¾]-~8.&A，s$gFG«I"ÆèC"?k，pei0GC?ðs¤³[y¾CwKr。（ＦＡＡ）s$"ÆèqâDzCk，¨*9ø，ÀÛgFGn%~ë(óÁLFGÒKéèYÏ?¥AÏEªCV¯。ＤＯ－１７８Ｃ（ＳＣ）、yzFG（ＤＣ）、FG（ＣＣ）、／yzF[]ÍÙCU，+~ÑFG¨C]G（Ｃ／ＤＣ）、ÄÙ／yzFG（ＭＣ／ＤＣ）³©]cM，C

9、DEF：２０１６－１０－２５GHEF：２０１６－１２－１５SÝÞß：0/a³Êñ'/è®DØ（ＪＳＺＬ２０１５６０１Ｃ００８）IJKL：M#（１９８６－），½，NOPQå，abÁ，æç，ë(èécÙe?ðÏ-"mÍèèé。·９４·?ðXRÊñí４７îí２ï+«kB：ÈÉfＳｉｍｕｌｉｎｋＤｅｓｉｇｎＶｅｒｉｆｉｅｒs$FG&ACº［４］１）ÁLFG（ＳＣ）：