路径测试中基本路径集的自动生成

第３３卷　第２２期　计算机工程　２００７年ｌ１月　ＶｏＬ３３　Ｎｏ．２２　Ｃｏｍｐｕｔｅｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　Ｎｏｖｅｍｂｅｒ　２００７　・人工智能及识别技术・　文章编号：１０００－－－３４２８（２００７）２２－－－０１９５－－－０３　文献标识码：Ａ　中圈分类号：ＴＰ１８　路径测试中基本路径集的自动生成　张广梅　，李晓维２韩丛英　（１．山东农业大学信息科学与工程学院，泰安２７１０００；２．中国科学院计算技术研究所先进测试技术实验室，北京１０００８０；　３．山东科技大学，青岛２６６５１０）　摘要：路径测试是一种重要的白盒测试技术，具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支，该文测试了基本路径　集中的路径，在测试资源有限的情况下得到较好的测试效果，并提出了基于图的深度优先搜索的基本路径集的生成方法，该算法采用的生　成子路径的方法可以有效地减少路径生成过程中的搜索过程，提高路径生成的效率。　关健词：路径测试；独立路径；基本路径集　Ａｕｔｏｍａｔｉｃ　Ｇｅｎｅｒａｔｉｏｎ　ｏｆ　Ｂａｓｉｓ　Ｐａｔｈ　Ｓｅｔ　ｉｎ　Ｐａｔｈ　Ｔｅｓｔ　ＺＨＡＮＧ　Ｇｕａｎｇ．ｍｅｉ　，ＬＩ　Ｘｉａｏ．ｗｅｉ　，ＨＡＮ　Ｃｏｎｇ－ｙｉｎｇ３　（１．Ｃｏｌｌｅｇｅ　ｏｆ　Ｉｎｆｏｒｍａｔｉｏｎ　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｅｎｇｉｎｅｅｒｉｎｇ，Ｓｈａｎｄｏｎｇ　Ａｇｒｉｃｕｌｔｕｒｅ　Ｕｎｉｖｅｒｓｉｔｙ，Ｔａｉａｎ　２７　１　０００；　２．Ａｄｖａｎｃｅｄ　Ｔｅｓｔ　Ｔｅｃｈｎｏｌｏｇｙ　Ｌａｂｏｒａｔｏｒｙ，Ｉｎｓｔｉｔｕｔｅ　ｏｆ　Ｃｏｍｐｕｔｉｎｇ　Ｔｅｃｈｎｏｌｏｇｙ，Ｃｈｉｎｅｓｅ　Ａｃａｄｅｍｙ　ｏｆ　Ｓｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ　１０００８０；　３，Ｓｈａｎｄｏｎｇ　Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｔｅｃｈｎｏｌｏｇｙ，Ｑｉｎｄａｏ　２６６５　１　０）　［ＡｂｓｔｒａｃｔＩ　Ｐａｔｈ　ｔｅｓｔ　ｉｓ　ａｎ　ｉｍｐｏｒｔａｎｔ　ｗｈｉｔｅ—ｂｏｘ　ｔｅｓｔ　ｍｅｔｈｏｄ，ｗｈｉｃｈ　ｃａｎ　ｄｅｔｅｃｔ　ｍｏｒｅ　ｐｒｏｇｒａｍ　ｅ￣ｏｒｓ　ｔｈａｎ　ｏｔｈｅｒｓ．Ｂａｓｉｓ　ｐａｔｈ　ｓｅｔ　ｃｏｎｔａｉｎｓ　ＳＯ　ｍａｎｙ　ｐｒｏｇｒａｍ　ｐａｔｈｓ　ｔｈａｔ　ｉｔ　ｗｉｌｌ　ｃｏｖｅｒ　ａｌｌ　ｔｈｅ　ｓｔａｔｅｍｅｎｔｓ　ａｎｄ　ｂｒａｎｃｈｅｓ　ｉｎ　ｌｆ　ｐｒｏｇｒａｍ．Ｉｔ　ｇａｉｎｓ　ｔｈｅ　ｂｅｔｔｅｒ　ｒｅｓｕｌｔ　ｂｙ　ｔｅｓｔｉｎｇ　ａｌｌ　ｔｈｅ　ｐａｔｈｓ　ｉｎ　ａ　ｂａｓｉｓ　ｓｅｔ　ｕｎｄｅｒ　ｔｈｅ　ｌｉｍｉｔｅｄ　ｔｅｓｔ　ｒｅｓｏｕｒｃｅ．Ｔｈｉｓ　ｐａｐｅｒ　ｐｒｏｐｏｓｅｓ　ａｎ　ａｕｔｏｍａｔｉｃ　ｇｅｎｅｒａｔｉｏｎ　ｏｆ　ｂａｓｉｓ　ｐａｔｈ　ｓｅｔ　ｍｅｔｈｏｄ　ｂａｓｅｄ　ｏｎ　ｄｅｐｔｈ—ｉｆｒｓｔ　ｓｅａｒｃｈｉｎｇ．Ｉｎ　ｏｒｄｅｒ　ｔｏ　ａｖｏｉｄ　ｔｈｅ　ｃｏｎｄｉｔｉｏｎ　ｔｈａｔ　ｔｈｅ　ａｌｇｏｒｉｔｈｍ　ｎｅｖｅｒ　ｓｔｏｐｓ　ａｎｄ　ｒｅｄｕｃｅｓ　ｔｈｅ　ｓｅａｒｃｈｉｎｇ　ｐｒｏｃｅｄｕｒｅ，ａｎｄ　ｔｏ　ｉｍｐｒｏｖｅ　ｉｔｓ　ｅｆｉｆｃｉｅｎｃｙ，ｔｈｅ　ｇｅｎｅｒａｔｉｏｎ　ｏｆ　ｓｕｂ—ｐａｔｈ　ｍｅｔｈｏｄ　ｉｓ　ａｄｏｐｔｅｄ．　［Ｋｅｙ　ｗｏｒｄｓ｜ｐａｔｈ　ｔｅｓｔ；ｉｎｄｅｐｅｎｄｅｎｔ　ｐａｔｈ；ｂａｓｉｓ　ｐａｔｈ　ｓｅｔ　路径测试…是对程序中所有的路径或某些程序路径进行　（２）独立路径。至少包含一条在其他路径中从未有过边的　测试的方法，对软件进行单元测试时经常会采用白盒测试技　路径。　术　Ｊ。事实表明　“Ｊ，在单元测试阶段，路径测试的检错能力　（３）基本路径集、基本路径　Ｊ。基本路径集中的每条路径　最强，采用路径测试方法可以有效地检测程序错误。当存在　具有下列特点：　分支语句、循环语句的情况时　，程序中的路径数目变得很　１）每一条路径都是一条独立路径；　大，在有限的测试资源下，该方法可以进行路径测试。　２）程序中所有的边都被访问；　ｌ　已有的路径生成方法　３）程序中的所有的、不属于该基本路径集的路径都可以　基于基本路径集的测试，首先需要确定待测试的路径。　由这个基本路径集中的路径经过线性运算得到。　目前已有的路径生成方法为：　基本路径集中的每一条程序路径称为一条基本路径。　（１）采用遗传算法进行路径生成的方法　ｊ。该方法首先确　（４）程序路径问的线性运算。某一程序的ＣＦＧ见图１。　定一个表示程序路径的种群，用遗传算子对这一种群进行处　理，并得到新的路径集。　（２）Ａ．Ｂｅｒｔｏｌｉｎｏ利用简化的控制流图来确定程序路径。该　方法从程序的控制流图出发，建立程序的ＤＴ（ｄｏｍｉｎａｔｅ　ｔｒｅｅ）　和ＩＴ（ｉｍｐｌｉｃａｔｉｏｎ　ｔｒｅｅ），通过构造２个相邻控制节点之间的子　图的方法来确定两个控制节点之间的所有的路径，从而生成　测试路径。这些方法为生成程序的路径提供了帮助，但不能　保证生成的路径集是基本路径集。　针对已有的路径生成方法中存在的问题，本文提出了一　种基于控制流图广度优先搜索的基本路径生成方法。　图１某一程序的ＣＦＧ　２基本路径集自动生成方法　２．１相关概念　作者简介：张广梅（１９７２一），女，博士、副教授，主研方向：软件可　（１）程序的路径。程序的路径是程序中顺序执行的一个语　靠性评估，软件测试；李晓维，研究员、博士生导师；韩丛英，博　句序列。从ＣＦＧ的角度来看，程序路径是由控制流图中的一　士研究生、讲师　系列节点组成。　收稿日期：２００６—１２—２５　Ｅ－ｍａｉｌ：ｌｏｔｕｓ＠ｓｄａｕ．ｅｄｕ．ｃｎ　维普资讯 http://www.cqvip.com 在程序路径的适当位置上增加或删除边，可以构造新的　程序路径。用加法运算表示在路径上增加边，用减法运算表　示删除路径上的边，则一条程序路径可以通过路径之间的线　＿（４）如果新选定边的弧头节点不在已经建好的子路经　ｐａｔｈｎｏｄｅ　ｓｅｔ［１．．ｃｏｕｎｔ一１】中，并且存在从节点ｎｏｄｅ出发到程　序出１３的一个子路径ｔｏ＿ｅｎｄ＿＿ｐａｔｈ［ｎｏｄｅ】，则调用ｍｅｒｇｅ＿ｔｗｏ＿　ｓｕｂｐａｔｈ，将ｐａｔｈ＿ｎｏｄｅ＿ｓｅｔ【ｌ—ｃｏｕｎｔ－ｌ　ｌ和ｔｏ＿ｅｎｄ＿ｐａｔｈ［ｎｏｄｅ］合　并成一条路经，转（１）；否则，转（５）。　性运算表示。式（２）表示了一条新的程序路径可以通过其他程　序路径间的线性运算得到，其中，ａｂｃｅｆ，ａｂｃｄｃｅｆ，ａｂｃｄｃｄｃｄｃｅｆ　表示了图１中的３条路径。　ｃｄ＝ａｂｃｄｃｅ￣ａｂｃｄｅｆ　（１）　ａｂｃｄｃｄｃｄｃｅｆ＝３　（ａｂｃｄｃｅｆ－ａｂｃｅｆ）＋ａｂｃｅｆ＝３　ａｂｃｄｃｅ￣２　ａｂｃｅｆ　（２）　２．２从多入度节点封程序出口节点的子路径的生成　ＣＦＧ中存在多入度的节点。在一个基本路径集中，经过　多入度节点的基本路径数目不能少于该节点的入度，否则，　表示程序中有未被访问过的边。为减少路径生成过程中的搜　索过程，在生成一条基本路径时，如果已经构建好的基本路　径中包含经过多入度节点的子路径，则记录下该子路径，在　新的基本路径生成过程中，如果遍历到了多入度的节点，可　以利用已经存在的子路径构造新的独立路径。　２－３基本路径构造过程中边的选取规月　规ｌＵ　１在构造基本路径过程中，选择的边不应该导致程　序路径中存在环。如果不限定边的选取原则，路径生成过程　可能不会停止；并且考虑到基本路径集的特点，在基本路径　生成的过程中，避免生成的路径中存在环。　规月２根据规则１，如果不允许生成的路径中存在环，　会导致程序中的部分边不能被覆盖。为避免这种情况出现，　在遍历过程中，如果新边的选取使得程序路径中存在环，则　停止搜索过程，生成一个待合并的、从程序入１３节点引出的　到新选择边的弧首节点的程序子路径。　２．４基本路径集自动生成方法　在讨论基本路径集的生成之前，给出下面的假设。　假设１从ＣＦＧ的入１３节点到其他的任意一个节点都是　可达的。　假设２　ＣＦＧ中的任意节点到程序的出１３节点之间存在程　序路径。　上述两个假设保证了程序中不存在不可达程序代码和无　用的程序代码。　基本路径生成通过对ＣＦＧ的深度优先搜索来完成。应用　程序的ＣＦＧ可以通过各种可视化的图形工具获得，如：　ｄａＶｉｎｃｉ，ｖｅｃｔｏｒｃａｓｔ等。基本路径集生成算法的步骤如下：　（１）定义并初始化存放程序路径的数组。　（２）调用函数为　ＧＥＮＥＲＡＴＥ—ＢＡＳＩＳＰＡＴＨ～ＳＥＴ（ｎｏｄｅ，ｃｏｕｎｔ）　从ＣＦＧ的第一个节点出发，进行基本路径的生成。　（３）对所有的路径，即　ｆｒｏｍｓｔａｒｔｐａｔｈｉｎｃｌｕｄｅ＿ｃｙｃｌｅ［１．．ｎ】　进行合并，生成一条程序路径。　算法基本路径集自动生成方法　下面对ＧＥＮＥＲＡＴＥ＿ＢＡＳＩＳ—ＰＡＴＨ＿ＳＥＴ算法进行介绍：　（１）如果ｃｏｕｎｔ＜Ｏ，算法结束；如果ｃｏｕｎｔ＞＝Ｏ，调用　ｉｆｎｅｎｅｗａｒｅ（ｎｏｄｅ）函数，查找以ｎｏｄｅ为弧尾的边，如果没有　找到，转（２），否则，转（３）。　（２）ｃｏｕｎｔ＝ｃｏｕｎｔ一１．ｎｏｄｅ＝ｐａｔｈ　ｓｅｔ　ｎｏｄｅ［ｃｏｕｎｔ】，转（１）。　（３）将新选定边的弧头节点写入ｐａｔｈ—ｓｅｔ—ｎｏｄｅ数组中，如　果该节点是ＣＦＧ中的最后一个节点，则调用　ｃｒｅａｔｅａｉｎｄｅｐｅｎｄｅｎｃｅｐａｔｈ　ｃｒｅａｔｅａ—．＿ｓｕｂｐａｔｈｔｏ—．＿ｅｎｄ　—．建立到达ＣＦＧ出１３节点的独立路径和子路经，转（１）；否则，　转（４）。　一１９６一　（５）如果新选定边的弧头节点不在已经建好的子路经　ｐａｔｈ—ｎｏｄｅ　ｓｅｔ［１一ｃｏｕｎｔ一１】中，调用ｃｒｅａｔｅ—ａ＿ｃｙｃｌｅ—ｓｕｂｐａｔｈ，该　函数用ｐａｔｈ—ｎｏｄｅ　ｓｅｔ［１．．ｎ】中的节点和ｎｏｄｅ节点来创建一条　从ＣＦＧ的入１３节点到ｎｏｄｅ节点的、包含环的子路径，转（１），　否则，转（６）。　（６）将新选定边的弧头节点加入到子路经ｐａｔｈ＿ｎｏｄｅ　—ｓｅｔ［１．．ｃｏｕｎｔ】中，并将ｃｏｕｎｔ值增１，转（１）。　３算法功售正确性证啊　算法功能正确性证明如下：　（１）每条程序路径都是独立路径。由２．４节的算法构造过　程可知，在对图进行深度优先搜索过程中，对于遇到新的边　可以进行如下工作：　１）如果新边的弧首节点是ＣＦＧ的出口节点，则利用访问　到的节点生成一条从入口节点到出口节点的程序路径。　２）如果新边弧首节点是一个多入度节点，并且存在一条　从该节点出发到出１３节点的子路径，则停止搜索，并将这两　条子路径合并成一条程序路径。　３）如果新边的引入会造成访问过的子路径中存在环，停　止搜索过程并记录这条子路径。　４）如果上述情况都不满足，继续搜索该边的后继。　在这４种情况下，生成的路径或子路径中包含独立的边，　通过该方法得到的程序路径是独立路径。　（２）程序中所有的边都被访问。由２．４节中的算法可以看　到，路径的生成是借助于一个存放ＣＦＧ节点的栈来实现的，　通过在所有以栈顶节点作为弧尾的边中选择合适的边来生成　基本路径。当栈空时，算法停止，因此，所有以栈中的节点　为弧尾的边都将被访问。　根据２．４节中的路径生成特点，生成程序路径中的所有　点都进栈一次。如果存在ＣＦＧ中的某些节点没有进栈，则表　示在生成的所有的程序路径中均不包含这些节点，与假设２　相矛盾。由此得出结论：程序中所有的边都被访问到。　（３）任何一条不属于某一基本路径集的程序路径都可以　由该基本路径集中的路径之间的线性运算得到。对于程序的　某一个基本路径集，ｐ（０）为不包含在该基本路径集中的一条　程序路径，称这条路径为目标路径。为证明该问题，首先需　要对下面的引理进行证明：　引理对于任意一个基本路径集和关于该基本路径集的　一条目标路径，至少存在该目标路径的一个标准划分　ｆｓｐｌ，ｓｐ２，…，ｓｐ　），划分中的每一个子路径ｓｐ　属于该基本路径　集中的某一条基本路径。　下面采用反证法对该引理进行证明。　对于给定的一个基本集和关于该基本集的一条目标路　径，假设不存在该目标路径的一个标准划分使得标准划分中　的每一个子路径分别属于该基本路径集中的一条基本路径，　即在该目标路径的任意一个标准划分中，至少存在一条子路　径，该子路径不属于该基本集的任何一条基本路径，这表示　存在着程序中的某些边，这些边没有包含在任何一条基本路　径中，这与路径集合是基本路径相矛盾。　维普资讯 http://www.cqvip.com 由引理可以得到，任何一条目标程序路径可以划分成　苇　④　基。　ａ，ｂ，ｃ出现一次；ｂ，ｄ出现ｉ次，即　萤。苫。　ｎ个片断，其中每一个片断均来自于生成的基本路径集中的　ａｂ（ｄｂ）　ｃ＝ｉ　（ａｂｄｂｃ）一（ｆ—１）　（ａｂｃ）　独立路径。按照这目标路径中是否存在环，本问题的证明可　以分为２种情况：（１）目标程序中的ｎ个程序片断各不相同；　（２）目标程序中的ｎ个程序片断中存在着相同的程序片断。　６　对于目标路径中是否存在环的情况，可以进行如下分析：　（１）目标路径不存在环的情况。图２给出了一条目标路径　和基本路径集。　①Ｊｒ　。　圈４包含环的程序路径　圭圭圭　圭。　章』　４实验结果　本文利用中科院计算所开放源码的编译器（ｏｐｅｎ　ｒｅｓｏｕｒｃｅ　ｃｏｍｐｉｌｅｒ，ＯＲＣ）前端工作的结果，实现了上述基本路　径生成算法。利用该程序，以ＳＰＥＣ２０００基准程序库中的程　序作为待测对象，得到表１。表１为基准程序的基本信息，　包含程序的名称、代码行数、函数个数、基本块个数，ｐａｔｈ　列为在假定程序中全部路径可达的基础上基本路径生成算法　所生成的程序基本路径个数。　表１基准程序分析结果　按照２．４节的方法，如果构造的基本路径集中包含图２　所示的ｎ条边，则路径集中肯定包含图３中所示的ｎ一１条基　本路径（每条路径用虚线连接），则对这２ｎ一１条基本路径进行　如下式所示的线性运算，则可以得到目标路径，即　０）＝　１）＋　２）＋…＋　哪一　１　一　２３…‘　ｎ一１３　５结束语　在对软件进行路径测试时，测试路径的选择可以提高软　件测试的效率。本文提出了基于图广度优先搜索的基本路径　生成方法。为减少路径生成过程中的搜索过程，在生成每一　条程序路径时，对于生成路径中的多入度的节点，构造从该　点出发的程序子路径，为后继路径的生成提供了帮助。　参考文簟　１　Ｉｎｓｔｉｔｕｔｅ　ｏｆ　Ｅｌｅｃｔｒｉｃａｌ　ａｎｄ　Ｅｌｅｃｔｒｏｎｉｃｓ　Ｅｎｇｉｎｅｅｒｓ．Ｇｌｏｓｓａｒｙ　ｏｆ　Ｓｏｆｔｗａｒｅ　圈３第２赧程序路径　Ｅｎｇｉｎｅｅｒｉｎｇ　Ｔｅｒｍｉｎｏｌｏｇｙ［Ｚ］．１９９１．　２　Ｖａｎ　Ｎｏｓｔｒｎａｄ　Ｒｅｉｎｈｏｌｄ　Ｃｏｍｐａｎｙ．Ｓｏｆｔｗａｒｅ　Ｓｙｓ￣ｍ　Ｔｅｓｔｉｎｇ［Ｚ］．１９９０．　（２）目标路径中包含环的情况。目标程序路径中的某些段　３　Ｆｒａｎｋｌ　Ｐ　Ｇ　Ｗｅｙｕｋｅｒ　Ｅ　Ｊ．Ａｎ　Ａｐｐｌｉｃａｂｌｅ　Ｆａｍｉｌｙ　ｏｆ　Ｄａｔａ　Ｆｌｏｗ　Ｔｅｓｉｔｎｇ　被多次重复时，该程序路径仍然可以通过基本路径集中的路　Ｃｒｉｔｅｒｉａ［Ｊ］．ＩＥＥＥ　Ｔｒａｎｓａｃｔｉｏｎｓ　ｏｎ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ，１９８８，１４（１０）　径通过线性运算得到。为讨论方便起见，假设给定的程序路　１４８３—１４９８．　径为ａｂ（ｄｂ）　ｃ（ｉ＝ｌ，２，…，ｎ），其中，ａ，ｂ，ｃ，ｄ表示ＣＦＧ中的一段　４　Ｚｈｕ　Ｈ，Ｈａｌｌ　Ｍａｙ　Ｊ．Ｓｏｆｔｗａｒｅ　Ｕｎｉｔ　Ｔｅｓｔ　Ｃｏｖｅｒａｇｅ　ａｎｄ　Ａｄｅｑｕａｃｙ［Ｊ］．　子路径。则ａ，ｂ，ｃ，ｄ之间的关系见图４。由ａ，ｂ，ｃ，ｄ组成的路径　ＡＣＭ　Ｃｏｍｐｕｔｉｎｇ　Ｓｕｒｖｅｙｓ，１９９７，２９（４）：３６６—４２７．　ａｂｃ，ａｂｄｂｃ均为程序路径，如果这两条路径不属于生成的基本　５　Ｂｉｎｔ　Ｊ　Ｒ，Ｓｉｔｅ　Ｒ．Ｏｐｔｉｍｉｚｉｎｇ　Ｔｅｓｔｉｎｇ　Ｅｆｉｆｃｉｅｎｃｙ　ｗｉｔｈ　Ｅｒｒｏｒ　Ｐｒｏｎｅ　Ｐａｔｈ　路径集，由上面的讨论可以知道，这两条路径可以由基本路　Ｉｄｅｎｔｉｉｆｃａｔｉｏｎ　ａｎｄ　Ｇｅｎｅｔｉｃ　Ａｌｇｏｒｉｔｈｍｓ［Ｃ］／／Ｐｒｏｃ．ｏｆ　Ａｕｓｔｒａｌｉａｎ　径集经过线性运算得到，并由下式计算得到程序路径，其中，　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ　Ｃｏｎｆｅｒｅｎｃｅ．２００４：１０６—１　１５．　…………………………………………………………………………………………………～　（上接第１９４页）　４　结束语　路识别［ＪＩ．计算机工程与应用，２００４，４１（２６）：１８—２１．　本文对ＣＣＤ摄像机获取的图像进行了分析和研究，论述　２朱虹．数字图像处理基础［Ｍ】．北京：科学出版社，２００５．　了如何通过实时图像获得车辆行驶参数，并由此判断汽车驾　３　Ｌｉｎ　Ｇｕａｎｇｙｕ，Ｗｅｉ　Ｌａｎｇ，Ｃｈｅｎ　Ｔａｏ．Ｓｔｕｄｙ　ｏｆ　Ｅｍｂｅｄｄｅｄ　Ｏｎ—ｂｏａｒｄ　驶员的行驶状态。这适用于及时监控驾驶员工作状态以及适　Ｉｎｆｏｒｍａｔｉｏｎ　Ｉｍａｇｅ　Ｍｏｎｉｔｏｒｉｎｇ　Ｓｙｓｔｅｍ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　１３ｔｈ　时警示驾驶员；并且有益于交管部门掌握驾驶员的工作状况，　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｐａｃｉｉｆｃ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ａｕｔｏｍｏｔｉｖｅ　Ｅｎｇｉｎｅｅｒｉｎｇ　更加便于管理；特别地，本系统可以有效预防长途客车由于　ｒＰｏｃｅｅｄｉｎｇｓ．２００５．　驾驶员疲劳驾驶、超速驾驶、占道行驶造成的交通事故，是　４　Ａｎｄｒｅｏｎｅ　Ｌ，Ａｎｔｏｎｅｌｌｏ　Ｐ　Ｃ，Ｂｅｒｔｏｚｚｉ　Ｍ，ｅｔ　ａ１．Ｖｅｈｉｃｌｅ　Ｄｅ￣ｃｔｉｏｎ　ａｎｄ　车辆主动安全技术的深入扩展。　Ｌｏｃａｌｉｚａｔｉｏｎ　ｉｎ　Ｉｎｆｒａ—ｒｅｄ　Ｉｍａｇｅｓ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　ＩＥＥＥ　５ｔｈ　参考文献　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ｉｎｔｅｌｌｉｇｅｎｔ　Ｔｒａｎｓｐｏｒｔａｔｉｏｎ　Ｓｙｓｔｅｍｓ．　ｌ王荣本，游峰，崔高健，等．基于计算机视觉高速智能车辆的道　２Ｏ０２．　１９７一