정보처리기사 필기 2021년 2회 공개기출 100문항

정답은 ③이다. 이 문항은 시스템의 동작을 입력·처리·출력과 피드백·제어로 나누어 보는 기능 모형을 전제로 한다. 처리는 입력을 결과로 바꾸며, 피드백은 출력이나 현재 상태에 관한 정보를 다시 전달하고, 제어는 목표와의 차이에 대응하여 동작을 조절한다. 유지보수는 결함 수정과 환경 변화 대응 등 시스템을 계속 사용할 수 있게 관리하는 활동이다. 따라서 제시한 모형의 기능 요소와 구별된다. 유지보수가 실제 시스템 운영에 필요하지 않다는 뜻은 아니다.

정답은 ②이다. UML의 액터는 모델링 대상 시스템과 상호작용하는 외부 역할이다. 사람이 맡는 사용자 역할뿐 아니라 다른 소프트웨어나 외부 장치의 역할도 액터가 될 수 있다. 유스케이스는 외부 액터에게 가치 있는 결과를 제공하는 시스템의 행위를 나타내므로 개발자 개인의 요구만 추출하는 도구로 제한할 수 없다. 동일한 사람이 여러 액터 역할을 맡을 수도 있다. 시스템 연동도 송신만 가능한 방식으로 한정되지 않으며 요청과 응답 등 양방향 상호작용이 가능하다.

정답은 ①이다. 대표적인 요구사항 개발 흐름은 도출 → 분석 → 명세 → 검증이다. 도출에서는 이해관계자와 업무 자료에서 필요한 사항을 찾고, 분석에서는 충돌·누락·제약과 우선순위를 검토한다. 명세는 합의한 요구를 확인 가능한 형태로 기록하는 활동이며, 검증은 실제 필요와의 적합성·일관성 등을 확인하는 활동이다. 그림의 기호에 대응시키면 ㉠ → ㉡ → ㉢ → ㉣이다. 실제 프로젝트에서는 검토 결과에 따라 앞 활동으로 돌아가므로 반드시 한 번만 진행하는 고정 절차로 이해하지 않는다.

정답은 ①이다. 클래스는 공통된 속성과 동작을 기술하는 분류이며, 그 클래스에 속하는 구체적인 개별 객체를 인스턴스라고 한다. 예를 들어 학생 클래스에 속하는 두 학생 객체는 같은 속성 구조와 동작을 따르더라도 각각의 이름과 학번 등 상태가 다를 수 있다. 메시지는 객체 사이에 전달되는 요청이고 메서드는 동작의 구현이다. 모듈은 프로그램을 나누는 구성 단위를 가리킨다. 따라서 클래스의 개별 사례라는 질문에는 인스턴스가 대응한다.

정답은 ③이다. 정보 은닉은 다른 모듈이나 객체가 알 필요 없는 내부 표현과 변경 가능성이 큰 구현 결정을 공개 인터페이스 뒤에 감추는 설계 원칙이다. 내부 구현을 바꾸더라도 외부가 의존하는 계약이 유지되면 변경의 영향을 제한할 수 있다. 캡슐화는 자료와 동작을 하나의 경계에 묶는 방식으로 정보 은닉을 지원할 수 있어 두 개념이 함께 설명되기도 한다. 원문에는 두 용어가 겹치는 선택지가 있어, 개정 문항에서는 내부 설계 결정의 은닉이라는 판정 기준과 보기를 명확히 했다.

정답은 ③이다. Bridge는 추상적인 기능과 그 구현을 분리하여 두 부분을 서로 독립적으로 확장할 수 있게 하는 구조 패턴이다. 기존 클래스의 인터페이스를 클라이언트가 기대하는 인터페이스에 맞추는 것은 Adapter의 핵심 목적이다. Factory Method는 구체적인 생성 대상을 하위 클래스가 결정하도록 하고, Prototype은 준비한 원형 객체를 복제하여 새 객체를 만든다. Mediator는 여러 객체 사이의 협력을 중재하는 객체를 두어 서로 직접 의존하는 복잡성을 줄인다.

정답은 ②이다. 요구사항 분석에서는 이해관계자마다 다른 용어와 배경 지식, 암묵적인 업무 규칙, 누락된 예외 상황을 조정해야 한다. 사용자가 모든 요구를 처음부터 명확하고 완전하게 설명한다고 기대하기 어렵고 개발 중에 환경과 우선순위도 바뀔 수 있다. 그러므로 예외가 거의 없어 요구의 열거와 구조화가 쉽다는 설명은 요구 분석의 일반적인 어려움을 나타내지 않는다. 인터뷰·워크숍·모델·시제품 등을 사용하여 공통 이해를 쌓고 필요한 내용을 반복해서 확인한다.

정답은 ②이다. 이 문항에 명시한 ISO/IEC 25010:2011 제품 품질 모형에서 가용성은 신뢰성의 하위 특성이고 변경 용이성은 유지보수성의 하위 특성이다. 사용성은 그 자체로 주요 품질 특성이다. 반면 Isolation은 이 판의 제품 품질 특성·하위 특성 목록에 제시된 명칭이 아니다. 다만 격리나 독립성이 모든 시스템에서 품질과 무관하다는 뜻은 아니다. 트랜잭션 격리와 장애 격리 등 다른 문맥에서는 중요한 요구가 될 수 있으며, 여기서는 특정 표준의 명칭을 비교한다.

정답은 ③이다. 그림은 연계할 원천 데이터를 자신의 데이터베이스나 응용 프로그램에서 찾아 연계 테이블 또는 파일을 만드는 쪽을 설명한다. 다른 시스템으로 보낼 자료를 준비하는 역할이므로 송신 시스템이다. 수신 시스템은 전달받은 자료를 해석하고 자신의 업무 처리에 반영하는 쪽이다. 중계 서버나 연계 서버는 두 시스템 사이의 전달·변환 등을 맡을 수 있지만, 이름만으로 원천 데이터를 소유하고 보내는 역할을 뜻하지는 않는다. 역할은 해당 데이터 흐름의 방향을 기준으로 판단한다.

정답은 ④이다. CASE는 요구·설계·구현·시험 등 소프트웨어 공학 활동을 도구로 지원하는 접근이다. 구조적 모델의 작성, 시제품을 통한 요구 확인, 산출물을 보관하고 연결하는 저장소는 개발 정보를 표현하고 관리하는 기능과 연결된다. 반면 단순한 운영 작업의 일괄 실행 예약만으로는 요구 분석과 설계 모델을 작성·관리하는 기능이라고 할 수 없다. 실제 CASE 도구 내부에 배치 처리가 쓰일 수 있으므로 일괄 처리 기술 자체가 CASE에 절대 사용되지 않는다고 단정해서는 안 된다.

정답은 ④이다. 객체 사이에서 동작의 수행을 요청하거나 정보를 전달하는 상호작용을 메시지로 표현할 수 있다. 예를 들어 주문 객체가 결제 객체에 결제를 요청하면, 보내는 쪽과 받는 쪽 사이의 메시지를 모델링한다. 클래스는 공통된 속성과 동작을 정의하는 분류이고 객체는 그 구체적인 사례다. 패키지는 모델 요소 등을 묶어 조직하는 단위다. 메시지가 언제나 동기적인 메서드 호출만 의미하는 것은 아니며, UML에서는 비동기 신호와 응답 등도 구별한다.

정답은 ④이다. 파이프-필터 구조는 입력 데이터를 처리하는 필터들을 데이터 전달 통로인 파이프로 연결한다. 앞 필터의 출력이 다음 필터의 입력이 되어 여러 처리 단계를 구성하므로, 자료 정제 → 변환 → 집계 같은 흐름에 적용할 수 있다. 각 필터는 맡은 변환에 집중하며 연결 방식과 자료 형식에 맞추어 조합된다. 클라이언트-서버는 요청자와 서비스 제공자의 역할을, 계층 구조는 책임 수준을, MVC는 모델·화면·제어의 분리를 중심으로 하는 구조다.

