Open Access. Powered by Scholars. Published by Universities.®
Digital Communications and Networking
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Articles 1 - 1 of 1
Full-Text Articles in Computer Engineering
Symbolic Ns-3 For Efficient Exhaustive Testing, Jianfei Shao
Symbolic Ns-3 For Efficient Exhaustive Testing, Jianfei Shao
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Exhaustive testing is an important type of simulation, where a user exhaustively simulates a protocol for all possible cases with respect to some uncertain factors, such as all possible packet delays or packet headers. It is useful for completely evaluating the protocol performance, finding the worst-case performance, and detecting possible design or implementation bugs of a protocol. It is, however, time consuming to use the brute force method with current NS-3, a widely used network simulator, for exhaustive testing. In this paper, we present our work on Sym-NS-3 for more efficient exhaustive testing, which leverages a powerful program analysis technique …