SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Mon 5 Dec 2022 16:00 - 16:30 at Seminar Room G125 - Afternoon 2 Chair(s): Benjamin Lerner

An important learning outcome in software engineering education is the ability to write an effective test suite that rigorously tests a target application. The standard approach for assessing test suites is to check coverage which can be problematic because coverage rewards code invocation, without checking test assertion correctness.

Mutation Analysis (injecting a small fault into a clone of a codebase) has been used in both industry and academia to check test suite quality. A mutant is \textit{killed} if any tests in the test suite fail on the clone. More mutants killed indicates a stronger suite, as it is more sensitive to defects. Mutation Analysis has been limited in an educational setting because of the prohibitive cost in both time and compute power to run the students' suites over all generated clones.

We employed Mutation Analysis to assess test suite quality in our upper-year Software Engineering course at a large research intensive university. This paper makes two contributions: (1) We show that it is feasible and effective to use a small sample of hand-written mutants for grading, and (2) We assess effectiveness for promoting student learning by comparing students graded with coverage to those graded with Mutation Analysis.

We found that mutation graded students write more correct tests, check more of the behaviour of invoked code, and more actively seek to understand the project specification.

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:00
Afternoon 2SPLASH-E at Seminar Room G125
Chair(s): Benjamin Lerner Northeastern University, United States

Both talks in this session are given in-person. The physical venue G125 has video equipment for online participation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

15:30
30m
Talk
Mio: A Block-Based Environment for Program DesignIn Person
SPLASH-E
Junya Nose SoftBank, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI
16:00
30m
Talk
Evaluating the Quality of Student-Written Software Tests with Curated Mutation AnalysisIn Person
SPLASH-E
Braxton Hall University of British Columbia, Elisa Baniassad University of British Columbia
DOI
16:30
30m
Other
Discussion
SPLASH-E