정답은 ②이다. 럼바우 등의 OMT는 시스템을 객체·동적·기능 모델의 서로 다른 관점으로 분석한다. 객체 모델은 객체의 분류와 관계 등 구조를, 동적 모델은 사건에 따른 상태와 변화를, 기능 모델은 입력을 출력으로 바꾸는 자료 변환을 다룬다. 세 관점은 서로 보완적이며 하나가 다른 관점을 모두 대신하지 않는다. 객체 모델에 정적인 구조가 포함된다는 사실과 정적 모델을 독립적인 세 번째 모델로 나열하는 것은 구별해야 한다. 보기 중 세 관점을 모두 포함한 것은 ②다.

정답은 ②이다. UML 2.5.1의 다이어그램 분류에는 활동, 클래스, 시퀀스 다이어그램이 포함된다. 활동 다이어그램은 작업의 흐름과 제어·자료 흐름을, 클래스 다이어그램은 분류자와 관계 같은 구조를, 시퀀스 다이어그램은 참여자 사이의 메시지 교환을 나타내는 데 사용한다. Procedural diagram은 해당 UML 다이어그램 분류의 이름이 아니다. 절차적인 알고리즘을 UML의 활동 다이어그램으로 표현할 수 있다는 사실과 절차 다이어그램이라는 공식 분류가 존재한다는 주장은 서로 다르다.

정답은 ②이다. UML의 실체화는 한 요소가 다른 요소의 명세를 구현하거나 충족하는 관계를 표현한다. 인터페이스가 제공한 오퍼레이션 계약을 클래스가 구현하는 경우가 대표적인 예다. 의존은 다른 요소의 정의에 기대는 관계이고, 일반화는 보다 일반적인 분류자와 특수한 분류자의 관계이며, 연관은 인스턴스 사이의 연결을 표현한다. 원문의 다른 객체에게 오퍼레이션을 수행하도록 요청한다는 설명은 메시지와 혼동되므로, 개정 문항은 명세와 구현의 관계를 묻도록 정리했다.

정답은 ②이다. 분석·설계의 모델 작성과 검토를 지원하는 범위를 상위 CASE로 구분하면, 자료 흐름도 작성과 모델의 오류·불일치 검사는 이 범위에 속한다. 전체 소스 코드를 생성하는 기능은 구현 단계 지원과 연결되므로 질문에서 한정한 분석·설계 모델 지원 기능과 구별된다. 오늘날 통합 개발·모델링 도구는 여러 단계의 기능을 함께 제공할 수 있다. 따라서 어떤 도구도 모델과 코드 생성을 동시에 지원할 수 없다는 뜻으로 받아들여서는 안 된다.

정답은 ②이다. 요구사항 변경 관리에서는 어떤 요구가 왜 바뀌는지, 영향을 받는 설계·코드·시험은 무엇인지, 변경의 비용과 편익이 어떠한지 확인해야 한다. 관리 도구는 속성과 이력의 저장, 추적 관계 및 변경 통제를 지원한다. 기존 시스템과 신규 시스템에 실제 부하를 가하여 성능을 측정하는 일은 성능 시험 도구의 직접적인 기능이다. 그 측정 결과가 요구 확인에 활용될 수는 있지만, 성능 시험의 실행 자체와 요구 변경 이력을 관리하는 기능은 구별한다.

정답은 ④이다. Hadoop은 여러 컴퓨터를 이용하여 대규모 데이터를 저장하고 처리하는 분산 컴퓨팅 소프트웨어 프로젝트다. 개발팀의 반복 주기와 협업 방식을 정하는 애자일 개발 방법론의 이름은 아니다. Scrum은 반복적인 검사와 적응을 지원하는 프레임워크이고 XP는 시험·피드백 등 개발 실천을 강조하며 FDD는 기능 단위를 중심으로 개발을 조직하는 방법이다. 애자일 방식으로 Hadoop을 개발하거나 활용할 수 있다는 사실이 Hadoop 자체를 개발 방법론으로 바꾸지는 않는다.

정답은 ①이다. Singleton은 클래스의 인스턴스 수를 하나로 제한하고 그 인스턴스에 접근할 수 있는 지점을 제공하려는 생성 패턴이다. Adapter는 인터페이스를 맞추고 Decorator는 객체를 감싸 책임을 덧붙이는 구조 패턴이다. State는 객체의 내부 상태에 따라 동작이 달라지는 것을 상태 객체들로 표현하는 행동 패턴이다. Singleton이 생성 패턴이라는 사실이 모든 프로그램에서 공유 인스턴스를 사용하는 것이 바람직하다는 뜻은 아니며 동시성과 시험 용이성도 고려해야 한다.

정답은 ②이다. 사용자 인터페이스는 사용자가 목표를 이해하고 실행하며 결과를 확인할 수 있도록 돕는 접점이다. 좋은 설계는 오류를 예방하거나 복구하기 쉽게 하고, 필요한 작업의 절차와 상태를 드러내며, 사용자의 맥락과 능력을 고려한다. 편의성과 효율을 높이려는 목표에 불필요한 작업시간을 늘린다는 설명은 맞지 않는다. 다만 안전 확인이나 학습처럼 시간이 필요한 절차도 있으므로, 무조건 클릭 수나 시간을 줄이는 것만이 좋은 인터페이스의 유일한 기준은 아니다.

정답은 ④이다. 이진 힙을 이용하는 일반적인 힙 정렬은 힙을 구성한 뒤 최댓값을 꺼내 정렬 구간으로 이동시키는 작업을 반복한다. 힙은 완전 이진트리 형태를 배열로 표현할 수 있으며 높이가 로그 규모이므로 한 번의 복구가 O(log n)에 수행된다. 이를 반복하는 정렬 단계의 최악 시간은 Θ(n log n)이다. 단순한 상한인 O 표기에서는 더 큰 함수도 상한이 될 수 있으므로, 개정 문항은 증가 차수를 양쪽에서 묶는 Θ 표기로 비교하여 지수 시간이라는 오답을 분명하게 했다.

정답은 ③이다. 단위 테스트는 함수나 모듈처럼 분리한 작은 구성요소의 동작에 초점을 둔다. 내부 알고리즘, 계산식, 반복문의 종료 조건 등은 그 단위 안에서 집중적으로 검사할 수 있다. 실제 모듈들을 연결했을 때 나타나는 자료 전달과 호출 규약 등 상호작용의 결함은 통합 테스트의 핵심 대상이다. 단위 테스트에서도 모의 객체 등을 통해 계약 위반의 일부를 발견할 수 있으므로, 상호작용 오류를 절대로 발견할 수 없다는 식의 원문 표현은 피해야 한다.

정답은 ②이다. 결함 집중 원칙은 발견한 결함이나 운영 장애의 많은 부분이 상대적으로 적은 수의 구성요소에 모이는 경향을 말한다. 그림의 파레토 법칙은 이처럼 분포가 고르지 않을 수 있음을 설명하는 비유다. 모든 프로젝트에서 정확히 20%의 모듈에 80%의 결함이 있어야 한다는 수학적 보장은 아니다. 결함 이력과 변경량 등을 참고해 시험 우선순위를 정하되, 다른 영역을 검사하지 않아도 된다는 결론으로 확대해서는 안 된다.

정답은 ④이다. 체크인은 작업한 파일이나 변경 집합을 버전 관리 저장소에 새 이력으로 기록하는 동작을 뜻한다. 도구에 따라 커밋이라는 표현을 쓰며, 분산 버전 관리에서는 로컬 커밋과 원격 저장소 전송을 구별하기도 한다. 형상 감사는 실제 산출물과 기준선·변경 기록의 일치 여부를 확인하는 활동이고, 롤백은 이전 상태로 되돌리는 작업이다. 단위 테스트는 작은 구성요소의 동작을 검사하는 활동이다. 새 버전의 저장이라는 질문에는 체크인이 해당한다.

정답은 ④이다. 기본 경로 시험은 제어 흐름 그래프에서 서로 독립적인 실행 경로의 집합을 선택하여 검사하는 구조 기반 기법이다. 반복문도 제어 구조이므로 기본 경로에 반복 구간이 포함될 수 있다. 사이클을 전혀 허용하지 않는 경로라고 정의하는 것은 잘못이다. 화이트박스 시험은 내부 구조를 이용하고 블랙박스 시험은 명세상의 입력·출력과 동작을 중심으로 설계한다. 시험 사례는 수행 조건과 입력, 기대 결과를 분명하게 하여 실제 결과를 판정할 수 있게 해야 한다.

