Because of the web. Java Script (JS) is one of the most popular programming languages today. Tools like GMail or Face-book are built heavily on JS. Despite the importance, JS is rarely in the core of programming cours...
详细信息
ISBN:
(纸本)9781605588209
Because of the web. Java Script (JS) is one of the most popular programming languages today. Tools like GMail or Face-book are built heavily on JS. Despite the importance, JS is rarely in the core of programming courses. However, it still has a role in many courses [1, 2, 3]. In this paper, we introduce an open source tool to create small, automatically assessed Java Script programming exercises (see Figure 1). Automatic assessment is based on unit tests, JSLint and various software metrics. Embedding an exercise into an existing web page only requires inserting the following or a similar HTML block: [GRAPHICS] In addition, teacher needs to provide unit tests for each new exercise. The fact that the assessment happens inside the student's own browser is the novelty of our work. Installation and sandboxing of a server are not required. This makes it easy to add exercises into any web page. The downside is that exercises are for self study purposes since grades submitted from a browser could be tampered with. Google Code Playground(1) and W3Schools interactive demonstrations(2) are similar to our system. However, these do not provide automatic assessment and are hard to integrate into other websites. Sources of the tool and a set of exercises are available online(3).
programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advanc...
详细信息
ISBN:
(纸本)9781424445189
programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techinques, Web-based tutoring systems that can play the role of teacher are increasingly considered. In this paper, we suggest a framework for automatic verification of program exercises without risking the execution of actual code. In our framework, we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the learners. Our framework is being implemented and employed in a real education university environment with some initial promising results.
programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise *** from traditional face-to-face manner of teaching programming,with the recent advancement of Inte...
详细信息
programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise *** from traditional face-to-face manner of teaching programming,with the recent advancement of Internet and advanced program verification techinques,Web- based tutoring systems that can play the role of teacher are increasingly *** this paper,we suggest a framework for automatic verification of program exercises without risking the execution of actual *** our framework,we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the *** framework is being implemented and employed in a real education university environment with some initial promising results.
Much attention has been given to the content of introductory computer science courses, but based upon a perusal of introductory textbooks, it appears that somewhat less attention has been given to the programming exer...
详细信息
ISBN:
(纸本)9780897910361
Much attention has been given to the content of introductory computer science courses, but based upon a perusal of introductory textbooks, it appears that somewhat less attention has been given to the programming exercises to be used in these courses. programming exercises can be modified to provide a better educational experience for the student. An example of how atypical programming exercises were incorporated into an introductory programming language course is described.
Discusses the alterations that have been made to the University of Sydney's batch processing system to record the results of programming exercises in three different languages. Provision for testing with programme...
详细信息
Discusses the alterations that have been made to the University of Sydney's batch processing system to record the results of programming exercises in three different languages. Provision for testing with programmer-supplied data; Operator recognition of exercises.
暂无评论