吉林大学学报(工学版) ›› 2012, Vol. 42 ›› Issue (增刊1): 373-376.

• 论文 • 上一篇    下一篇

基于事件注入机制的软件调试方法与实现

黄永平, 常鹏飞, 郭凯, 金玉善   

  1. 吉林大学 计算机科学与技术学院, 长春 130022
  • 收稿日期:2012-03-10 出版日期:2012-09-01 发布日期:2012-09-01
  • 通讯作者: 金玉善(1963-),女,副教授.研究方向:工业控制,汽车电子.E-mail:jinys@jlu.edu.cn E-mail:jinys@jlu.edu.cn
  • 作者简介:黄永平(1964-),男,副教授.研究方向:汽车电子,嵌入式系统.E-mail:hyp@jlu.edu.cn通信作者:金玉善(1963-),女,副教授.研究方向:工业控制,汽车电子.E-mail:jinys@jlu.edu.cn
  • 基金资助:

    吉林省科技发展计划项目(20100504)、吉林省自然科学基金项目(201115025).

Method and implementation of software debugging based on event injection

HUANG Yong-ping, CHANG Peng-fei, GUO Kai, JIN Yu-shan   

  1. College of Computer Science and Technology, Jilin University, Changchun 130022, China
  • Received:2012-03-10 Online:2012-09-01 Published:2012-09-01

摘要: 在研究原有QF(事件驱动框架)和QS(实时跟踪调试器)的基础上,提出并设计实现了基于事件注入机制的软件调试方法,使得软件调试有针对性地主动进行,并实现调试自动化,该方法可以提高软件调试的效率。

关键词: 计算机软件, 量子框架, 实时跟踪调试器, 事件驱动框架, 软件调试

Abstract: Based on analyzing QF and QS, a software debugging method based on event injection is designed, in this way, the software debugging can be more initiative, more targeted and automatically, this method can improve the efficiency of software debugging. The paper holds certain referential value and practical significance in promoting the development of Quantum Programming.

Key words: computer software, quantum platform (QP), quantum spy (QS), quantum framework (QF), software debugging

中图分类号: 

  • TP306
[1] Yin Y F,Liu B,Zhong D M,et al. On modeling approach for embedded real-time software simulation testing[J]. Journal of Systems Engineering and Electronics,2009,20(2):420-426.

[2] 张银奎. Software Debugging[M]. 北京:电子工业出版社,2008:1-26.

[3] 软件中的测不准原理.http:[C]//hi.baidu.com/hyper99/blog/item/754fb4357e6c1c8ea71e1269.html

[4] Brooks, Frederick P. No Silver Bullet: Essence and Accidents of Software Engineering[J]. Computer, 1987, 10-19.

[5] 刘久富,杨忠,孙德敏,等. 基于模型的飞行控制软件测试用例的生成[J].吉林大学学报:工学版,2006,36(4):543-547. Liu Jiu-fu, Yang Zhong,Sun De-min.Generation of testing case for model based flight control software of unm anned aerial vehicle[J]. Journal of Jilin University(Engineering and Technology Edition),2006,36(4):543-547.

[6] Wang Hui-qiang,Pang Yong-gang. Evaluation of network dependability using event injection[C]//Proc of the APWeb 2006 Int'1 Workshop: XRA, IWSN, MEGA, and ICSE. Berlin: Springer, 2006:991-998.

[7] Segall Z,Barton J,Vralovic D.Fault injection based automatic testing:Practice and examples[C]//Proc.8th Digital Avionics Systems,San Jose,CA,USA.1988:17-20.

[8] QS注入事件调试方法想法. http:[C]//hi.baidu.com/hyper99.
[1] 马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2] 罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3] 应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4] 李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[5] 王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[6] 特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[7] 康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[8] 陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9] 刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10] 冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11] 李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12] 王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13] 黄宏涛,王静,叶海智,黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[14] 范大娟1, 2, 黄志球1, 肖芳雄1, 祝义1, 王进1. 面向多服务交互的相容性分析与适配器生成[J]. 吉林大学学报(工学版), 2014, 44(4): 1094-1103.
[15] 贺秦禄1, 李战怀1, 王乐晓1, 王瑞2. 云存储系统聚合带宽测试技术[J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!