정답은 ④이다. 가상 사용자의 요청을 발생시키고 응답시간과 처리량, 자원 사용 등을 측정하여 성능 목표를 평가하는 도구는 성능 테스트 도구다. 예를 들어 JMeter는 여러 요청을 통해 부하를 만들고 처리 성능을 관찰하는 데 쓰인다. 부하 조건과 측정 구간, 요청의 종류가 달라지면 결과도 달라지므로 목표와 시험 시나리오를 함께 정해야 한다. 명세·코드 기반 설계 도구는 시험 사례를 만드는 근거에 초점을 두고, 기능 시험 도구는 요구한 기능의 결과가 맞는지를 확인한다.

정답은 ③이다. 형상 관리는 개발과 유지보수 전 과정에서 산출물의 식별·변경 통제·상태 기록·감사를 수행한다. 코드뿐 아니라 계획서와 요구·설계 문서, 시험 사례도 관리 대상이 될 수 있다. Ant·Maven·Gradle은 대표적인 빌드 자동화 도구이며 소스의 버전 이력을 저장하는 Git 같은 버전 관리 시스템과는 역할이 다르다. 빌드 자동화도 넓은 형상 관리 과정에 활용되므로, 이들 도구가 형상 관리와 전혀 관련이 없다고 표현하지 않고 도구의 직접적인 기능을 비교한다.

정답은 ①이다. 데이터 웨어하우스는 여러 원천의 데이터를 분석에 활용할 수 있도록 통합·저장하는 환경이다. DRM에서 콘텐츠를 포장하고 배포하거나 이용 권한을 집행하는 역할의 명칭과는 다르다. 패키저는 암호화와 관련 메타데이터를 포함한 배포 콘텐츠를 준비하고, 배포자는 콘텐츠를 전달하며, 제어 구성요소는 이용권한을 확인하여 재생 등을 제어한다. 실제 DRM 제품의 세부 구성과 명칭은 다를 수 있고 운영 분석용 저장소가 부가적으로 쓰일 수도 있다.

정답은 ②이다. 분산 버전 관리에서는 개발자가 전체 프로젝트 이력을 포함하는 저장소를 로컬에 가질 수 있다. 따라서 원격 서버에 연결되지 않아도 이력 조회나 새 커밋 작성 등을 할 수 있고, 이후 다른 저장소와 변경을 교환한다. Git이 대표적인 예다. 여러 사람이 쓰는 원격 저장소를 함께 운영하더라도 로컬 저장소들이 이력을 가진다는 분산 구조는 유지된다. 단순 공유 폴더에 파일을 놓는 방식이나 모든 이력 작업을 중앙 서버에 의존하는 구조와 구별된다.

정답은 ③이다. 블랙박스 시험은 내부 코드를 보지 않고 명세와 입력·출력의 관계를 근거로 사례를 설계한다. 잘못된 입력 처리, 정상 기능 결과, 경계값의 출력 등을 검사할 수 있다. 반면 코드 내부의 특정 반복문이나 분기 경로가 실행되었는지 확인하는 커버리지 기준은 구조 기반인 화이트박스 시험의 관점이다. 반복문 결함도 잘못된 출력으로 나타나면 블랙박스 시험에서 발견할 수 있으므로, 결함의 발생 위치가 아니라 시험을 설계하고 평가하는 근거를 구별해야 한다.

정답은 ④이다. 왼쪽에서 오른쪽으로 인접한 두 값을 비교하여 큰 값을 오른쪽으로 옮긴다. 초기 자료 9, 6, 7, 3, 5에 한 회전을 적용하면 6, 7, 3, 5, 9가 되어 최댓값 9가 끝에 놓인다. 두 번째 회전에서는 6과 7은 그대로 두고, 7과 3을 교환한 뒤 7과 5를 교환한다. 결과는 6, 3, 5, 7, 9다. 하나의 비교·교환과 미정렬 구간 전체를 훑는 한 회전을 혼동하지 않아야 하며, 반대 방향으로 순회하는 구현과 구별하도록 방향을 명시했다.

정답은 ①이다. 일반적인 합병 정렬은 자료를 반으로 나누어 각각 정렬한 뒤 두 정렬 구간을 합친다. 한 단계에서 합병하는 전체 자료량은 Θ(N)이고 분할 깊이는 Θ(log N)이므로 최악 시간은 Θ(N log N)이다. 일반적인 버블·선택·삽입 정렬은 최악의 경우 Θ(N²) 시간이 든다. 이미 정렬된 입력에서는 조기 종료를 적용한 버블 정렬이나 삽입 정렬의 성능이 달라질 수 있으므로, 입력 상태와 상한만 모호하게 제시한 원문 대신 최악의 정확한 차수를 비교한다.

정답은 ②이다. 후위 표기식은 연산자를 두 피연산자 뒤에 쓰므로 스택을 이용하여 왼쪽부터 계산할 수 있다. 그림의 식은 3 4 * 5 6 * +다. 3과 4를 저장한 뒤 *를 만나면 두 수를 꺼내 12를 넣고, 5와 6 뒤의 *에서는 30을 만든다. 마지막 +가 12와 30을 더하므로 결과는 42다. 일반적인 중위식으로 표현하면 (3×4)+(5×6)이다. 뺄셈·나눗셈이라면 먼저 꺼낸 값을 오른쪽 피연산자로 삼는 순서에도 주의해야 한다.

정답은 ①이다. Message Bus는 여러 응용이 공유하는 메시징 기반과 공통 데이터·명령 체계를 통해 서로 협력하도록 하는 통합 구조다. 응용들은 공통 인터페이스와 어댑터를 이용하여 버스에 연결되고, 필요에 따라 라우팅이나 발행·구독 방식으로 메시지를 교환한다. Point-to-point는 응용 사이의 직접 연결을, Hub & Spoke는 중앙 허브에 모이는 연결을, Hybrid는 여러 유형의 결합을 강조한다. 단순히 미들웨어가 있다는 단서만으로는 여러 보기를 배제할 수 없어 공통 버스라는 구조를 명시했다.

정답은 ①이다. FoxBASE는 데이터베이스를 만들고 조회·수정하며 관련 응용을 개발하는 데이터베이스 제품이다. Fox Software의 당시 제품 안내에서도 데이터베이스 관리 시스템으로 소개한다. STAF는 시험 자동화를 지원하는 프레임워크이고 Watir는 브라우저를 조작하여 웹 응용을 시험하는 도구다. xUnit은 JUnit 등과 같이 시험 사례와 단언을 구성하는 단위 시험 프레임워크 계열을 가리킨다. 이들 시험 도구가 모든 종류의 인터페이스 검증을 자동으로 대신한다는 뜻은 아니다.

정답은 ②이다. 읽기 쉽고 변경하기 쉬운 코드는 의도를 드러내는 이름과 단순한 흐름, 적절한 책임 분리, 불필요한 중복의 제거를 지향한다. 한 모듈의 변경이 다른 모듈에 미치는 영향을 최대화하는 것은 이러한 목적과 반대다. 인터페이스와 의존성을 관리하여 필요한 변경의 범위를 제한하는 편이 수정과 시험에 유리하다. 다만 코드가 짧기만 하거나 중복을 없애기 위해 지나치게 복잡한 추상화를 도입하는 것도 바람직하지 않으므로 이해 가능성을 함께 판단해야 한다.

정답은 ①이다. 패키징은 배포할 코드와 자원, 의존성·버전 정보 및 설치에 필요한 내용을 사용 환경에 맞는 형태로 구성하는 작업이다. 사용자가 설치하고 업데이트하며 문제를 해결할 수 있도록 지원 조건과 문서를 제공해야 한다. 개발자가 만들기 편하다는 이유만으로 사용자 설치와 실행 환경을 고려하지 않아도 된다는 설명은 틀렸다. 모든 패키지가 상용 제품이어야 하거나 하나의 패키지가 모든 운영체제에서 동작하는 것은 아니므로, 지원 대상과 배포 형식을 명확히 정하는 것이 중요하다.

