Teaching System for Course of Programming Languages Based on Dynamic Analysis

doi:10.15888/j.cnki.csa.007659

AIPUB归智期刊联盟

WeChat

Mobile website

2025-4-3- 8

Home > Archive>Volume 29, Issue 10, 2020 >114-119. DOI:10.15888/j.cnki.csa.007659

PDF HTML XML Export Cite reminder

Teaching System for Course of Programming Languages Based on Dynamic Analysis
DOI:
                        10.15888/j.cnki.csa.007659
                    
CSTR:
                        [cstr]
                    
Author:
                        CHEN ZheCHEN Zhe
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing 211106, China
Find this author on All Journals
Find this author on BaiDu
Search for this author on this site
WANG ChongWANG Chong
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing 211106, China
Find this author on All Journals
Find this author on BaiDu
Search for this author on this site
HUANG Zhi-QiuHUANG Zhi-Qiu
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing 211106, China
Find this author on All Journals
Find this author on BaiDu
Search for this author on this site

                    
Affiliation:
Clc Number:
Fund Project:

Article

Figures

Metrics

Reference [13]

Related [20]

Cited by

Materials

Comments

Abstract:

The course of programming languages is usually the first core course for the majority of computer science. However, in the teaching practice, it is hard for students to master some complex and abstract knowledge in programming languages. To overcome the difficulties in teaching the course of programming languages, in this study, we design and implement a teaching system for the course of programming languages—a program dynamic analysis system. This system, by applying the knowledge of programming languages and some other core professional courses, implements program error detection and automated source instrumentation. We apply this system to the teaching practice, which helps students to understand and master the complex and abstract concepts in the course of programming languages, and their applications in real-world software development, thus to improve the teaching effectiveness.

Key words:programming languages;teaching systems;dynamic analysis;teaching practice;teaching effectiveness

Reference

[1] Kernighan BW, Ritchie DM. The C Programming Language. 2nd ed. Englewood Cliffs: Prentice Hall, 1988.

[2] Lippman SB, Lajoie J, Moo BE. C++ Primer. 5th ed. Upper Saddle River: Addison-Wesley Professional, 2013.

[3] 叶冬芬, 杨明霞, 方智敏. 基于B/S的《C程序设计》网络教学系统. 计算机系统应用, 2016, 25(4): 56-62

[4] 罗荣良, 吴明晖. 基于“MOOC+实验辅助平台”的面向对象程序设计教学实践. 计算机教育, 2020, (2): 170-174. [doi: 10.3969/j.issn.1672-5913.2020.02.041

[5] 王金鹏, 曹旗磊, 王涵. 基于Online Judge的程序设计基础教学改革与实践. 计算机教育, 2020, (2): 101-104. [doi: 10.3969/j.issn.1672-5913.2020.02.025

[6] 李旻朔, 林巧. 多核平台上程序在线评测辅助教学系统. 计算机系统应用, 2011, 20(6): 129-132. [doi: 10.3969/j.issn.1003-3254.2011.06.030

[7] 韩志科, 王贵, 韩俊杰. 基于API自动测试的程序设计在线判题系统的研究与实现. 计算机系统应用, 2008, 17(7): 9-13. [doi: 10.3969/j.issn.1003-3254.2008.07.003

[8] Chen Z, Tao CQ, Zhang ZY, et al. Beyond spatial and temporal memory safety. Proceedings of ACM/IEEE 40th International Conference on Software Engineering. Gothenburg, Sweden. 2018. 189-190.

[9] Chen Z, Gu Y, Huang ZQ, et al. Model checking aircraft controller software: A case study. Software: Practice and Experience, 2015, 45(7): 989-1017. [doi: 10.1002/spe.2242

[10] Chen Z, Wang ZM, Zhu YL, et al. Parametric runtime verification of C programs. Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Eindhoven, the Netherlands. 2016. 299-315.

[11] Serebryany K, Bruening D, Potapenko A, et al. AddressSanitizer: A fast address sanity checker. Proceedings of the 2012 USENIX Annual Technical Conference. Berkeley, CA, USA. 2012. 28.

[12] Nethercote N, Seward J. Valgrind: A framework for heavyweight dynamic binary instrumentation. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA. 2007. 89-100.

[13] Chen Z, Yan JQ, Li WM, et al. Runtime verification of memory safety via source transformation. Proceedings of ACM/IEEE 40th International Conference on Software Engineering: Companion. Gothenburg, Sweden. 2018. 264-265.

Get Citation

陈哲,王冲,黄志球.基于动态分析的程序设计课程教学系统.计算机系统应用,2020,29(10):114-119

Copy

Article Metrics

Abstract:1056
PDF: 1652
HTML: 1341
Cited by: 0

History

Received:March 20,2020
Revised:April 21,2020
Adopted:
Online: September 30,2020
Published: October 15,2020

Article QR Code

You are the first990366Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address：4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code：100190
Phone：010-62661041 Fax： Email：csa (a) iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063