您好,欢迎访问三七文档
当前位置:首页 > 行业资料 > 酒店餐饮 > 嵌入式软件动态运行时错误的检测
116MSN&E-mail:polyspace_huior@hotmail.com1Run-TimeError501201Run-timeErrorsRun-timeErrorsWindows216MSN&E-mail:polyspace_huior@hotmail.com1.1Windows20001.2WindowsXP1.3UNIXANSIC316MSN&E-mail:polyspace_huior@hotmail.com(longtoshort,floattointeger)()/BerkeleyIBMWatsonIBM30%-40%222z416MSN&E-mail:polyspace_huior@hotmail.comBUGz1BUGBUG103PolySpacePolySpacePxyX=X/(X-Y)z1XYX–YXY0X/(X–Y)30z2XY0XY516MSN&E-mail:polyspace_huior@hotmail.com3.1z3XYXYXYXYXXYY0616MSN&E-mail:polyspace_huior@hotmail.com3.2XYXYz43XYX,Y(if-then-else,for,whileloops,switch)716MSN&E-mail:polyspace_huior@hotmail.com3.3441forOutofBoundspointerde-referencing816MSN&E-mail:polyspace_huior@hotmail.com42forOutofBoundsarrayaccess430foo00916MSN&E-mail:polyspace_huior@hotmail.com5PolySpace90%staticvoidRecursion(int*depth)97/*ifdepth0,recursionwillleadtodivisionbyzero*/98{floatadvance;99100*depth=*depth+1;101advance=1.0/(float)(*depth-6);/*potentialdivisionbyzero*/102……………..}*depth=10;100%*depth=50GlobalFlag*depth=10100%100%0staticvoidRecursion(int*depth)97/*ifdepth0,recursionwillleadtodivisionbyzero*/98{floatadvance;99100*depth=*depth+1;101advance=1.0/(float)(*depth-GlobalFlag);/*potentialdivisionbyzero*/103……………..}int*depth65536-32768+327671*depth=10100%1/6553601016MSN&E-mail:polyspace_huior@hotmail.comPolySpacePolySpacePolySpace100%PolySpacePolySpacePolySpace6PolySpacez1116MSN&E-mail:polyspace_huior@hotmail.com6.1PolySpacezPolySpace46.2PolySpacez1216MSN&E-mail:polyspace_huior@hotmail.com6.3PolySpace6.4PolySpace1316MSN&E-mail:polyspace_huior@hotmail.com6.5PolySpacez6.6PolySpace7PolySpacePolySpace1416MSN&E-mail:polyspace_huior@hotmail.com7.1PolySpace107.25501/=501516MSN&E-mail:polyspace_huior@hotmail.com7.3PolySpace8zPolySpacezzPolySpaceANSI30zPolySpace30zPolySpace91.:polyspace_huior@hotmail.com10LoadRunnerACTWASWebMSNhotmail
本文标题:嵌入式软件动态运行时错误的检测
链接地址:https://www.777doc.com/doc-3799958 .html