Partial Correctness and Continuous Integration in Computer Supported Education

Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques

2014

Abstract

In this paper we support the idea that students and teachers will benefit from a computer-based system that assesses programming exercises and provide immediate and detailed feedback: students would be able to evolve in the right direction and teachers would follow and assess more fairly their students. This assessment should outperform the typical right/wrong evaluation returned by existing tools, allowing for a flexible partial evaluation. Moreover, we adopt a concept from Agile Development, the Continuous Integration (CI), to improve students’ effectiveness. The applicability of CI reflects a better monitoring by the teams and their individual members, also providing the ability to improve the speed of the development. Besides the description of the capabilities that we require from an Automatic Grading System (AGS), we discuss iQuimera, an improved AGS that we are working on, that implements our teaching/learning principles.

References

  1. Babich, W. A. (1986). Software configuration management: coordination for team productivity. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  2. Beck, K. (2001). Manifesto for Agile Software Development. http://agilemanifesto.org.
  3. Duvall, P. M., Matyas, S., and Glover, A. (2007). Continuous Integration: Improving Software Quality and Reducing Risk. Addison-Wesley Professional.
  4. Fonte, D., Boas, I. V., da Cruz, D., Ganarski, A. L., and Henriques, P. R. (2012). Program analysis and evaluation using quimera. In ICEIS'12, pages 209-219.
  5. Fonte, D., Cruz, D. d., Ganc¸arski, A. L., and Henriques, P. R. (2013). A Flexible Dynamic System for Automatic Grading of Programming Exercises. In SLATE'13, volume 2, pages 129-144.
  6. Forsyth, D. R. (2009). Group dynamics. Wadsworth Publishing Company, Belmont, 5 edition.
  7. Guerrero, L. A., Alarcon, R., Collazos, C., Pino, J. A., and Fuller, D. A. (2000). Evaluating cooperation in group work. In Groupware CRIWG 2000, pages 28-35.
  8. Hazzan, O. and Dubinsky (2003). Teaching a software development methodology: the case of extreme programming. In CSEE&T 2003, pages 176-184.
  9. Hodgins, W. et al. (2002). Draft Standard for Learning Object Metadata. IEEE 1484.12.1-2002, pages i-44.
  10. Hukk, M., Powell, D., and Klein, E. (2011). Infandango: Automated Grading for Student Programming. In ITiCSE 7811, page 330. ACM.
  11. Jovanovic, V., Murphy, T., and Greca (2002). Use of extreme programming (XP) in teaching introductory programming. FIE'02, 2:F1G-23.
  12. Kim, S., Park, S., Yun, J., and Lee, Y. (2008). Automated Continuous Integration of Component-Based Software: An Industrial Experience. In Automated Software Engineering, pages 423-426.
  13. Leal, J. P. and Silva, F. (2003). Mooshak: a web-based multi-site programming contest system. Software: Practice and Experience, 33(6):567-581.
  14. Matt, U. v. (1994). Kassandra: the automatic grading system. SIGCUE Outlook, 22(1):26-40.
  15. Miller, A. (2008). A Hundred Days of Continuous Integration. In AGILE 7808, pages 289-293.
  16. Milne, I. and Rowe, G. (2002). Difficulties in learning and teaching programming-views of students and tutors. Education and Information technologies, 7(1):55-66.
  17. Tauch, C. (2004). Almost Half-time in the Bologna Process - Where Do We Stand? European Journal of Education, 39(3):275-288.
  18. Vilas Boas, I., Oliveira, N., and Rangel Henriques, P. (2013). Agile Development for Education effectiveness improvement. In SIIE'13, Viseu, Portugal.
Download


Paper Citation


in Harvard Style

Fonte D., Vilas Boas I., Oliveira N., da Cruz D., Lopes Gançarski A. and Rangel Henriques P. (2014). Partial Correctness and Continuous Integration in Computer Supported Education . In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-021-5, pages 205-212. DOI: 10.5220/0004848802050212


in Bibtex Style

@conference{csedu14,
author={Daniela Fonte and Ismael Vilas Boas and Nuno Oliveira and Daniela da Cruz and Alda Lopes Gançarski and Pedro Rangel Henriques},
title={Partial Correctness and Continuous Integration in Computer Supported Education},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2014},
pages={205-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004848802050212},
isbn={978-989-758-021-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Partial Correctness and Continuous Integration in Computer Supported Education
SN - 978-989-758-021-5
AU - Fonte D.
AU - Vilas Boas I.
AU - Oliveira N.
AU - da Cruz D.
AU - Lopes Gançarski A.
AU - Rangel Henriques P.
PY - 2014
SP - 205
EP - 212
DO - 10.5220/0004848802050212