Code Hunt: Context-Driven Interactive Gaming for Learning Programming and Software Engineering

نویسندگان

  • Nikolai Tillmann
  • Jonathan de Halleux
  • Judith Bishop
  • Tao Xie
  • R. Nigel Horspool
  • Daniel Perelman
چکیده

Code Hunt is a web-based serious gaming platform for players to solve coding duels, a type of puzzle based on programming and software engineering. In Code Hunt, a player iteratively modifies code to match the functional behavior of a secret code segment. The functional behavior is defined based on unit test cases shown as input-output pairs. To guide players to modify the code segment, Code Hunt provides feedback based on test generation through the Pex engine. In Code Hunt, the way of writing code is very different from the way in traditional software development since there are no known requirements (either informally/formally documented or existing in developers’ mind); the game aspect in Code Hunt is essentially re-engineering from sample expected behaviors observed from generated test cases. Various types of context exist in Code Hunt including the duel and the test cases, as well as the player’s history and any hints that are given. In this position paper, we discuss how such context assists the players to solve coding duels while offering the players learning and fun experiences.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Feedback and Recognition through Data Mining in Code Hunt

Learning to code has become so popular that it is now almost the default that beginners will encounter coding on a website, along with thousands of others at the same time. Providing feedback and recognition in the face of such increasing numbers is a challenge that can be met by the automated test generation. Through automation and access to massive amounts of data, we show that the frequency,...

متن کامل

Model Driven Development with Interactive Use Cases and UML Models

Large scale enterprise software systems are inherently complex and hard to maintain. To deal with this complexity, current mainstream software engineering practices aim at raising the level of abstraction to visual models described in OMG’s UML modeling language. Current UML tools, however, produce static design diagrams for documentation which quickly become out-ofsync with the software. To ad...

متن کامل

Towards a Twofold Approach to the Verification of Generated VHDL Systems

The rise of Model Driven Development, Domain Specific Languages and Generative Programming as new techniques for systems and software engineering means that the actual code that is compiled and executed is no longer written by a human, it is generated by a tool. To give confidence that the desired system has been generated, it is necessary to provide a successful means to verify the generated c...

متن کامل

Combining SVG and models of interaction to build graphically rich user experiences

IntuiLab designs highly interactive UIs that often feature multimodal capacities: gesture recognition, speech recognition, etc. We have started to use SVG for the graphical modality at the core of our UI programming environment: IntuiKit. Our portfolio includes UIs with high−end graphics for Air−Traffic control centers, in−car systems and for e−government services. Using SVG has lead us to impr...

متن کامل

Tube: Interactive model-integrated object-oriented programming

Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and model helps, because the model serves as a map to the code and the code fills in the details for the model. Simultaneously, one avoids consistency problems. TUBE, a programming language and an integrated environment, a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014