Comparative correctness testing

Micheal A. AlexisPonniah, John Jenq

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The task of grading student programs is neither simple nor entirely mechanical; rather, it is often a tedious and laborious process that is prone to human error. A novice grading program that test the correctness of students' homework is presented. The correctness of a program in our grading environment is determined using a novel method called comparative correctness (CC). The method CC is presented and tested. The method can be used to test the correctness of methods in a program.

Original languageEnglish
Title of host publicationCITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings
Pages284-289
Number of pages6
StatePublished - 1 Dec 2007
Event4th International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA 2007, Jointly with the 5th International Conference on Computing, Communications and Control Technologies, CCCT 2007 - Orlando, FL, United States
Duration: 12 Jul 200715 Jul 2007

Publication series

NameCITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings
Volume1

Other

Other4th International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA 2007, Jointly with the 5th International Conference on Computing, Communications and Control Technologies, CCCT 2007
CountryUnited States
CityOrlando, FL
Period12/07/0715/07/07

Keywords

  • Comparative correctness
  • Online homework handling

Fingerprint Dive into the research topics of 'Comparative correctness testing'. Together they form a unique fingerprint.

  • Cite this

    AlexisPonniah, M. A., & Jenq, J. (2007). Comparative correctness testing. In CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings (pp. 284-289). (CITSA 2007 - Int. Conference on Cybernetics and Information Technologies, Systems and Applications and CCCT 2007 - Int. Conference on Computing, Communications and Control Technologies, Proceedings; Vol. 1).