정답은 ③이다. 잘 설계한 소프트웨어는 요구한 신뢰성과 유지보수성, 사용성을 확보하고 위험과 목적에 맞는 검증을 거쳐야 한다. 사용자의 능력이나 작업 맥락, 접근성 필요를 무시한 채 한 가지 조작만 강요하는 것은 사용자 중심 설계에 어긋난다. 반면 같은 동작에 일관된 표현과 조작을 사용하는 것은 일반적으로 좋은 원칙이다. 원문의 일관된 인터페이스를 제공한다는 문장을 그대로 오답으로 설명하면 일관성이 나쁘다는 오해를 낳으므로 사용자 차이를 무시하는 조건을 명시했다.

정답은 ①이다. 테스트는 소프트웨어와 산출물을 평가하고 결함이나 실패를 드러내며 요구 충족 여부에 관한 정보를 얻는 활동이다. 디버깅은 관찰한 실패의 원인을 조사하고 결함을 찾아 수정하는 활동이다. 따라서 두 활동은 서로 관련되지만 같은 일은 아니다. 수정 후에는 해당 문제가 해결되었는지 확인하는 재시험과 다른 부분에 악영향이 없는지 살피는 회귀 시험이 필요할 수 있다. 디버깅도 원인을 찾는 과정을 포함하므로 단순히 테스트는 찾기, 디버깅은 수정만이라고 제한하지 않는다.

정답은 ①이다. 재귀 호출은 호출한 함수로 되돌아갈 정보와 지역 상태를 호출 스택에 보관하는 방식으로 설명할 수 있다. 후위식 계산은 피연산자와 중간 결과를 스택에 넣고 꺼내며, 깊이우선탐색도 명시적인 스택이나 재귀 호출로 되돌아갈 위치를 관리한다. 일반적인 선택 정렬은 남은 구간의 최솟값을 찾아 앞자리와 교환하므로 이러한 스택 사용이 핵심인 알고리즘은 아니다. 선택 정렬을 어떤 방식으로 구현해도 스택과 무관하다는 절대적인 주장은 아니다.

정답은 ③이다. 수평 분할은 한 릴레이션의 행들을 여러 저장 위치로 나누는 방식이다. 라운드 로빈은 행을 차례로 순환 배정하고, 범위 분할은 분할 속성값의 구간에 따라 배정하며, 해시 분할은 속성값에 해시 함수를 적용한 결과로 위치를 결정한다. 이 문항에서 비교하는 대표적인 세 배치 방식에 예측 분할이라는 명칭은 포함되지 않는다. 수평 분할은 열을 나누는 수직 분할과도 다르며, 질의의 조건과 데이터 분포에 따라 적합한 배치 방식이 달라질 수 있다.

정답은 ①이다. 시스템 카탈로그에는 테이블·열·자료형·제약조건 등 데이터베이스 객체에 대한 메타데이터가 저장된다. DBMS는 CREATE나 ALTER 같은 정식 명령의 실행에 맞추어 필요한 카탈로그 정보를 관리한다. 일반 사용자가 무결성 유지를 위해 카탈로그 행을 직접 수정해야 한다는 설명은 잘못이다. 일부 DBMS에서는 권한 있는 관리자가 내부 카탈로그를 직접 조작할 여지가 있지만 통상적인 스키마 관리 방법은 아니며, 공식 명령을 우회하는 변경은 일관성을 훼손할 수 있다.

정답은 ②이다. 결과 행의 중복을 제거하려면 SELECT DISTINCT 형태로 DISTINCT를 지정한다. WHERE는 개별 행이 만족해야 하는 조건을 적는 절이므로 DISTINCT를 거기에 놓지 않는다. FROM은 읽을 테이블이나 테이블 식을, ORDER BY는 결과 정렬 기준을 지정한다. HAVING은 그룹에 대한 조건을 적용하며 GROUP BY와 함께 쓸 수 있다. HAVING을 사용할 때 GROUP BY가 반드시 필요한 것은 아니므로 두 절이 항상 한 쌍이라고 암기하지 않는 것이 중요하다.

정답은 ③이다. 뷰라는 데이터베이스 객체의 정의를 제거할 때는 DROP VIEW 뷰이름을 사용한다. DELETE는 테이블이나 갱신 가능한 뷰를 통해 행을 삭제하는 명령으로, 뷰 객체 자체를 없애는 것과 다르다. 일반적인 뷰를 삭제한다고 원본 테이블의 모든 행이 함께 지워지는 것은 아니다. 다른 객체가 그 뷰에 의존한다면 의존성 처리 규칙과 권한에 따라 명령이 거절되거나 추가 선택이 필요할 수 있다. ERASE와 KILL은 여기서 요구하는 SQL 뷰 제거 명령이 아니다.

정답은 ③이다. CREATE는 데이터베이스 객체를 새로 정의할 때 사용하는 명령 계열이다. 예를 들어 CREATE SCHEMA는 스키마를, CREATE DOMAIN은 도메인을, CREATE INDEX는 인덱스를 만든다. ALTER는 이미 존재하는 객체의 정의를 변경하고 SELECT는 데이터를 조회하며 INSERT는 행을 추가한다. 객체 정의를 다루는 언어를 DDL, 즉 Data Definition Language라고 한다. 객체 종류와 DBMS에 따라 구체적인 문법과 필요한 권한이 다르므로 CREATE 뒤에 대상과 옵션을 지정한다.

정답은 ②이다. 각 SELECT는 해당 테이블에서 학번 열 하나만 뽑는다. R1의 학번 집합은 {20201111, 20202222}이고 R2의 학번 집합은 {20202222, 20203333}이다. INTERSECT는 두 조회 결과에 공통으로 있는 행을 남기므로 결과는 학번 20202222 한 행이다. 학점수와 과목번호는 SELECT 목록에 없으므로 결과에 나타나지 않는다. 모든 학번을 합치는 UNION이나 두 테이블의 열을 결합하는 JOIN과 구별해야 한다.

정답은 ④이다. 물리적 설계에서는 저장 레코드의 형식과 배치, 관련 레코드의 집중, 인덱스 등 접근 경로를 작업 부하와 저장 장치의 특성에 맞추어 정한다. 반면 테이블·속성·키·관계 등 논리적 스키마를 정의하는 것은 논리적 설계의 핵심 활동이다. 실제 DBMS에서는 자료형과 인덱스 등 선택이 맞물릴 수 있으므로 단순히 목표 DBMS에 맞춘다는 말만으로 단계를 구별하기 어렵다. 개정 문항은 논리 구조 정의라는 대상을 명확히 하였다.

정답은 ③이다. 개체 무결성은 기본키를 통해 각 행을 분명히 식별하도록 하는 제약이다. 기본키의 구성 열은 NULL을 가질 수 없고 기본키 값 전체는 행마다 유일해야 한다. 두 열로 된 복합 기본키라면 각각의 열 값은 다른 행에 반복될 수 있어도 두 값을 합친 조합은 중복될 수 없다. 참조 무결성은 외래키가 참조하는 값과의 관계를 다루는 별도의 제약이다. 원문의 각 속성이 모두 독립적으로 유일해야 한다는 오해를 피하도록 전체 조합의 유일성을 명시했다.

정답은 ②이다. 데이터베이스 병행 제어는 여러 트랜잭션이 동시에 실행되어도 충돌을 조정하고 필요한 격리 수준과 일관성을 유지하는 일이다. 로킹은 접근 권한을 잠금으로 조정하고, 타임스탬프 기법은 정한 순서에 맞추어 충돌을 처리하며, 다중 버전 기법은 여러 데이터 버전을 이용한다. 시분할은 CPU 시간을 나누어 여러 작업을 실행하는 운영체제의 스케줄링 개념으로, 이 문항의 트랜잭션 충돌 제어 기법에 해당하지 않는다. 동시 실행 자체를 모두 금지하는 것과도 다르다.

정답은 ①이다. 결과에 나타난 과목은 전자공학과 강남길의 수강 내역이다. R1에서 그 학생의 학번은 3000이며 R2에는 3000의 과목 C100·컴퓨터구조와 C200·데이터베이스가 있다. 두 테이블을 R1.학번=R2.학번으로 결합하고 학과와 이름 조건도 모두 AND로 만족시켜야 이 두 행이 나온다. OR로 연결하면 학생과 수강 행이 올바르게 짝지어지지 않아도 일부 조건만으로 통과할 수 있다. 컴퓨터공학 조건은 강남길의 학과와 다르므로 ③도 결과를 얻지 못한다.

