被动测试中观察者放置问题.pdfVIP

计 算机 研 究与 发 展 ISSN 1000—1239／CN 11—1777／TP JournalofComputerResearchandDevelopment 42(10)：1815～1819，2005 被动测试 中观察者放置 问题 赵保华 郭雄辉 钱 兰 屈玉贵 (中国科学技术大学计算机科学与技术系 合肥 230027) (gxh@mail．ustc．edu．cn) OntheProblem ofHow toPlacetheObserversin PassiveTesting ZhaoBaohua，GuoXionghui，QianLan，andQuYugui (DepartmentofComputerScienceandTechnology，Universityof ScienceandTechnologyof China，Hefei230027) Abstract Theproblem ofhow toplacetheobserversinpassivetestingwhileassuringtheycanmonitorall thebehaviorofanetworkand thenumberofthem isthesmallestisan interestingandusefulproblem ． First，thisproblem isprovedtobeanNP—completeproblem ．Thenaspecialcaseinwhichthetopologyof networkisatreeisdiscussedandalineartimealgorithm foritispresented．Basedonthethoughtoftree topologyanimprovedapproximatealgorithm isproposed and theapproximateproportion oftheimproved algorithm is2一O(1)．Finally，asimulatingexperimentisconductedtoillustratetheeffectivenessofthe improvedalgorithm andfutureextensionsarediscussed． Keywords passivetesting：NP—completeproblem ：communicatingfinitestatemachine 摘 要 在被动测试 中如何放置观察者使得放置的数 目最少并且能监视整个 网络的运行情况是一个很 有实际应用价值的 问题．先证明了该问题是一个NP完全问题；接着讨论 了在 网络拓扑是树的特殊情形 下该问题的解，并给出了针对树结构的一个线性时间算法 ；然后在 一个 已有的近似 比为2的算法基础上 给 出了一个改进算法并证明了其近似 比为 2—0(1)，最后 用实验来验证 了改进 算法的有效性 ，指明 了进 一 步的研 究方 向． 关键词 被动测试 ；NP完全 问题 ；通信有限状 态机 中图法分 类号 TP301．6 本文考查的问题是在一个 网络中最少需要放置 1 引 言 多少个观察者就能够 监视整个 网络 的运行情况 ，基 于 的模 型是通信有 限状态机 (communicatingfinite 被动测试 (passivetesting)方法是在网络 中放置 statemachine，CFSM)的一种变种l3J．这是一个很 观察者，通过监听来采集数据 ，通过分析数据来发现 有实际应用价值的问题 ，不光是被动测试中，在网络 协议实现 中存在的错误 ，它不影响网络设备 的正常 管理 中凡是涉及监视网络运行的情形都会遇到该 问 工作 ，特别适用于发现正在运行 的网络上 的故 障． 题 ，如果能找 出算法使得观察者放置数 目最少 ，显然 目前 的研 究主要都集 中在错 误检测_】j、错误定