정보과학회논문지 (Journal of KIISE)
Current Result Document :
| 한글제목(Korean Title) |
Concolic Testing 기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구 |
| 영문제목(English Title) |
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique |
| 저자(Author) |
서강복
이성희
김덕엽
이우진
Kangbok Seo
Sunghee Lee
Deokyeop Kim
Woojin Lee
|
| 원문수록처(Citation) |
VOL 46 NO. 11 PP. 1133 ~ 1139 (2019. 11) |
한글내용
(Korean Abstract) |
최근 프로그래밍 교육에 대한 관심이 많아지면서 효과적인 프로그래밍 교육을 위한 연구가 활발히 진행되고 있다. 현재 다양한 자동 채점 시스템이 개발되어 프로그래밍 교육에 활용되고 있지만 이 시스템을 사용하기 위해 강사가 직접 작성해야 하는 내용들이 존재한다. 특히 채점 시 사용되는 테스트 케이스가 이러한 경우이다. 채점에 사용되는 테스트 케이스는 단순히 올바른 입력만을 사용하지 않고 학생들이 소스코드에 추가할 수 있는 다양한 부분을 고려해서 작성해야 한다. 이런 테스트 케이스를 강사가 직접 작성하는 경우 작성자의 실수로 인해 충분하지 못한 테스트 케이스나 잘못된 테스트 케이스가 작성되어 채점 자체가 잘못 이루어질 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 학생들의 소스코드에 concolic testing 기법을 적용하여 기존 채점에 사용되던 테스트 케이스를 개선하는 도구를 제안하였다. 또한 제안한 도구를 이용해 잘못 채점된 사례를 발견하고 개선된 테스트 케이스를 추가하여 다시 채점한 결과를 보였다. |
영문내용
(English Abstract) |
Recently, as programming education has attracted increasing interest, studies on effective programming education have been actively investigated. Various automatic scoring systems have been developed and are currently used in programming education, but in these systems, there are some contents that the instructor must write, such as test cases for scoring. The test cases used for scoring should not simply use the correct input, but should also be written in consideration of the various parts that students might add to the source code. If the instructor writes such a test case, the author's mistake may lead to insufficient test cases or incorrect test cases, ultimately resulting in incorrect scoring. In order to solve these problems, this paper proposed a tool to improve the test cases used in existing scoring by applying the concolic testing technique to the source code submitted by the students. In addition, using the proposed tool, we found a case in which the scoring was incorrect, so we added an improved test case to perform the scoring again.
|
| 키워드(Keyword) |
소프트웨어 테스팅
Concolic Testing
테스트 케이스 생성
온라인 채점 시스템
software testing
concolic testing
test case generation
online judge system
|
| 파일첨부 |
PDF 다운로드
|