정답은 ①이다. 차집합은 두 집합에 대해 첫 집합에만 있는 원소를 구하는 일반적인 집합 연산으로, 관계 대수에서는 서로 호환되는 두 릴레이션에 적용한다. 프로젝트는 필요한 속성을 선택하고, 조인은 관련 튜플들을 조건에 따라 결합하며, 디비전은 다른 관계의 모든 관련 값에 대응하는 대상을 구하는 데 쓰이는 관계 연산이다. 이 문항의 순수 관계 연산자와 일반 집합 연산자의 교재식 구분에서는 차집합이 후자에 속한다. 차집합이 관계 대수의 연산자가 아니라는 뜻은 아니다.

정답은 ④이다. 고전적인 제1정규형 관계 모형에서는 각 속성 위치에 해당 도메인의 원자값을 두고 릴레이션을 튜플들의 집합으로 본다. 집합에는 같은 튜플이 중복되지 않으며 튜플을 나열하는 순서도 의미가 없다. 속성 역시 이름으로 식별하므로 그 표시 순서가 관계의 의미를 바꾸지 않는다. SQL의 조회 결과에는 중복 행이 있을 수 있고 ORDER BY로 표시 순서를 지정할 수도 있으므로, 수학적인 관계 모형과 실제 SQL 결과의 특징을 구별해야 한다.

정답은 ③이다. 카티션 프로덕트에서는 R의 각 튜플에 S의 모든 튜플을 하나씩 결합한다. R의 5개 튜플마다 S의 7개 튜플이 대응하므로 결과의 튜플 수인 카디널리티는 5×7=35다. 각 결과 튜플에는 R의 속성 4개와 S의 속성 6개가 함께 들어가므로 차수는 4+6=10이다. 속성 수는 더하고 행의 조합 수는 곱한다는 점을 구별해야 한다. 같은 이름의 속성이 있다면 이름을 바꾸어 두 관계의 속성이 구분되도록 한다.

정답은 ④이다. 관계 모형에서 속성은 이름과 도메인을 갖는 열로서 대상의 특징을 나타낸다. 전통적인 제1정규형 모형에서는 한 속성 위치에 원자값을 저장하며, 파일의 필드와 대응시켜 설명할 수 있다. 릴레이션의 속성 수는 차수 또는 애리티이고, 튜플의 수는 카디널리티다. 따라서 속성 수를 카디널리티라고 한 ④는 두 개념을 바꾸어 설명한 것이다. 예를 들어 열이 4개이고 행이 10개인 관계라면 차수는 4, 카디널리티는 10이다.

정답은 ①이다. UPDATE 문은 지정한 행의 열 값을 바꾸며, SET 절에서 바꿀 열과 새 값을 적는다. 따라서 그림의 빈칸에는 SET이 들어가 UPDATE 인사급여 SET 호봉=15 WHERE 성명=… 형태가 된다. WHERE는 성명이 홍길동인 행만 변경하도록 대상을 제한한다. 같은 이름의 행이 여러 개면 그 조건을 만족하는 모든 행이 바뀔 수 있으므로 성명만으로 한 사람을 유일하게 식별한다고 가정해서는 안 된다. INTO와 IN은 이 대입 절의 키워드가 아니다.

정답은 ④이다. 릴레이션의 차수는 그 관계 스키마를 구성하는 속성의 수다. 예를 들어 학번·이름·학과라는 세 열로 정의한 학생 릴레이션의 차수는 3이다. 학생 행을 추가하거나 삭제하면 튜플 수인 카디널리티가 달라지지만 열 정의를 바꾸지 않는 한 차수는 그대로다. 테이블 수나 데이터베이스 수는 여러 객체를 세는 수치로서 한 릴레이션의 차수와는 다르다. 속성 수와 튜플 수를 열과 행의 관점으로 구별하면 용어를 혼동하지 않을 수 있다.

정답은 ④이다. Chen 방식의 E-R 표기에서는 개체 집합을 사각형, 속성을 타원, 관계를 마름모로 나타내고 이 요소들을 선으로 연결한다. 따라서 연결 자체를 삼각형으로 나타낸다는 설명은 맞지 않는다. 표기법에 따라 까마귀발이나 다른 기호를 사용할 수 있으며, 확장 E-R에서는 일반화·특수화를 별도 기호로 나타내기도 한다. 그런 다른 용도의 삼각형과 기본 E-R의 연결선을 혼동하면 안 된다. 문항은 Chen의 기본 표기법을 기준으로 비교한다.

정답은 ④이다. ROLLBACK은 아직 확정하지 않은 현재 트랜잭션의 변경을 취소하여 그 트랜잭션 전 상태로 되돌리는 명령이다. 일부 구간만 취소하려면 DBMS가 지원하는 SAVEPOINT 등을 사용할 수 있다. COMMIT은 변경을 확정하고, 백업은 별도의 복구용 사본을 만들며, 로그는 변경과 복구에 필요한 기록을 남기는 기능이다. 이미 COMMIT한 과거의 모든 변경을 일반적인 ROLLBACK 한 번으로 취소하는 것은 아니므로 확정 전 변경이라는 적용 범위를 구별해야 한다.

정답은 ①이다. 정규화에서 다루는 대표적인 갱신 이상은 삽입·삭제·수정 과정에서 불필요한 제약이나 정보 손실, 불일치가 생기는 현상이다. 삽입 이상은 다른 정보 없이는 필요한 사실을 저장하기 어려운 경우, 삭제 이상은 한 사실을 지우면서 다른 필요한 정보까지 잃는 경우, 갱신 이상은 중복된 사실의 일부만 고쳐 불일치가 생기는 경우다. 검색 이상은 이 세 종류를 나열하는 정규화 문맥의 표준적인 명칭이 아니다. 동시성 때문에 생기는 비일관적 읽기와는 다른 분류다.

정답은 ①이다. BCNF는 스키마에서 성립하는 모든 비자명한 함수 종속 X→Y의 결정자 X가 슈퍼키여야 한다는 조건이다. 비자명하다는 것은 Y가 X의 부분집합으로만 이루어지지 않는다는 뜻이다. 후보키는 최소성을 갖춘 슈퍼키이지만 BCNF의 결정자에 최소성까지 요구하지는 않는다. 예를 들어 A가 후보키이면 A에 다른 속성을 추가한 집합도 슈퍼키일 수 있다. 부분 함수 종속이나 이행적 종속을 제거한다는 설명만으로 BCNF의 정확한 조건을 대신할 수 없다.

정답은 ③이다. CSMA/CA는 공유 무선 매체의 사용 상태를 감지하고 대기·백오프 등으로 동시에 송신할 가능성을 줄이는 충돌 회피 방식이다. IEEE 802.11에서는 수신 확인 ACK와 선택적인 RTS/CTS 교환 등을 함께 사용할 수 있다. 충돌 회피라는 이름이 충돌을 완전히 없앤다는 뜻은 아니다. CSMA/CD는 송신 도중 충돌을 검출하는 방식이며, STA는 무선 통신에 참여하는 스테이션, 충돌 도메인은 충돌 가능성이 공유되는 영역을 가리키므로 매체 접근 방식의 이름과 구별한다.

정답은 ④이다. 전통적인 모듈 결합도 비교에서 스탬프 결합은 레코드나 구조체 같은 복합 자료를 인수로 넘겨 그 구조에 의존하는 경우다. 필요한 단순 값만 주고받는 자료 결합보다는 강하지만, 보기의 공통 자료 영역 공유·외부 규약 공유·다른 모듈 내부 직접 접근보다 약한 것으로 분류한다. 공통 결합은 공유 전역 상태에, 내용 결합은 다른 모듈의 내부 구현에 직접 의존한다. 실제 설계에서는 명칭의 순위만 볼 것이 아니라 공유 범위와 변경 영향도 함께 살펴야 한다.

