1 / 16

Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation

secret. Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation. http://pex4fun.com. Nikolai Tillmann Jonathan de Halleux Microsoft Research . Tao Xie North Carolina State University. Judith Bishop Microsoft Research .

kayo
Download Presentation

Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. secret Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation http://pex4fun.com Nikolai Tillmann Jonathan de Halleux Microsoft Research Tao Xie North Carolina State University Judith Bishop Microsoft Research

  2. Testing Tool  Educational Gaming Dynamic Symbolic Execution (Pex) secret Support Pex for Fun:Interactive Gaming for Teaching and Learning http://research.microsoft.com/pex/ http://pex4fun.com

  3. Background • Dynamic Symbolic Execution (DSE) • aka. Concolic Testing • [Godefroid et al. 05][Sen et al. 05][Tillmann et al. 08] • Instrument code to explore feasible paths http://research.microsoft.com/pex/

  4. http://research.microsoft.com/pex/

  5. Coding Duels 1,378,742 clicked 'Ask Pex!'

  6. Example User Feedback Released since 2010 “I used to love the first person shooters and the satisfaction of blowing away a whole team of Noobies playing Rainbow Six, but this is far more fun.” X “I’m afraid I’ll have to constrain myselfto spend just an hour or so a day on this really exciting stuff, as I’m really stuffed with work.” “It really got me *excited*. The part that got me most is about spreading interest in teaching CS: I do think that it’s REALLY great for teaching | learning!”

  7. Coding Duels Pex computes “semantic diff” in cloud secret reference implementation vs. code written in browser You win when Pex finds no differences secret

  8. Behind the Scene of Pex for Fun behavior Secret Impl== Player Impl Player Implementation class Player { public static int Puzzle(int x) { return x; } } Secret Implementation class Secret { public static int Puzzle(int x) { if (x <= 0) return 1; return x * Puzzle(x-1); } } class Test { public static void Driver(int x) { if (Secret.Puzzle(x) != Player.Puzzle(x)) throw new Exception(“Mismatch”); } }

  9. Coding DuelsFun and Engaging Iterative gameplay Adaptive Personalized No cheating Clear winning criterion

  10. Teaching and Learning

  11. Coding Duel Competition@ICSE 2011 http://pexforfun.com/icse2011

  12. Outlook: redesign as game

  13. Usage Scenarios of Pex4Fun • Massive Open Online Courses (MOOC) • Course assignments (students/professionals) • Student/professional competitions • Assessment of testing, programming, problem solving skills for job applicants

  14. Summary: Testing Tool Educational Gaming DSE/Pex secret Support Pex for Fun: Interactive Gaming for Teaching and Learning http://research.microsoft.com/pex/ http://pex4fun.com

  15. Coding Duels for Course Assignments@Grad Software Engineering Course • Observed Benefits • Automatic Grading • Real-time Feedback (for Both Students and Teachers) • Fun Learning Experiences http://pexforfun.com/gradsofteng

  16. Skills Being Trained Induction Problem solving/debugging Program understanding/programming Testing Specification writing

More Related