Skip to main content

Testing and E-Assessment

  • Chapter
  • First Online:
Improving Software Testing

Part of the book series: SpringerBriefs in Information Systems ((BRIEFSINORMAT))

  • 2473 Accesses

Abstract

This chapter introduces E-learning and e-assessment and their connection to software testing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    A general introduction to “classroom assessment” is example given by Black and Wiliam [3].

  2. 2.

    Formal Specification is a lecture offered in the IS studies at the WWU Münster.

  3. 3.

    Running EASy and Muggl on distinct machines would be no challenge with the current architecture. It was not required for the initial scenario, though.

References

  1. Laumer, S., von Stetten, A., Eckhardt, A.: E-assessment. Bus. Inf. Syst. Eng. 1(3), 263–265 (2009)

    Google Scholar 

  2. Ruedel, C.: Was ist E-assessment. In: Ruedel, C., Mandel, S. (eds.) E-Assessment: Einsatzszenarien und Erfahrungen an Hochschulen. Waxmann, Münster (2010)

    Google Scholar 

  3. Black, P., Wiliam, D.: Assessment and classroom learning. Assess. Educ. Princ. Pol. Pract. 5(1), 7–74 (1998)

    Google Scholar 

  4. Konradt, U., Sarges, W. (eds.): E-Recruitment und E-Assessment: Rekrutierung, Auswahl und Beratung von Personal im Inter- und Intranet. Hogrefe, Göttingen (2003)

    Google Scholar 

  5. Steiner, H. (ed.): Online-Assessment: Grundlagen und Anwendung von Online-Tests in der Unternehmenspraxis. Springer, Heidelberg (2009)

    Google Scholar 

  6. Schmidt, J.U., Gutschow, K. (eds.): Vom Papier zum Bildschirm: computergestützte Prüfungsformen. Bertelsmann, Bielefeld (1999)

    Google Scholar 

  7. Pellegrino, W.J., Chudowsky, N., Glas, R.: Knowing What Students Know: The Science and Design of Educational Assessment. National Academy Press, Washington, DC (2001)

    Google Scholar 

  8. Usener, C.A., Gruttmann, S., Majchrzak, T.A., Kuchen, H.: Computer-supported assessment of software verification proofs—towards high-quality E-assessments in computer science education. In: Proceedings of the 2010 International Conference on Educational and Information Technology (ICEIT), pp. 115–121. IEEE Computer Society, New York (2010)

    Google Scholar 

  9. n. A.: SQA Guidelines on Online Assessment for Further Education. Scottish Qualifications Authority (SQA), Glasgow (2003)

    Google Scholar 

  10. Kröll, M.: E-assessment: a suitable alternative for measuring competences? In: Proceedings of the 13th International Conference on Human–Computer Interaction. Part IV: Interacting in Various Application Domains, pp. 543–550. Springer, Berlin (2009)

    Google Scholar 

  11. Heywood, J.: Assessment in Higher Education: Student Learning, Teaching, Programmes and Institutions. Jessica Kingsley, London (2000)

    Google Scholar 

  12. http://www.gi-ev.de/fileadmin/redaktion/empfehlungen/GI-Empfehlung_BaMa2005.pdf

  13. Gruttmann, S., Usener, C., Kuchen, H.: Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium. Praxisbericht für e-teaching.org, Tübingen (2010)

    Google Scholar 

  14. Gruttmann, S., Böhm, D., Kuchen, H.: E-assessment of mathematical proofs: chances and challenges for students and tutors. In: Proceedings of the 2008 International Conference on Computer Science and Software Engineering, vol. 05, CSSE’08, pp. 612–615. IEEE Computer Society, Washington, DC (2008)

    Google Scholar 

  15. Gruttmann, S.: Formatives E-assessment in der Hochschullehre—Computerunterstützte Lernfortschrittskontrollen im informatikstudium. Ph.D. Thesis, University of Münster, Münster (2010)

    Google Scholar 

  16. Wannemacher, K.: Computergestützte Prüfungsverfahren: Aspekte der Betriebswirtschaftslehre und Informatik. In: Breitner, M.H., Bruns, B., Lehner, F. (eds.) Neue Trends im E-Learning. Aspekte der Betriebswirtschaftslehre und Informatik, pp. 427–440. Physica, Heidelberg (2007)

    Google Scholar 

  17. Striewe, M., Balz, M., Goedicke, M.: A flexible and modular software architecture for computer aided assessments and automated marking. In: Cordeiro, J.A.M., Shishkov, B., Verbraeck, A., Helfert, M. (eds.) Proceedings of the First International Conference on Computer Supported Education (CSEDU), pp. 54–61. INSTICC Press, Montreal (2009)

    Google Scholar 

  18. Rösner, D., Amelung, M., Piotrowski, M.: LlsChecker—ein CAA-System für die Lehre im Bereich Programmiersprachen. In: DeLFI2005: 3. Deutsche e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., Lecture Notes in Informatics (LNI)—Proceedings, pp. 307–318. GI-Verlag, Bonn (2005)

    Google Scholar 

  19. Jayal, A., Shepperd, M.: An improved method for label matching in e-assessment of diagrams. Innov. Teach. Learn. Inf. Comput. Sci. 8(1), 3–16 (2009)

    Google Scholar 

  20. Krinke, J., Störzer, M., Zeller, A.: Web-basierte programmierpraktika mit praktomat. Softwaretechnik-Trends 22(3), S.51–S.53 (2002)

    Google Scholar 

  21. Hoffmann, A., Quast, A., Wismüller, R.: Online-Übungssystem für die programmierausbildung zur Einführung in die informatik. In: Seehusen, S., Lucke, U., Fischer, S. (eds.) DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., LNI, vol. 132, pp. 173–184 (2008)

    Google Scholar 

  22. Truong, N., Roe, P., Bancroft, P.: Static analysis of students’ Java programs. In: Proceedings of the Sixth Conference on Australasian Computing Education, vol. 30, ACE’04, pp. 317–325. Australian Computer Society, Darlinghurst (2004)

    Google Scholar 

  23. Winkler, J.F.H.: The Fredge program prover FPP. In: 42. Internationales Wissenschaftliches Kolloquium, pp. 116–121. Technische Universität Ilmenau (1997)

    Google Scholar 

  24. Freining, C., Kauer, S., Winkler, J.F.H.: Ein Vergleich der programmbeweiser FPP, NPPV und SPARK. In: Winkler, J.F.H., Denecker, P., Keller, H.B., Tonndorf, M. (eds.) Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, pp. 127–145. Shaker Verlag, Aachen (2002)

    Google Scholar 

  25. Schaefer, U., Hohmann, C., Ockenfels, S., Viehmeyer, M.: Weiterentwicklung eines programmverifizierers in Java. Technical Report, Philipps-Universität Marburg (2004)

    Google Scholar 

  26. Ihantola, P.: Creating and visualizing test data from programming exercises. Inf. Educ. 6, 81–102 (2007)

    Google Scholar 

  27. Aaltonen, K., Ihantola, P., Seppälä, O.: Mutation analysis versus code coverage in automated assessment of students’ testing skills. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH’10, pp. 153–160. ACM, New York (2010)

    Google Scholar 

  28. Linwood, J., Minter, D.: Building Portals with the Java Portlet API (Expert’s Voice). Apress, Berkely (2004)

    Book  Google Scholar 

  29. http://jcp.org/aboutJava/communityprocess/final/jsr168/

  30. http://www.jcp.org/en/jsr/detail?id=286

  31. http://www.adaptivepath.com/ideas/essays/archives/000385.php

  32. Gruttmann, S., Kuchen, H.: A framework for formative E-assessments of mathematical proofs. In: Proceedings of the 2008 Symposium on e-Assessment in Practice (2008)

    Google Scholar 

  33. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)

    Article  Google Scholar 

  34. Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge (1993)

    Google Scholar 

  35. Weicker, N., Weicker, K.: Didaktische Anmerkungen zur Unterstützung der Programmierlehre durch E-Learning. In: Haake, J.M., Lucke, U., Tavangarian, D. (eds.) DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, pp. 435–446. Gesellschaft für Informatik e.V., Bonn (2005)

    Google Scholar 

  36. Usener, C.A., Majchrzak, T.A., Kuchen, H.: Combining state of the art software engineering and E-assessment. In: Proceedings of the IADIS International Conference e-Learning 2011 (eL2011). IADIS Press, Amsterdam (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tim A. Majchrzak .

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Majchrzak, T.A. (2012). Testing and E-Assessment. In: Improving Software Testing. SpringerBriefs in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27464-0_6

Download citation

Publish with us

Policies and ethics