Abstract
This chapter introduces E-learning and e-assessment and their connection to software testing.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
A general introduction to “classroom assessment” is example given by Black and Wiliam [3].
- 2.
Formal Specification is a lecture offered in the IS studies at the WWU Münster.
- 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
Laumer, S., von Stetten, A., Eckhardt, A.: E-assessment. Bus. Inf. Syst. Eng. 1(3), 263–265 (2009)
Ruedel, C.: Was ist E-assessment. In: Ruedel, C., Mandel, S. (eds.) E-Assessment: Einsatzszenarien und Erfahrungen an Hochschulen. Waxmann, Münster (2010)
Black, P., Wiliam, D.: Assessment and classroom learning. Assess. Educ. Princ. Pol. Pract. 5(1), 7–74 (1998)
Konradt, U., Sarges, W. (eds.): E-Recruitment und E-Assessment: Rekrutierung, Auswahl und Beratung von Personal im Inter- und Intranet. Hogrefe, Göttingen (2003)
Steiner, H. (ed.): Online-Assessment: Grundlagen und Anwendung von Online-Tests in der Unternehmenspraxis. Springer, Heidelberg (2009)
Schmidt, J.U., Gutschow, K. (eds.): Vom Papier zum Bildschirm: computergestützte Prüfungsformen. Bertelsmann, Bielefeld (1999)
Pellegrino, W.J., Chudowsky, N., Glas, R.: Knowing What Students Know: The Science and Design of Educational Assessment. National Academy Press, Washington, DC (2001)
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)
n. A.: SQA Guidelines on Online Assessment for Further Education. Scottish Qualifications Authority (SQA), Glasgow (2003)
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)
Heywood, J.: Assessment in Higher Education: Student Learning, Teaching, Programmes and Institutions. Jessica Kingsley, London (2000)
http://www.gi-ev.de/fileadmin/redaktion/empfehlungen/GI-Empfehlung_BaMa2005.pdf
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)
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)
Gruttmann, S.: Formatives E-assessment in der Hochschullehre—Computerunterstützte Lernfortschrittskontrollen im informatikstudium. Ph.D. Thesis, University of Münster, Münster (2010)
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)
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)
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)
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)
Krinke, J., Störzer, M., Zeller, A.: Web-basierte programmierpraktika mit praktomat. Softwaretechnik-Trends 22(3), S.51–S.53 (2002)
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)
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)
Winkler, J.F.H.: The Fredge program prover FPP. In: 42. Internationales Wissenschaftliches Kolloquium, pp. 116–121. Technische Universität Ilmenau (1997)
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)
Schaefer, U., Hohmann, C., Ockenfels, S., Viehmeyer, M.: Weiterentwicklung eines programmverifizierers in Java. Technical Report, Philipps-Universität Marburg (2004)
Ihantola, P.: Creating and visualizing test data from programming exercises. Inf. Educ. 6, 81–102 (2007)
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)
Linwood, J., Minter, D.: Building Portals with the Java Portlet API (Expert’s Voice). Apress, Berkely (2004)
http://www.adaptivepath.com/ideas/essays/archives/000385.php
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)
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge (1993)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Rights 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
DOI: https://doi.org/10.1007/978-3-642-27464-0_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27463-3
Online ISBN: 978-3-642-27464-0
eBook Packages: Business and EconomicsBusiness and Management (R0)