정답은 ③이다. 비트 OR 연산자 |는 같은 자리의 두 비트 중 하나라도 1이면 결과 비트를 1로 만든다. 4는 이진수 100이고 7은 111이므로 100 | 111은 111, 즉 십진수 7이다. 두 수를 더하는 연산이 아니며 참·거짓으로 해석하는 논리 OR 연산자 ||와도 다르다. c에는 이 정수 결과가 저장되고 printf의 %d로 7이 출력된다. 이미지의 헤더와 인용부호를 표준 C 문법으로 옮겨 실제 학습 코드의 모양을 명확하게 했다.

정답은 ④이다. a=FourCal()로 인스턴스를 만들고 a.setdata(4, 2)를 호출하면 첫 매개변수 sel에는 그 인스턴스가 자동으로 전달된다. 따라서 sel.fir에는 4, sel.sec에는 2가 저장된다. 이어 a.add()는 두 속성을 더한 6을 반환하고 print가 이를 출력한다. 관례적으로 첫 매개변수를 self라고 쓰지만 self가 강제된 예약어는 아니므로 그림처럼 sel이라는 이름을 써도 된다. 속성의 저장과 메서드 호출을 순서대로 추적하면 새 값이 어디에 남는지 확인할 수 있다.

정답은 ②이다. 은행원 알고리즘은 각 프로세스가 앞으로 요구할 수 있는 최대 자원량을 이용해 요청을 승인한 뒤에도 안전한 실행 순서가 존재하는지 검사한다. 안전 상태를 유지할 수 있을 때 자원을 할당하므로 교착상태 회피에 속한다. 예방은 교착에 필요한 조건 중 하나가 성립하지 않도록 제약하고, 탐지는 이미 발생한 교착 여부를 찾아내며, 복구는 종료나 자원 회수 등으로 그 상태를 해소한다. 안전하지 않은 상태라는 사실이 이미 교착상태라는 뜻은 아니라는 점도 구별해야 한다.

정답은 ②이다. /27은 IPv4 주소 32비트 중 앞의 27비트가 네트워크 접두부임을 뜻한다. 마스크는 1을 27개 쓴 뒤 0을 5개 붙인 형태다. 앞 세 옥텟은 각각 11111111이므로 255이고 마지막 옥텟은 11100000이므로 128+64+32=224다. 따라서 서브넷 마스크는 255.255.255.224다. 주소의 첫 옥텟을 보고 예전 클래스의 기본 마스크를 적용하는 것이 아니라 명시된 접두부 길이를 따라야 한다.

정답은 ①이다. 처음 x=5다. y=x++에서 후위 증가식의 값은 증가 전의 5이므로 y에는 5가 들어가고 그 뒤 x는 6이 된다. 다음 z=–x에서는 x를 먼저 1 줄여 5로 만든 뒤 그 값을 사용하므로 z도 5다. 따라서 출력 시점의 x·y·z는 모두 5이며 5, 5, 5가 출력된다. 각 식이 별도의 문장이므로 대입과 증감이 진행되는 순서를 문장별로 정리하면 된다. 모든 증감 연산이 같은 시점의 값을 사용한다고 계산하면 오답이 된다.

정답은 ③이다. 스레싱은 필요한 작업 집합을 충분히 메모리에 두지 못해 페이지 부재와 교환이 지나치게 반복되고 실제 작업보다 페이징에 자원을 소모하는 상태다. 따라서 실제 처리 시간이 페이지 교환 시간보다 크기 때문에 스레싱이 발생한다는 설명은 원인을 거꾸로 잡은 것이다. 시간 지역성은 최근 사용한 주소를 다시 사용할 가능성이고 공간 지역성은 가까운 주소를 사용할 가능성이다. 충분한 프레임을 확보하거나 동시에 실행하는 작업량을 조정하여 과도한 페이지 교환을 줄일 수 있다.

정답은 ①이다. 프레임워크는 일정한 응용 영역에서 재사용할 수 있는 기본 구조와 협력하는 구성요소를 제공한다. 개발자는 정해진 확장 지점이나 설정을 이용하여 필요한 동작을 구체화할 수 있다. 기본 구조가 있다는 이유로 확장이 불가능한 것은 아니며, 오히려 허용한 방식으로 확장하도록 설계하는 경우가 많다. 아키텍처는 시스템의 구조와 중요한 설계 결정을 가리키는 더 넓은 개념이므로 프레임워크와 동일한 말은 아니다. 모듈화 역시 프레임워크와 양립할 수 있다.

정답은 ①이다. cnt는 0에서 시작하지만 do-while은 본문을 먼저 실행한 뒤 조건을 검사한다. 첫 본문에서 cnt++로 1이 되고 cnt<0은 거짓이므로 반복이 끝난다. 이어 if(cnt==1)가 참이어서 cnt++를 한 번 더 실행하여 2가 된다. else의 cnt=cnt+3은 실행되지 않는다. 따라서 출력은 2다. 반복문의 조건이 처음부터 거짓일 것이라고 보고 본문을 생략하거나, if와 else를 둘 다 실행하는 것으로 계산하지 않아야 한다.

정답은 ①이다. export는 셸 변수를 이후 실행하는 자식 명령의 환경에 포함하도록 표시하는 명령이다. 현재 셸에서 변수 값을 출력하는 데에는 printf나 echo를 사용할 수 있으며 export가 선행되어야 하는 것은 아니다. export -p는 내보내기로 표시된 변수들을 보여준다. 내보낸 값은 자식 프로세스가 상속하지만 자식의 변경이 부모 셸로 역전파되거나 셸을 종료한 뒤 자동으로 영구 저장되지는 않는다. 원문의 전역 변수처럼 끝까지 기억된다는 설명도 부정확하여 상속 범위를 명시했다.

정답은 ③이다. ASCII 실행 문자 집합을 사용한다는 조건에서 대문자 A의 코드값은 65다. 문자 상수 A에 정수 1을 더하면 66이 되고 이 값은 char 변수 a에 저장된다. printf의 %d는 전달받은 값을 정수로 표시하므로 문자 B가 아니라 66을 출력한다. 가변 인수로 전달할 때 char는 정수 승격을 거친다. C 언어 자체가 모든 실행 환경에서 A를 65로 보장하는 것은 아니므로 ASCII라는 전제가 없으면 숫자 66을 보편적인 결과로 단정할 수 없다.

정답은 ③이다. p는 정수 두 개로 이루어진 행을 가리키는 포인터이므로 p[행][열]로 각 하위 배열 안의 원소에 접근한다. i=1일 때 i/2=0, i%2=1이어서 22를 더하고, i=2일 때 44, i=3일 때 55를 더한다. 합은 22+44+55=121이다. 원본처럼 첫 행의 int 포인터를 계속 증가시켜 다음 행의 원소를 역참조하면 하위 배열의 경계를 벗어나는 문제가 있으므로 결과를 표준 C가 보장하지 않는다. 개정 코드는 행과 열을 나누어 유효한 범위의 접근만 수행한다.

정답은 ④이다. 같은 크기의 가상 주소 영역을 같은 크기의 페이지 테이블 엔트리로 매핑한다면 페이지를 작게 할수록 필요한 페이지 수가 늘고 선형 페이지 테이블도 커진다. 페이지 할당 경계 때문에 남는 내부 공간은 평균적으로 줄어드는 경향이 있지만, 더 많은 주소 변환 정보가 필요한 부담이 있다. 작은 페이지가 실제 입출력 시간을 항상 늘린다고 단정할 수는 없다. 장치와 묶음 전송, 지역성 등에 따라 결과가 달라지므로 개정 보기에서는 같은 자료량을 담는 페이지 수의 증가를 비교한다.

정답은 ①이다. 순차적 응집은 한 처리의 출력이 다음 처리의 입력으로 이어지는 관계로 기능들을 묶은 경우다. 절차적 응집은 실행 순서 때문에, 논리적 응집은 비슷한 범주의 기능이라는 이유로, 우연적 응집은 뚜렷한 관련 없이 요소를 묶은 경우다. 전통적인 응집도 분류에서 보기 중 가장 강한 것은 순차적 응집이다. 전체 분류에서는 단일 목적을 위해 모든 요소가 협력하는 기능적 응집을 더 높게 두지만 그 항목은 이 문제의 보기에 없다.

