Abstract2 다른 시도
이 글은 자동채점에 적합한 실습용 TCP 구현체의 추상 모델을 제시한다.
자동채점은 단지 채점 노고를 줄이는것 뿐만 아니라 프로젝트 참가자들이 구현 도중에 직접 피드백을 받아서 방향을 바로잡을 수 있게 해준다.
Pintos, Nachos 등의 실습용 OS들은 자동채점 기능을  제공하며 세계 각지의 대학에서 실습 머티리얼로 사용한다.
네트워크 시스템은 여러 노드들로 구성되어 있어서 환경을 통제하고 부분 테스트를 하기 힘들다.
우리가 제시하는 추상 모델은 최소한의 제약만을 도입하면서 자동채점과 부분테스트, 그리고 재현테스트 모두를 지원한다.
이렇게 실행 환경을 완전히 통제하면서도 프로젝트 참여자가 자신만의 TCP 추상화를 하는 것을 제한하지 않는다(자유롭다!).

This article suggests an abstraction of TCP implementation as an instrumental project that supports automated assessments.
**여기서 as an instrumental project는 "실습용으로서의 TCP 구현" 이라는 의미를 담고 싶었습니다.
Automated assessments not only reduce the burden of grading, but also help participants get feedback while they are implementing their projects. (아니면 during the implementation of their projects?)
Intrumental operating systems like Pintos and Nachos provide automated assessments and both are widely used over several universities as practice materials.
Network systems like TCP layer contain multiple nodes, so controling execution environment and doing partial test is difficult.
We instantiate any TCP layer implementation into a single datastructure like driver programs in Linux systems.
Our TCP layer abstraction makes 
Our prototype can cover not only simple functional tests, but also verification of congestion control algorithms.
While having control of the execution environment, our abstraction does not restrict the participants from building their own abstraction of TCP.