一种基于芯片仿真VCD波形格式的Java程序自动调试方法
摘要
为提高调试的效率,作者提出一种Java程序自动调试方法。基于JDI技术实现了Java程序的自动调试,设计了用户代码的单步进入和Java库代码的单步跳出的切换调试策略,最终得到程序运行过程中所有变量值的变化轨迹,并利用Linux脚本将其保存成芯片仿真领域波形数据翻转的通用VCD存储格式。开源VCD文件查看器所展示的效果说明这种Java程序自动调试方法有助于学生理解程序运行的全局过程,能激发学生提出细节问题,远胜于当前纯软件的人工单步调试方法。此外,文章所述的调试方法作为综合运用软硬件技术的教学案例,适合培养软硬件综合人才的多学科协同创新能力,对教育信息化软件的内涵提升提供了借鉴。
引文
[1]国发[2017]4号.国务院关于印发国家教育事业发展“十三五”规划的通知[Z].
[2]钱毅,蔡小川.使用Java Debug Interface(JDI)调试多线程应用程序:开发定制的多线程分析器[EB/OL]. https://www.ibm.com/developerworks/cn/java/j-lo-jdi/index.html.
[3]Krste Asanovi c',Rimas Avizienis,Jonathan Bachrach,et al.The Rocket Chip Generator[R].California(Berkeley):University of California,2016.
[4]赵鸿昌.基于芯片仿真验证软件实现的一种试题库与试卷[J].中国教育信息化,2018(14):89-92.
[5]Lambert M. Surhone, Mariam T. Tennoe, Susan F.Value Change Dump[M]. Mauritius:Betascript Publishing,2010.
[6]Cadence Design Systems. SimVision User Guide8.2版本[R].California(San Jose):Cadence Design Systems,2009.
[2]钱毅,蔡小川.使用Java Debug Interface(JDI)调试多线程应用程序:开发定制的多线程分析器[EB/OL]. https://www.ibm.com/developerworks/cn/java/j-lo-jdi/index.html.
[3]Krste Asanovi c',Rimas Avizienis,Jonathan Bachrach,et al.The Rocket Chip Generator[R].California(Berkeley):University of California,2016.
[4]赵鸿昌.基于芯片仿真验证软件实现的一种试题库与试卷[J].中国教育信息化,2018(14):89-92.
[5]Lambert M. Surhone, Mariam T. Tennoe, Susan F.Value Change Dump[M]. Mauritius:Betascript Publishing,2010.
[6]Cadence Design Systems. SimVision User Guide8.2版本[R].California(San Jose):Cadence Design Systems,2009.