| ［1］杨芳，齐璇，董丽，等.嵌入式软件中断系统资源冲突检测技术研究［J］. 计算机工程与设计，2010，31（23）：50365039.
YANG F,QI X,DONG L，et al.Research of interrupt system resource conflict detection technology for embedded software［J］.Computer Engineering and Design, 2010，31（23）：50365039.
［2］霍纬，于洪涛，冯晓兵，等.静态检测中断驱动程序的数据竞争［J］. 计算机研究与发展，2011，48（12）：22902299.
HUO W，YU H T，FENG X B, et al. Static race detection of interruptdriven programs［J］.Journal of Computer Research and Development, 2011，48（12）：22902299.
［3］REGEHR J, COOPRIDER N. Interrupt verification via thread verification［J］. Electron Notes Theoretical Computer Science, 2007,174(9):139150.
［4］段永颢，陈睿.基于启发式的静态中断数据竞争检测方法［J］. 计算机工程与设计，2013，34（1）：140145.
DUAN Y H,CHEN R. Heuristic static data race detection for interruptdriven software［J］.Computer Engineering and Design，2013，34（1）：140145.
［5］赵国亮，蒋勇，孔令兵.用代码分析技术检测软件缺陷［J］.计算机工程与设计，2011，32（8）：27412744.
ZHAO G L,JIANG Y,KONG L B. Software bug detection using code analysis technology［J］.Computer Engineering and Design,2011,32(8) :27412744.
［6］杨洪路，宫云战，高文龄,等.软件安全静态检测技术与工具［J］.信息化纵横，2009(9)：7072.
YANG H L, GONG Y Z，GAO W L, et al. Static analysis of software security techniques and tools［J］.Microcomputer & Its Application,2009(9):7072.
［7］王光卫，范明钰. 源静态分析技术的理论和实践发展［J］. 计算机安全,2011(1)：710.
WANG G W, FAN M Y. Theory and practice of source code analysis［J］.Network and Computer Security,2011(1):710.
［8］杨朝红，宫云战，肖庆, 等.基于模型的软件测试［J］. 北京化工大学学报,2007,34(增刊1)：8588.
YANG Z H，GONG Y Z，XIAO Q W，et al. The software testing based on testing model［J］. Journal of Beijing University of Chemical Technology,2007,34（sup1）:8588.
［9］吴萍，陈意云，张健.多线程程序数据竞争的静态检测［J］.计算机研究与发展,2006，43（2）：329335.
WU P, CHEN Y Y, ZHANG J. Static datarace detecion for multithread programs［J］.Journal of Computer Research and Development, 2006，43（2）：329335.作者简介：侯成杰（1972—），男，高级工程师，研究方向为软件测试与软件产品保证技术. |
