作者: F. Gagnon , B. Esfandiari
DOI: 10.1109/NOMS.2012.6212000
关键词: Hybrid approach 、 Formalism (philosophy of mathematics) 、 Operating system 、 Distributed computing 、 Knowledge-based systems 、 Computer science 、 Diagnosis problem 、 Program testing 、 Test selection
摘要: Motivated by the increasing importance of knowing which operating systems are running in a given network, we evaluated system discovery (OSD) tools. The results indicated serious lack accuracy current OSD This thesis proposes new approach to OS addresses limitations existing tools and leads more flexible, less intrusive, much accurate tool. Moreover, unlike completely ad hoc, our is formal follows principles diagnosis problem solving. formalism allows us to: • characterize complexity OSD; use well-tested algorithms benefit from numerous possible extensions. To fully address needs OSD, generalize theory with query-based extension. extension spectrum test selection solve each query.