정답은 ①이다. TCP는 끝단 응용 사이에 신뢰할 수 있는 순서 있는 바이트 스트림을 제공하는 전송 계층 프로토콜이다. 흐름 제어로 수신 측이 받아들일 수 있는 양을 조정하며 한 연결에서 양방향으로 데이터를 보낼 수 있다. TCP 세그먼트에는 데이터와 상대 방향의 ACK 정보를 함께 실을 수도 있다. 인접 노드 사이의 프레임 전달은 데이터 링크 계층의 역할이므로 TCP의 역할과 다르다. 여기서 연결은 논리적인 상태 관리이지 전용 물리 회선을 배정한다는 뜻은 아니다.

정답은 ①이다. 그림의 괄호는 먼저 묶어 계산할 식의 범위를 정한다. 제시된 연산자들의 결합 우선순위는 나눗셈 /, 시프트 <<, 관계 비교 <, 동등 비교 ==, 논리 OR || 순서다. 따라서 기호로는 ㉠ → ㉥ → ㉣ → ㉢ → ㉡ → ㉤이다. 괄호 자체를 일반적인 이항 연산자로 볼 필요는 없으며 표현식의 결합을 지정하는 문법으로 이해한다. 우선순위가 높다는 사실과 피연산자의 실제 평가 순서가 항상 왼쪽부터라는 주장은 별개다.

정답은 ①이다. C 표준 라이브러리의 stdlib.h에는 strtol·atoi 같은 문자열의 수치 변환, malloc·free 같은 동적 메모리 관리, 프로그램 종료와 검색·정렬 등의 일반 유틸리티가 선언된다. strlen은 string.h, 표준 입출력 함수는 stdio.h, 삼각함수와 제곱근 같은 수학 함수는 math.h와 관련된다. 수치를 문자열로 바꾸는 비표준 itoa를 모든 표준 C 환경의 stdlib.h 함수로 설명해서는 안 된다. 개정 보기에서는 실제 표준 함수 이름으로 범위를 분명히 했다.

정답은 ②이다. JavaScript의 객체는 프로토타입 연결을 통해 다른 객체의 속성과 동작을 상속할 수 있다. ECMAScript 2015부터 class 문법도 제공하지만 그 문법이 프로토타입 기반 객체 모델을 없앤 것은 아니다. 따라서 class가 존재한다는 이유만으로 프로토타입을 사용하지 않는다고 주장하는 ②가 틀렸다. 객체지향 방식뿐 아니라 함수와 절차 중심의 프로그래밍도 지원한다. 원문의 클래스 기반 상속 지원이라는 표현만으로는 오답을 확정하기 어려워 상속의 실제 기반을 묻도록 고쳤다.

정답은 ②이다. 네트워크 계층은 여러 네트워크를 거쳐 목적지로 데이터를 전달하는 경로 선택과 중계 기능을 다룬다. IP에서는 출발지와 목적지의 논리 주소를 사용하며 라우터가 다음 전달 방향을 정한다. 인접한 두 노드 사이에서 프레임을 전달하는 것은 데이터 링크 계층의 역할이다. 스위치라는 장치 이름만으로 계층을 확정해서는 안 되며 L2 스위칭과 L3 라우팅 기능을 구별해야 한다. 개정 보기에서는 네트워크 계층 기능을 수행하는 L3 스위치임을 명시했다.

정답은 ①이다. SAN은 서버와 저장 장치 사이에 블록 수준 저장 접근을 제공하는 저장 영역 네트워크다. 여러 서버가 저장 자원을 중앙에서 관리하고 활용할 수 있으며 Fibre Channel은 대표적인 연결 기술이다. SAN이 반드시 광채널만을 사용해야 하는 것은 아니고 IP 기반 iSCSI 등도 가능하다. 또한 서로 다른 서버가 같은 블록 장치를 동시에 읽고 쓴다고 파일 일관성이 자동 보장되지는 않으므로 공유 방식에 맞는 파일 시스템과 조정이 필요하다. NIC·NAC·MBR은 이러한 저장 네트워크의 명칭이 아니다.

정답은 ①이다. SSH 서버가 일반적으로 사용하는 등록 포트는 TCP 22번이며 220번이 아니다. 관리자가 다른 포트로 설정할 수 있다는 사실과 기본 등록 포트는 구별한다. SSH는 원격 셸과 명령 실행 등을 지원하고 협상한 암호와 무결성 보호로 세션 데이터를 보호한다. 공개키 사용자 인증에서는 서버가 해당 사용자에게 허용한 키인지 확인하고 클라이언트가 개인키를 보유했음을 증명한다. 모든 인증이 반드시 개별 키 파일의 수동 등록만으로 이루어진다고 제한할 수는 없다.

정답은 ④이다. 요구 분석의 주된 산출물은 사용자가 필요로 하는 기능과 품질 조건, 제약 등을 정의한 요구사항 문서다. 이 내용은 이후 컴포넌트의 책임과 인터페이스를 설계하고 구현·시험할 기준이 된다. 클래스 설계서는 설계, 프로그램 코드는 구현, 통합시험 결과서는 구성요소를 연결한 시험의 결과에 해당한다. 실제 CBD 절차의 단계명과 산출물 명칭은 적용하는 표준이나 조직에 따라 다를 수 있으므로, 이름이 명시되지 않은 단일 표준이 있다고 가정하지 않고 활동의 목적에 따라 구별한다.

정답은 ③이다. Bell–LaPadula 모델은 보안 등급에 따른 정보 흐름을 통제하여 기밀성을 지키는 데 초점을 둔다. 단순 보안 성질은 자신보다 높은 등급의 정보를 읽지 못하게 하는 no read up이고, 별표 성질은 높은 정보가 낮은 등급으로 흘러가는 쓰기를 막는 no write down으로 설명한다. 같은 등급의 접근까지 무조건 금지하는 것은 아니다. 실제 허용에는 범주와 임의적 접근 권한 같은 조건도 함께 적용될 수 있다. 무결성이나 이해 상충을 중심으로 한 다른 모델과 구별한다.

정답은 ③이다. Sqoop은 Hadoop과 관계형 데이터베이스 등 구조화된 데이터 저장소 사이의 대량 자료 전송을 위해 개발된 Apache 도구다. 가져오기에서는 데이터베이스의 테이블 내용을 Hadoop 쪽으로 옮기고 내보내기에서는 Hadoop의 자료를 외부 저장소로 전달할 수 있다. APNIC은 인터넷 번호 자원과 관련된 조직이고 topology는 연결 구조를 뜻하므로 이 제품의 이름이 아니다. Sqoop은 2021년에 Apache Attic으로 이동한 보존 프로젝트이므로 시험 당시의 도구 역할과 현재 유지보수 상태를 구별한다.

정답은 ②이다. OSPF는 링크 상태 라우팅 프로토콜이다. 라우터들이 링크 상태 정보를 교환하여 영역 내 토폴로지 데이터베이스를 구성하고 최단 경로 계산에 Dijkstra 알고리즘을 사용한다. 거리 벡터를 이웃에게 반복 전달하는 RIP 같은 방식과 구별된다. OSPF 제어 패킷에는 멀티캐스트 전송이 활용될 수 있지만, 이를 일반 사용자 멀티캐스트 트래픽의 라우팅을 OSPFv2 자체가 모두 제공한다는 의미로 확대하면 안 된다. 수렴 시간 역시 환경과 설정의 영향을 받는다.

정답은 ④이다. PERT는 작업 사이의 선후 관계와 소요시간을 네트워크로 표현하여 전체 일정과 중요한 경로를 분석하는 기법이다. COCOMO와 Putnam 계열 모형은 소프트웨어 규모·개발 특성 등과 공수를 연결하는 추정에 쓰이고, 기능점수는 사용자 기능 관점의 규모를 산정한 뒤 생산성 자료와 결합하여 공수 추정에 활용할 수 있다. PERT도 작업량이나 비용 계획과 연계할 수 있으므로 비용 추정과 절대로 무관하다고 단정하는 대신, 직접적인 중심 목적을 비교한다.

