Center for Open Access in Science (COAS) OPEN JOURNAL FOR INFORMATION TECHNOLOGY (OJIT) ISSN (Online) 2620-0627 * ojit@centerprode.com

OJIT Home

2018 - Volume 1 - Number 2

Automated Checking in Education

Tatiana A. Andreyeva * ata@iis.nsk.su * ORCID: 0000-0002-1124-9499 * ResearcherID: L-4697-2018
A. P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Open Journal for Information Technology, 2018, 1(2), 25-36 * https://doi.org/10.32591/coas.ojit.0102.01025a
Online Published Date: 2 October 2018

LICENCE: Creative Commons Attribution 4.0 International License.

ARTICLE (Full Text - PDF)

KEY WORDS: automated correctness checking, test case generation, text analysis.

ABSTRACT:
This work concerns the automated checking of solutions in education. The article discusses the structure of a problem as a whole body and of its parts, studies various check approaches, introduces problem complexes, suggests methods for creating accurate and consistent problem statements and check sets, and touches the automation of the preparation of problem sets and of the checking processes.

CORRESPONDING AUTHOR:
Tatiana A. Andreyeva, VLSI CAD Laboratory, A. P. Ershov Institute of Informatics Systems, 6, Lavrentiev st., Novosibirsk, 630090, RUSSIAN FEDERATION. E-mail: ata@iis.nsk.su.

REFERENCES:

Anderson, R. B. (1979). Proving programs correct. John Wiley & Sons, Inc. (Chapter 5).

Andreyeva, T. (2002). Structure and classification of contest problems’ texts (Структура и классификация текстов олимпиадных задач). Компьютерные Инструменты в Образовании, 3-4, 50-59 (in Russian). http://ipo.spb.ru/journal/index.php?article/223/ or http://ipo.spb.ru/journal/index.php?magazines/2002/34/e/.

Andreyeva, T. (2016). Automated generation of test sets. In: Science in the Modern Information Society IX: Proceedings of the conference (pp. 110-112). North Charleston, USA, 1-2 August 2016.

Andreyeva, T. (2018a). Automated preparation of problem complexes. Материалы Международной Научно-практической Конференции «Наука Сегодня: Теоретические и Практические Аспекты», г. Вологда, 27 декабря 2017 г.: в 2 частях. Часть 1, 25-26 (in English). Retrieved from http://volconf.ru/files/archive/01_27.12.2017.pdf.

Andreyeva, T. А. (2018b). Automated preparation of problem complexes for programming contests (Автоматизированная подготовка задачных комплектов для олимпиад по программированию). Наука. Информатизация. Технологии. Образование: материалы XI международной научно-практической конференции. – Екатеринбург, 26 февраля-2 марта 2018 г. Екатеринбург, РГППУ, 10-23 (in Russian). Retrieved from http://nito.rsvpu.ru/files/nito2018/nito2018.pdf.

Ashby, W. R. (1956). Introduction to cybernetics. Chapman & Hall.

Beizer, B. (1995). Black-box testing: Techniques for functional testing of software and systems. New York, NY, USA: John Wiley & Sons, Inc.

Eysenck, H. J. (1962). Know your own I. Q. Penguin Books.

Floyd, R. W. (1967). Assigning meanings to programs. In: J. T. Schwartz (Ed.), Mathematical Aspects of Computer Science. Proceedings of Symposium on Applied Mathematics. 19. American Mathematical Society (pp. 19-32). ISBN 0821867288

Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10), 576-580. https://doi.org/10.1145/363235.363259

ISO/IEC/IEEE 24765:2010 International Standard. Systems and software engineering – Vocabulary. IEEE. https://doi.org/10.1109/IEEESTD.2010.5733835

Myers, G. J. (1979). The art of software testing. New York: John Wiley & Sons.

Myers, G. J., Badgett, T., & Sandler C. (2011). The art of software testing (3rd ed.). New York: John Wiley & Sons.

Ponrod, C. (2014). The study of black-box testing technique for collateral management system. Mahidol University Press.

Singh, Y. (2012). Software testing (Chapter 1.3.4.). Cambridge University Press.

© Center for Open Access in Science