航天器C51语言软件中断资源冲突分析方法
|
摘要
对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.
Three interrupt resource conflict instances of spacecraft software in C51 language are summarized. The existing methods of software resource conflict analysis are summarized and analyzed. Based on static analysis technique,a new resource conflict analysis method is advanced on C51 language software,and the solutions for above 3 instances are given.
Three interrupt resource conflict instances of spacecraft software in C51 language are summarized. The existing methods of software resource conflict analysis are summarized and analyzed. Based on static analysis technique,a new resource conflict analysis method is advanced on C51 language software,and the solutions for above 3 instances are given.
引文
[1]杨芳,齐璇,董丽,等.嵌入式软件中断系统资源冲突检测技术研究[J].计算机工程与设计,2010,31(23):5036-5039.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):5036-5039.
[2]霍纬,于洪涛,冯晓兵,等.静态检测中断驱动程序的数据竞争[J].计算机研究与发展,2011,48(12):2290-2299.HUO W,YU H T,FENG X B,et al.Static race detection of interrupt-driven programs[J].Journal of Computer Research and Development,2011,48(12):2290-2299.
[3]REGEHR J,COOPRIDER N.Interrupt verification via thread verification[J].Electron Notes Theoretical Computer Science,2007,174(9):139-150.
[4]段永颢,陈睿.基于启发式的静态中断数据竞争检测方法[J].计算机工程与设计,2013,34(1):140-145.DUAN Y H,CHEN R.Heuristic static data race detection for interrupt-driven software[J].Computer Engineering and Design,2013,34(1):140-145.
[5]赵国亮,蒋勇,孔令兵.用代码分析技术检测软件缺陷[J].计算机工程与设计,2011,32(8):2741-2744.ZHAO G L,JIANG Y,KONG L B.Software bug detection using code analysis technology[J].Computer Engineering and Design,2011,32(8):2741-2744.
[6]杨洪路,宫云战,高文龄,等.软件安全静态检测技术与工具[J].信息化纵横,2009(9):70-72.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):70-72.
[7]王光卫,范明钰.源静态分析技术的理论和实践发展[J].计算机安全,2011(1):7-10.WANG G W,FAN M Y.Theory and practice of source code analysis[J].Network and Computer Security,2011(1):7-10.
[8]杨朝红,宫云战,肖庆,等.基于模型的软件测试[J].北京化工大学学报,2007,34(增刊1):85-88.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):85-88.
[9]吴萍,陈意云,张健.多线程程序数据竞争的静态检测[J].计算机研究与发展,2006,43(2):329-335.WU P,CHEN Y Y,ZHANG J.Static data-race detecion for multithread programs[J].Journal of Computer Research and Development,2006,43(2):329-335.
[2]霍纬,于洪涛,冯晓兵,等.静态检测中断驱动程序的数据竞争[J].计算机研究与发展,2011,48(12):2290-2299.HUO W,YU H T,FENG X B,et al.Static race detection of interrupt-driven programs[J].Journal of Computer Research and Development,2011,48(12):2290-2299.
[3]REGEHR J,COOPRIDER N.Interrupt verification via thread verification[J].Electron Notes Theoretical Computer Science,2007,174(9):139-150.
[4]段永颢,陈睿.基于启发式的静态中断数据竞争检测方法[J].计算机工程与设计,2013,34(1):140-145.DUAN Y H,CHEN R.Heuristic static data race detection for interrupt-driven software[J].Computer Engineering and Design,2013,34(1):140-145.
[5]赵国亮,蒋勇,孔令兵.用代码分析技术检测软件缺陷[J].计算机工程与设计,2011,32(8):2741-2744.ZHAO G L,JIANG Y,KONG L B.Software bug detection using code analysis technology[J].Computer Engineering and Design,2011,32(8):2741-2744.
[6]杨洪路,宫云战,高文龄,等.软件安全静态检测技术与工具[J].信息化纵横,2009(9):70-72.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):70-72.
[7]王光卫,范明钰.源静态分析技术的理论和实践发展[J].计算机安全,2011(1):7-10.WANG G W,FAN M Y.Theory and practice of source code analysis[J].Network and Computer Security,2011(1):7-10.
[8]杨朝红,宫云战,肖庆,等.基于模型的软件测试[J].北京化工大学学报,2007,34(增刊1):85-88.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):85-88.
[9]吴萍,陈意云,张健.多线程程序数据竞争的静态检测[J].计算机研究与发展,2006,43(2):329-335.WU P,CHEN Y Y,ZHANG J.Static data-race detecion for multithread programs[J].Journal of Computer Research and Development,2006,43(2):329-335.