정답은 ④이다. 12536과 12936은 자릿수가 같고 세 번째 위치의 5가 9로 잘못 옮겨 적혔다. 따라서 문자를 다른 문자로 잘못 기록한 전사 오류로 볼 수 있다. Addition Error는 불필요한 문자가 추가된 경우, Omission Error는 필요한 문자가 빠진 경우, Sequence Error는 순서가 뒤바뀐 경우와 구별한다. 이 예에서는 문자가 늘거나 줄지 않았고 기존 문자 두 개의 위치를 바꾼 것도 아니다. 먼저 길이와 달라진 위치를 확인하면 오류 유형을 판정하기 쉽다.

정답은 ③이다. ISO/IEC 12207:1995의 기본 생명주기 프로세스는 획득·공급·개발·운영·유지보수의 다섯 가지다. 따라서 성능평가는 이 다섯 기본 프로세스의 이름에 포함되지 않는다. 성능을 평가하는 활동 자체가 소프트웨어 생명주기에서 불필요하다는 뜻은 아니다. 최신 판은 프로세스의 묶음과 명칭이 달라졌으므로 판본을 생략한 채 이 목록을 현재 모든 12207 표준의 구조라고 소개하면 부정확하다. 개정 문항에서는 원문의 분류에 해당하는 1995년 판을 명시했다.

정답은 ②이다. 초기 COCOMO 모형은 프로젝트의 개발 환경과 제약을 Organic·Semidetached·Embedded의 세 모드로 나누어 공수와 일정의 관계를 추정했다. 익숙하고 비교적 유연한 환경인지, 경험과 제약이 혼재하는지, 하드웨어·운영 조건 등 강한 제약에 묶이는지에 따라 모형의 계수가 달라진다. 이 구분을 소프트웨어의 크기 하나만으로 판정해서는 안 된다. Putnam과 SLIM은 다른 추정 모형 계열이며 기능점수는 사용자 기능 관점의 규모 측정 방법이다.

정답은 ①이다. ISO/IEC 15504-2:2003의 능력 수준은 0부터 5까지 여섯 단계이며 수준 7은 없다. 순서는 0 미완성, 1 수행, 2 관리, 3 확립, 4 예측, 5 최적화다. 따라서 미완성 단계를 수준 7에 연결한 ①이 틀렸다. 이 수준은 개별 프로세스의 수행 능력을 평가하는 척도이며 시험 점수나 제품의 등급을 뜻하지 않는다. 후속 표준과 다른 평가 모형에서는 명칭과 세부 요건이 달라질 수 있으므로 이 문항에서는 원문의 분류에 맞는 판본을 명시한다.

정답은 ④이다. N-Screen은 TV·PC·휴대기기처럼 여러 단말에서 같은 콘텐츠를 이용하거나 이용 흐름을 이어가는 서비스 개념이다. 단말의 화면과 재생 능력, 통신 방식이 다르므로 형식 변환과 상태 연계 등이 필요할 수 있다. 이름에 N이 붙는 것은 여러 화면으로 사용 범위를 넓힌다는 뜻이지 모든 콘텐츠가 아무 제약 없이 자동 호환된다는 뜻은 아니다. Memristor는 소자, MEMS는 미세 전자기계 시스템, SNMP는 네트워크 관리 프로토콜이므로 질문의 미디어 서비스와 구별된다.

정답은 ②이다. SHA-256 같은 고정 길이 암호학적 해시 함수는 허용된 길이의 메시지를 정해진 길이의 요약값으로 변환한다. 같은 입력은 같은 요약값을 만들며, 주어진 요약값에서 원문을 찾거나 서로 다른 입력의 충돌을 찾기 어렵도록 설계한다. 주된 역할은 데이터의 요약과 무결성 확인 등이며 공개키 암호의 키를 만드는 용도로만 정의되지 않는다. 일부 키 유도 과정에 해시가 사용될 수는 있지만 그것이 해시 전체의 주된 목적이라는 설명은 잘못이다.

정답은 ①이다. IPsec은 IP 계층의 통신 보호를 위한 체계로 암호화·인증·무결성 등 보안 서비스를 구성한다. ESP의 암호화는 수신 측이 적절한 키로 복호화하여 데이터를 사용해야 하므로 일방향 해시만 지원한다는 설명은 틀렸다. ESP가 제공하는 구체적인 서비스는 협상한 알고리즘과 설정에 달려 있으며 AH는 기밀성을 제공하지 않고 인증·무결성을 다룬다. AH가 전송 중 변할 수 있는 모든 IP 헤더 비트까지 그대로 보호하는 것은 아니며, 전송 모드와 터널 모드를 구별한다.

정답은 ①이다. StackGuard는 함수의 스택 영역에 카나리 값을 두고 함수에서 복귀하기 전에 그 값이 예상과 같은지 확인하는 방식으로 설명된다. 연속적인 버퍼 덮어쓰기가 복귀 주소에 이르는 과정에서 카나리도 바뀌면 비정상 종료하여 변조된 주소로 제어가 넘어가는 일을 막는다. ASLR은 메모리 배치의 주소를 무작위화하는 다른 방어 기법이다. 카나리가 바뀌지 않는 형태의 메모리 손상도 있을 수 있으므로 스택 보호가 모든 버퍼 오류를 완전히 탐지한다고 보장해서는 안 된다.

정답은 ③이다. 그림은 외부망과 내부망 사이에 별도의 중간 네트워크를 두고 그곳에 외부 공개 서버를 배치한 구조다. 두 경계의 필터링을 통해 중간망과 내부망을 구분하는 스크린드 서브넷이며 중간 영역을 DMZ라고 부른다. 외부에 공개한 서버가 침해되더라도 내부망까지 곧바로 접근하지 못하도록 허용 경로를 제한하는 데 목적이 있다. 라우터와 방화벽 장치의 수만 보고 판단하기보다 별도 서브넷의 배치와 통과 정책을 함께 보아야 한다.

정답은 ③이다. 식별과 인증은 누가 접근하는지 확인하고, 임의적·강제적 접근 통제는 어떤 주체가 어떤 객체를 사용할 수 있는지 정하는 기능이다. 고가용성은 장애가 나도 서비스가 계속 제공되도록 중복 구성과 장애 전환 등을 지원하는 기능이다. 가용성 역시 보안의 중요한 목표이므로 고가용성이 보안과 전혀 무관하다고 설명해서는 안 된다. 개정 문항은 보안성의 포함 여부가 아니라 접근 주체·권한 통제와 장애 중 서비스 연속성이라는 직접적인 목적의 차이를 묻는다.

정답은 ④이다. Nmap은 네트워크 탐색과 보안 점검을 위해 호스트와 포트의 상태, 서비스 정보 등을 조사할 수 있는 도구다. 열린 포트를 확인하면 불필요하게 노출된 서비스나 추가 점검 대상을 찾는 데 도움이 된다. 다만 포트가 열려 있다는 사실만으로 취약점의 존재나 악용 가능성이 확정되는 것은 아니며 서비스 설정과 버전 등을 추가로 확인해야 한다. type은 명령 해석 등을 확인하고 mkdir은 디렉터리를 만들며 ftp는 파일 전송에 쓰이므로 포트 탐색 도구와 역할이 다르다.

정답은 ③이다. 라우터는 목적지의 네트워크 주소와 라우팅 정보를 이용하여 서로 다른 IP 네트워크 사이로 패킷을 전달한다. L2 스위치는 주로 같은 링크 또는 VLAN 안에서 MAC 주소에 따라 프레임을 전달한다. 실제 장비가 L3 기능을 겸하면 라우팅도 가능하지만 보기에서 명시한 L2 기능과는 구별한다. HIPO는 시스템을 계층과 입력·처리·출력으로 문서화하는 기법이고 RAD는 빠른 응용 개발 접근을 가리켜 네트워크 전달 장비의 이름이 아니다.

정답은 ②이다. AES는 동일한 비밀키를 공유하여 암호화와 복호화를 수행하는 대칭키 블록 암호다. 블록 길이는 128비트이며 지원하는 키 길이는 128·192·256비트다. RSA는 공개키와 개인키의 쌍을 사용하는 비대칭 방식이고 DSA는 전자서명을 위한 알고리즘이다. ECC는 타원곡선을 사용하는 공개키 암호 기술 계열을 가리키므로 하나의 대칭키 암호 이름이 아니다. 전자서명과 암호화를 같은 연산으로 취급하거나 AES의 키 길이와 블록 길이를 혼동하지 않도록 한다.