科研学术

　　近日，我校计算机学院网络安全技术实验室吴立军副教授以第一作者在CCF（中国计算机学会) 推荐的A类国际期刊《IEEE Transactions on Software Engineering》（TSE）上发表题为“An I/O Efficient Approach for Detecting All Accepting Cycles”（一种搜索所有接受环的I/O高效方法）的论文。论文通信作者为张小松教授，计算机学院研究生王舒鹏、澳大利亚格里菲斯大学苏开乐教授、蔡少伟博士、澳大利亚昆士兰大学张诚一讲师为共同作者，电子科技大学计算机科学与工程学院为第一署名单位。

　　模型检测是重要的软件安全验证的形式化方法之一，通常模型检测方法返回单个反例，然而单个反例在软件故障定位（调试）中会存在信息不足的问题，会极大延长软件的验证和调试周期。吴立军等人针对这一问题，对现存模型检测技术进行了改进，第一次提出大规模系统所有反例的搜索方法。论文首先建议了一个多反例搜索高效框架，避免了大量无效路径的搜索。如下图所示：该图中只有一个接受环，即左边的子环，作者提出的方法能避免右边n的平方个无效环的搜索，极大提高了搜索效率。

　　为了进一步降低算法复杂度和提高算法性能，作者建议了交集计算技术和动态路径管理技术，并使用了最小完美哈希函数。理论分析和试验结果证明尽管搜索的是所有反例，但其算法复杂度和实际性能仍然总体优于现有模型检测单反例搜索的最佳方法。

　　CCF将著名的国际期刊和国际会议分为A、B、C三类。A类指国际上极少数的顶级刊物和会议，鼓励我国学者去获得重大突破。《IEEE Transactions on Software Engineering》是软件工程领域中最具影响力的A类期刊。该期刊为双月刊，每年总共收录几十篇软件工程领域的顶尖论文。

论文信息：

　　Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Transactions on Software Engineering,2015.3

论文链接：

　　http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=7056483