Entropy and software systems

Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
We integrate information theory into software testing. In particular, we use entropy in information theory to measure the amount of uncertainty in a software system before it is fully tested, and we show how the amount decreases when we test the system. Moreover, we introduce behaviorial complexity as a novel complexity metric for labeled graphs (which can be interpreted as control flow graphs, design specifications, etc.), which is also based on information theory. We seek practical approaches
more » ... in testing real systems using the above theories, and we apply our novel approaches in testing model-based embedded systems and network intrusion detection systems. Our information-theoretic approach is syntax-independent, which is a desired property in software testing.
doi:10.1145/1882362.1882449 dblp:conf/sigsoft/YangDFKT10 fatcat:zzlsvyvnhfd3vku4qtlxy46zrm