정보처리기사 필기 2020년 3회 공개기출 100문항

정답은 ③이다. 요구사항을 이끌어내고 분석할 때에는 이해관계자의 말을 듣고 적절한 질문을 하며, 실제 업무를 관찰하고 모델로 정리하는 능력이 중요하다. 서로 다른 요구가 충돌하면 의미와 우선순위를 분석하고 조정해야 한다. 설계와 코딩은 요구를 해결 방법과 실행 가능한 프로그램으로 구체화하는 활동이므로 보기 중 요구사항 분석의 직접적인 중심 기술과 가장 거리가 멀다. 다만 기술적 실현 가능성을 판단하거나 시제품을 만들 때 설계·코딩 지식이 도움이 될 수 있으므로 분석가에게 전혀 필요하지 않다는 뜻은 아니다.

정답은 ③이다. Factory Method는 객체를 생성하는 공통 인터페이스를 정의하고 구체적으로 어떤 종류의 객체를 만들지는 하위 클래스가 정하도록 하는 생성 패턴이다. 이미지의 핵심 단서는 생성 인터페이스와 하위 클래스의 구체 타입 선택이며, Virtual Constructor라는 별칭도 이 패턴을 가리킨다. Visitor는 객체 구조에 적용하는 연산을 분리하고, Observer는 상태 변화에 대한 통지를 연결하며, Bridge는 추상 인터페이스와 구현이 독립적으로 변할 수 있게 한다. 단순히 여러 객체를 만든다는 이유만으로 모든 생성 코드를 Factory Method라고 부르는 것은 아니다.

정답은 ④이다. Rumbaugh의 OMT는 객체 모델, 동적 모델, 기능 모델이라는 세 가지 주요 모델로 시스템을 바라본다. 객체 모델은 객체와 관계의 구조, 동적 모델은 사건과 상태 변화, 기능 모델은 입력 자료가 처리되어 출력으로 변하는 기능을 표현한다. 객체 모델이 정적인 구조를 다룬다는 설명은 맞지만, 정적 모델링을 나머지 세 모델과 별개의 네 번째 주요 모델 명칭으로 추가하지는 않는다. 따라서 개정 문항은 정적 관점이 객체지향 분석과 무관한지를 묻는 대신, OMT의 세 모델 명칭을 구별하도록 범위를 명확히 했다.

정답은 ②이다. 애자일 선언은 개인과 상호작용, 작동하는 소프트웨어, 고객과의 협력, 변화에 대한 대응을 중요한 가치로 제시한다. 처음 세운 계획을 무조건 유지하여 변경 대응을 어렵게 만드는 태도는 이 방향과 맞지 않는다. 짧은 주기의 실행 결과와 고객 피드백을 이용해 요구와 계획을 조정할 수 있어야 한다. 그렇다고 애자일에서 계획·문서·계약·도구가 쓸모없다는 뜻은 아니다. 선언은 이 요소들의 가치도 인정하면서 상황에 맞는 협력과 실제 결과, 변화 대응에 더 큰 가치를 둔다는 비교를 담고 있다.

정답은 ②이다. 이 문항에서 기준으로 삼은 NCS 학습모듈의 미들웨어 유형표는 데이터베이스, RPC, MOM, TP 모니터, ORB, WAS를 나열한다. WAS는 응용 프로그램의 실행과 연동을 지원하고, RPC는 원격 프로시저 호출, ORB는 객체 사이의 요청 중개와 관련된다. 표는 일반 웹 서버를 이들과 나란한 별도 미들웨어 유형으로 열거하지 않는다. 다만 실제 제품은 웹 서버와 응용 서버 기능을 함께 제공하거나 확장 모듈로 연동 기능을 수행할 수 있으므로, 웹 서버가 어떤 의미에서도 미들웨어가 될 수 없다는 보편적 정의로 확대해서는 안 된다.

정답은 ③이다. UML 상호작용에서 Lifeline은 참여 인스턴스의 생존선을, Message는 참여자 사이에서 전달되는 메시지를 나타낸다. ExecutionSpecification은 생명선 위에서 행동이나 동작을 실행하는 구간을 표현할 수 있다. 반면 Extension은 UML 프로파일에서 스테레오타입과 확장 대상 메타클래스를 연결하는 관계이며 시퀀스 상호작용의 기본 구성 요소와 성격이 다르다. 일상적인 의미의 기능 확장이나 시퀀스 다이어그램에 추가 표기를 사용하는 가능성과, Extension이라는 UML 메타모델 요소의 용도를 구별해야 한다.

정답은 ①이다. 캡슐화는 관련 데이터와 동작을 하나의 경계 안에 묶고, 외부가 정해진 인터페이스를 통해 사용하도록 구성하는 개념이다. 구현 세부 사항을 외부에서 직접 의존하지 않게 만드는 정보 은닉과 밀접하게 연결된다. 클래스는 이런 경계를 구현하는 수단이 될 수 있고 메서드는 동작을, 인스턴스는 구체 객체를 가리키지만, 보기 중 정보 은닉의 목적과 직접 연결되는 설계 개념은 캡슐화이다. 단지 데이터를 클래스에 넣는 것만으로 모든 내부 정보가 자동으로 숨겨지는 것은 아니며 공개 범위와 의존 관계를 함께 설계해야 한다.

정답은 ③이다. GoF 패턴의 목적별 분류에서 Prototype은 생성 패턴에 속한다. 원형이 되는 인스턴스를 바탕으로 복사하여 새 객체를 만드는 책임에 초점을 두기 때문이다. Command는 요청을 객체로 표현하고, Observer는 변화 통지를 연결하며, State는 내부 상태에 따라 행동이 달라지도록 구성하는 행위 패턴이다. Prototype을 개발 초기에 만드는 시제품이라는 일반적인 말과 혼동해서는 안 된다. 또한 복사로 생성한다는 목적이 곧 모든 내부 참조까지 무조건 깊은 복사해야 한다는 규칙을 뜻하지는 않는다.

정답은 ③이다. 이 문항에서 직관성은 사용자가 화면을 보고 조작 방법과 다음 행동을 비교적 쉽게 이해할 수 있게 하는 성질을 뜻한다. 익숙한 표현과 일관된 조작, 명확한 정보 구조는 사용자의 예상과 화면의 동작을 연결하는 데 도움이 된다. 유연성은 다양한 상황이나 요구에 적응할 수 있는 성질로 초점이 다르며, 희소성이나 멀티운용성은 여기서 말하는 쉬운 이해의 직접적인 명칭이 아니다. 모든 사람이 아무런 경험이나 설명 없이 모든 기능을 이해해야 한다는 절대 조건으로 해석하기보다, 대상 사용자의 맥락에서 이해 부담을 줄이는 방향으로 판단한다.

정답은 ①이다. 여기서 코드는 프로그램의 소스 코드가 아니라 대상을 구분하기 위해 숫자·문자·기호를 부여하는 식별 체계를 말한다. 예를 들어 상품이나 부서에 일관된 번호를 부여하면 같은 대상을 식별하고 유형별로 분류하며 공통 형식으로 표준화하기 쉬워진다. 복잡성을 높이는 것 자체는 이런 코드 체계의 기본 기능으로 보기 어렵다. 코드에는 분류 정보나 검사 숫자 등을 포함할 수 있어 구조가 복잡해질 수도 있지만, 이는 필요에 따른 설계 결과일 뿐 복잡성 증가가 기능상의 목적이라는 뜻은 아니다.

정답은 ①이다. 계약에 의한 설계는 호출자가 지켜야 할 선행조건과 작업을 마친 제공자가 보장해야 할 후행조건을 명시하여 양쪽의 책임을 표현한다. 클래스 불변조건은 외부에 공개되는 정상 상태에서 인스턴스가 만족해야 할 제약이다. 예를 들어 잔액을 변경하는 작업은 허용된 입력을 전제로 실행하고 완료 후 잔액 관계와 객체의 유효 상태를 보장하도록 설계할 수 있다. 내부 구현의 중간 단계에서 불변조건이 잠시 깨질 수 있으므로 모든 기계 명령을 실행하는 내내 항상 참이어야 한다고 설명하면 지나치게 강한 조건이 된다.

정답은 ④이다. UML의 다이어그램 분류에서 배치 다이어그램은 실행 환경의 노드와 그곳에 배치되는 산출물 등의 구조를 나타낸다. 시스템이 어떤 장치나 실행 환경에 구성되는지를 다루므로 구조 다이어그램으로 분류한다. 유스케이스는 외부 행위자가 시스템을 통해 얻는 기능을, 시퀀스는 참여자 사이의 상호작용을, 활동은 행동의 흐름을 표현하므로 행위 다이어그램 계열이다. 배치라는 말에 실행 시점이 연상되더라도 배치 구조 자체와 시간에 따른 동작의 흐름을 구별해야 한다.

정답은 ②이다. 클래스는 객체들이 공유하는 속성과 연산 등 공통 특성을 기술하는 분류자이다. 예를 들어 여러 고객 객체는 서로 다른 이름이나 번호를 갖더라도 고객이라는 클래스가 정의한 공통 속성과 동작을 따를 수 있다. 따라서 공통된 구조와 행동을 기술하는 클래스와 실제 값을 가진 개별 인스턴스를 구별한다. 트랜지션은 상태 사이의 전이, 시퀀스는 순서나 상호작용의 흐름, 서브루틴은 호출하여 실행하는 코드 단위를 가리키므로 유사 객체의 공통 형식을 나타내는 답과 다르다.

정답은 ③이다. 그림의 버스·트럭·택시는 차라는 상위 개념의 특수한 종류로 해석할 수 있다. UML 일반화는 이런 하위 분류자와 더 일반적인 상위 분류자의 관계를 나타내며, 실선 끝의 속이 빈 삼각형이 상위 분류자 쪽을 향한다. 따라서 그림에서는 구체 차종에서 차 클래스로 향하는 일반화 관계를 읽는다. 공통 특성을 뽑는 사고 과정에는 추상화가 활용될 수 있지만, 주어진 선과 삼각형으로 표시한 UML 관계의 명칭은 일반화이다. 단순 사용 의존이나 임의의 그룹 묶음으로 읽지 않는다.

정답은 ①이다. GoF 패턴을 설명하는 전형적인 템플릿에는 의도, 동기, 적용 가능한 상황, 구조, 참여자, 협력, 결과, 구현 방법, 샘플 코드, 알려진 사용 사례 등이 포함된다. 문제와 배경은 패턴이 필요한 이유를, 사례와 코드는 해결 구조를 이해하고 적용하는 방법을 보여 준다. 개발자 이름은 이 템플릿의 기본 항목으로 열거되지 않는다. 그렇다고 문서에 저자나 기여자를 적으면 안 된다는 뜻은 아니며, 저작 정보와 패턴의 문제·해결 구조를 설명하는 구성 항목을 구별하는 문제이다.

정답은 ③이다. 구조적 분석의 자료 사전에서 반복되는 항목이나 묶음은 중괄호로 표현할 수 있다. 예를 들어 주문 안에 여러 주문항목이 포함되는 구조를 주문 = 주문번호 + {주문항목}처럼 적으면, 주문항목 부분이 반복될 수 있다는 의미를 전달한다. 등호는 정의이고, 문항에서 지정한 소괄호는 생략 가능한 항목, 대괄호는 대안 가운데 선택하는 항목을 나타내므로 반복과 구별한다. 프로그래밍 언어나 다른 문법 표기에서 같은 괄호를 다른 용도로 쓸 수 있어 반드시 현재 자료 사전의 표기 규칙을 기준으로 해석한다.

정답은 ③이다. 리스코프 치환 원칙은 상위 타입을 사용하는 문맥에 하위 타입의 객체를 넣어도 기대한 계약과 올바른 동작이 유지되어야 한다는 원칙이다. 핵심은 단순히 문법적으로 상속할 수 있는지가 아니라 클라이언트가 의존하는 의미를 지키는지에 있다. 하위 타입이 상위 타입의 허용 입력을 부당하게 거부하거나 약속한 결과를 지키지 못하면 치환 가능성을 해칠 수 있다. 기존 표현처럼 하위 타입을 어디서나 상위 타입으로 바꾼다는 반대 방향으로 읽으면 하위 타입만의 기능을 사용하는 문맥까지 포함하게 되어 원칙을 정확히 설명하지 못한다.

정답은 ②이다. 자료흐름도는 자료를 변환하는 처리, 처리를 연결하는 자료 흐름, 자료를 보관하는 저장소, 시스템 경계 밖에서 자료를 주고받는 외부 개체로 구성한다. 여기서 terminator는 외부의 자료 원천이나 목적지를 뜻하며 프로그램을 종료하는 명령이라는 뜻이 아니다. 자료 사전은 흐름과 저장소의 자료 내용을 정의하고 미니 명세는 세부 처리 논리를 설명하는 데 활용되지만, 둘을 자료흐름도 자체의 네 가지 기본 도형 요소로 세지는 않는다. 주석도 이해를 돕는 부가 설명과 기본 구성 요소를 구별해야 한다.

정답은 ④이다. CASE는 컴퓨터를 이용해 소프트웨어 공학 활동을 지원하는 도구와 기법을 말한다. 요구 추적, 모델 작성, 코드 생성, 시험, 문서 생성 등 일부 또는 여러 활동을 지원할 수 있다. 통합된 환경은 공통 자료와 작업 결과를 공유하고 일관된 형식을 적용하는 데 도움이 되지만 모든 제품이 같은 기능을 제공하는 것은 아니다. 도구를 사용한다고 요구 판단과 설계 의사결정 등 모든 업무가 자동으로 끝나는 것도 아니다. 따라서 어떠한 프로젝트든 사람의 판단 없이 전체 개발을 완성한다고 단정하는 설명은 성립하지 않는다.

정답은 ②이다. 동료 검토는 해당 업무를 이해하는 동료가 산출물을 읽고 결함이나 개선점을 검토하는 활동이다. 작성자가 설명을 이끄는 워크스루는 하나의 검토 방식이며, 모든 동료 검토가 반드시 이런 형식으로 진행되는 것은 아니다. 인스펙션은 정해진 역할과 절차, 개별 검토 준비 등을 갖춘 체계적인 검토 방식이다. 리팩터링은 외부 동작을 유지하면서 내부 코드 구조를 개선하는 활동이고, CASE 도구는 공학 작업을 지원하는 소프트웨어이다. 사람의 검토 방식과 구조 개선 작업, 지원 도구를 구별하면 정답을 판단할 수 있다.

정답은 ③이다. SMTP의 기본 목적은 전자우편을 전달하는 것이며 통신 보안을 제공하는 방식 자체의 이름이 아니다. IPsec은 IP 계층에서 보안 서비스를 제공하고, SSL과 S-HTTP는 통신이나 HTTP 메시지를 보호하려고 정의된 과거의 기술이다. 다만 이 분류를 현재 제품의 보안 설정 권고로 받아들이면 안 된다. SSL 3.0은 사용이 금지된 낡은 프로토콜이고 S-HTTP는 실험적 문서로 발표되었다. SMTP 통신도 별도의 보안 확장이나 TLS를 적용해 보호할 수 있으므로 SMTP가 어떤 경우에도 암호화될 수 없다는 뜻은 아니다.

정답은 ④이다. 소프트웨어 공학에서는 요구에 맞는 품질을 확보하고 개발 과정에서 결과를 검증하며, 필요한 기록으로 판단과 변경을 추적할 수 있게 하는 것이 중요하다. 인력은 작업의 성격과 일정, 구성원의 능력, 팀 간 의존 관계를 고려하여 배치해야 한다. 인원수를 무조건 최대로 늘리는 것 자체는 품질이나 납기 달성을 보장하는 원칙이 아니다. 새 인력의 교육과 업무 조정, 소통에도 시간이 필요할 수 있다. 반대로 인력을 늘리는 것이 언제나 나쁘다는 뜻도 아니며, 목표를 달성하는 데 필요한 자원을 적절히 배치하는 판단이 핵심이다.

정답은 ③이다. ISO/IEC 12119:1994는 소프트웨어 패키지의 품질 요구사항과 그 요구에 대한 시험 지침을 다룬 과거 표준이다. 제공되고 인도되는 패키지를 대상으로 하며 공급자의 모든 개발 과정이나 품질 시스템 전체를 규정하는 표준으로 확대해서는 안 된다. 이 표준은 2006년에 폐지되어 ISO/IEC 25051:2006으로 대체되었고, 후속 2014판은 사용 준비가 된 소프트웨어 제품의 품질 요구사항과 시험 문서·적합성 평가를 다룬다. 따라서 현재 유효한 표준을 묻는 문제와 과거 표준의 번호를 식별하는 문제를 구별해야 한다.

정답은 ②이다. 읽기 쉬운 코드는 이름과 구조가 의도를 드러내고, 필요한 기능을 불필요하게 복잡하게 만들지 않는 방향으로 작성한다. 같은 업무 규칙을 여러 곳에 복제하면 규칙을 바꿀 때 일부만 수정하여 동작이 달라지는 문제가 생길 수 있으므로 중복을 최대화하는 것은 목표가 아니다. 변경 영향을 줄이도록 책임과 의존 관계를 정리하는 것도 이해와 유지보수에 도움이 된다. 다만 중복을 한 줄도 남기지 않으려고 서로 다른 개념을 억지로 추상화하면 복잡성이 커질 수 있으므로 실제 의미가 같은지를 판단하면서 개선해야 한다.

정답은 ④이다. 조건이나 반복문의 실행 구조를 직접 살펴 시험하는 방식은 내부 구현을 이용하는 구조 기반 시험에 해당한다. 동등 분할과 경계값 분석은 입력·출력의 명세에서 같은 성질의 집합이나 경계를 찾아 시험값을 고를 수 있다. 오류 추정은 테스터가 경험으로 예상한 실수와 결함을 이용하는 기법이다. ISTQB는 오류 추정을 경험 기반 기법으로 따로 분류하므로 이를 엄밀한 의미의 명세 기반 블랙박스 기법이라고 단정하지 않는다. 개정 문항은 이런 분류 차이를 반영하여 내부 조건·반복 구조를 직접 이용하는 선택지를 찾도록 했다.

정답은 ②이다. 그림의 정점은 a, b, c, d의 네 개이고 간선은 a→b, b→c, a→c, c→d, d→c, d→a의 여섯 개이다. 문항에서 지정한 단일 모듈의 계산식 E−N+2에 대입하면 6−4+2=4가 된다. c와 d 사이의 두 화살표는 방향이 반대인 서로 다른 간선이므로 하나로 합쳐 세면 안 된다. 또한 일반 그래프의 순환 계수 E−N+1을 그대로 쓰면 3이 되어 다른 값을 얻게 된다. 제시 그림은 진입·종료 표시가 충분하지 않으므로 실제 실행 가능한 모든 제어 경로를 추정하기보다 명시된 계산 규칙을 적용한다.

정답은 ④이다. 오름차순 선택정렬에서 아직 정렬하지 않은 구간의 최솟값을 찾아 그 구간의 첫 원소와 교환한다. 처음에는 14를 찾아 37과 바꾸므로 14, 37, 17, 40, 35가 된다. 두 번째에는 남은 구간의 최솟값 17을 37과 바꾸어 14, 17, 37, 40, 35가 된다. 세 번째에는 35를 37과 바꾸므로 14, 17, 35, 40, 37이 된다. 각 회전은 비교 한 번이 아니라 최솟값을 찾고 위치를 확정하는 한 단계이며, 3회전이 끝나도 뒤쪽의 40과 37은 아직 정렬되지 않을 수 있다.

정답은 ①이다. 형상 관리 도구에 포함되는 버전 관리 기능은 파일과 산출물의 변경 이력을 보관하고 필요한 버전을 가져오거나 변경 결과를 기록하게 한다. 체크아웃은 저장소에서 작업 사본 등을 얻는 동작으로, 체크인이나 커밋은 변경을 관리 이력에 반영하는 동작으로 쓰인다. 구체적인 의미와 저장 위치는 도구마다 다르므로 모든 시스템에서 커밋이 곧 원격 전송이라고 생각하면 안 된다. 데이터베이스 정규화는 종속 관계를 고려하여 관계 구조를 정리하는 설계 활동이며 이런 기본적인 변경 이력 관리 명령과는 목적이 다르다.

정답은 ①이다. 전위 순회는 현재 노드를 먼저 방문한 다음 그 노드의 하위 트리를 정해진 순서대로 순회한다. 그림의 루트가 A이므로 자식 쪽으로 내려가기 전에 가장 먼저 A를 방문한다. 자식들을 왼쪽부터 처리하면 전체 방문 순서는 A, B, D, C, E, G, H, F가 된다. D나 G처럼 더 깊은 노드를 먼저 선택하는 것은 전위 순회의 현재 노드 우선 규칙과 맞지 않는다. 문항은 전체 순서가 아니라 첫 노드만 묻고 있으므로 루트를 먼저 찾고 전위의 방문 시점을 연결하면 충분하다.

정답은 ③이다. 신뢰성은 정해진 조건과 기간 동안 시스템이나 구성 요소가 요구된 기능을 수행하는 능력 또는 정도를 뜻한다. 기능이 한 번 성공한 사실만으로 장시간의 신뢰성을 모두 판단할 수 없으며 운용 조건과 관찰 기간을 함께 정해야 한다. 직관성과 사용 용이성은 사용자가 이해하고 조작하는 경험에, 이식성은 다른 환경으로 옮겨 적용하는 데 초점이 있다. 또한 신뢰성이 높다는 표현을 소프트웨어에 결함이 하나도 없다는 절대 보장으로 읽기보다, 정해진 환경에서 요구 동작을 지속적으로 제공하는 성질로 이해한다.

정답은 ③이다. 분할 정복은 문제를 작은 하위 문제로 나누어 풀고 결과를 결합하는 전략이며, 탐욕법은 매 단계에서 현재 기준으로 가장 유리한 선택을 하는 전략이다. 백트래킹은 선택을 진행하다 조건을 만족할 수 없으면 이전 선택 지점으로 돌아가 다른 후보를 탐색한다. Static Block은 이들과 함께 분류하는 일반적인 알고리즘 설계 전략의 명칭이 아니다. 또한 탐욕적으로 고른 결과가 모든 문제에서 전역 최적해를 보장하는 것은 아니고, 백트래킹도 단순히 모든 계산을 처음부터 다시 시작하는 방법으로 한정되지 않는다.

정답은 ③이다. 형상 관리는 소프트웨어와 관련 산출물을 식별하고 변경을 통제하며, 버전과 상태를 기록하고 배포 구성을 확인하는 활동이다. 이에 따라 이전 버전을 찾거나 변경 권한을 적용하고 여러 개발자의 작업을 통합하는 데 도움이 된다. 이런 활동이 재작업을 줄여 비용에 간접적인 영향을 줄 수는 있지만, 전체 프로젝트 예산을 추정·배분·통제하는 일 자체가 형상 관리의 직접적인 중심 책임은 아니다. 형상 관리와 프로젝트 비용 관리가 전혀 관계없다는 뜻으로 읽지 않도록 직접 역할과 간접 효과를 구별해야 한다.

정답은 ④이다. 소프트웨어를 배포할 패키지로 만들 때에는 대상 환경에서 설치·실행할 수 있는지, 필요한 파일과 의존성이 포함되었는지, 사용자가 절차를 이해할 수 있는지 등을 확인한다. 보호가 필요한 콘텐츠나 배포 산출물에는 위협과 요구에 맞는 암호화·서명·무결성 검증 등을 검토해야 한다. 모든 파일을 반드시 암호화해야 한다는 뜻은 아니지만 보안을 아예 고려하지 않는다는 설명은 적절하지 않다. 보안 조치와 이기종 호환성, 설치 편의성은 서로 영향을 줄 수 있으므로 실제 배포 환경에서 함께 검증하는 것이 중요하다.

정답은 ③이다. DRM은 콘텐츠에 허용된 사용 권리와 제한을 연결하고 이를 집행하기 위한 체계이다. 콘텐츠를 암호화하고 키와 식별 정보를 관리하며, 어떤 사용자가 어느 조건으로 이용할 수 있는지 라이선스로 전달하는 기능이 핵심이다. 전송 중 우연한 비트 오류를 찾아 재전송하거나 복구하는 기능 자체는 일반적인 데이터 전달의 신뢰성 문제에 가깝다. DRM 구현도 무결성 검사나 오류 처리를 사용할 수 있으므로 그런 기능이 절대로 존재하지 않는다는 뜻은 아니다. 직접적인 이용 권한 관리와 통신 오류 복구라는 목적을 비교해야 한다.

정답은 ④이다. Oracle의 파티셔닝 설명에서 범위 분할은 키 값의 구간으로, 해시 분할은 키에 해시 함수를 적용한 결과로 행을 나눈다. 복합 또는 조합 분할은 먼저 한 방식으로 파티션을 만든 다음 그 안을 다른 기준으로 하위 분할하는 방식이다. 예를 들어 날짜 구간으로 나눈 뒤 각 구간 안에서 해시 분할을 적용할 수 있다. Unit Partitioning은 문항에서 기준으로 삼은 문서의 이들 기본·복합 분할 전략 이름에 포함되지 않는다. 모든 DBMS가 동일한 분할 이름과 기능을 제공한다고 일반화하지 않는 것이 중요하다.

정답은 ①이다. 상위 구성 요소에서 시작하여 하위 구성 요소를 점진적으로 연결하는 흐름은 하향식 통합 시험이다. 호출할 하위 구성 요소가 아직 준비되지 않았다면 그 인터페이스에 필요한 동작을 대신 제공하는 스텁을 사용할 수 있다. 같은 하향식 전략 안에서도 한 갈래를 먼저 내려가는 깊이 우선이나 같은 수준을 먼저 연결하는 너비 우선 방식을 선택할 수 있다. 상향식은 낮은 수준에서 위로 통합하며 필요한 호출 역할을 드라이버로 대신할 수 있다. 회귀 시험은 변경의 부작용을 확인하는 목적이고 빅뱅은 여러 요소를 한꺼번에 통합하는 접근이다.

정답은 ④이다. AJAX는 JavaScript를 이용하여 비동기 HTTP 요청으로 서버의 자료를 받고 페이지의 필요한 부분을 갱신하는 웹 개발 기법이다. 이름에 XML이 들어 있고 그림도 XML 자료 교환을 예로 들지만, 실제로는 JSON이나 텍스트 등 다른 형식의 응답도 사용할 수 있다. 페이지 전체를 다시 불러오지 않고 필요한 내용을 갱신한다는 동작이 핵심이다. 저장 프로시저와 트리거는 데이터베이스 안의 처리와 관련되고, 탐욕법은 알고리즘 선택 전략이므로 그림의 브라우저와 서버 사이 비동기 통신 기법과는 다르다.

정답은 ④이다. 재공학은 기존 소프트웨어를 조사하고 변경하여 새로운 형태로 다시 구성하는 활동이다. 기존 기능과 운영 경험을 활용하면 모든 것을 처음부터 만드는 재개발보다 불확실성과 재작업을 줄일 수 있고, 기존 동작을 대조 자료로 삼아 빠뜨린 요구나 명세 문제를 찾는 데도 도움이 될 수 있다. 다만 이 효과는 기존 자산의 상태와 변경 범위에 달려 있어 비용·위험이 항상 감소한다고 보장할 수 없다. 개발 시간이 늘어난다는 사실 자체를 재공학의 장점으로 제시하는 것은 부적절하며, 선택 전에는 실제 비용과 효과를 비교해야 한다.

정답은 ②이다. 알파와 베타 시험은 실제 또는 잠재 사용자가 제품을 사용하며 요구와 기대에 맞는지 확인하는 인수 시험의 형태로 다룬다. 통상 알파 시험은 개발 조직의 환경에서, 베타 시험은 외부 사용자의 환경에서 수행하여 서로 다른 사용 경험과 피드백을 얻는다. 단위 시험은 개별 구성 요소, 통합 시험은 요소 사이의 상호작용, 시스템 시험은 완성된 시스템의 동작에 초점을 둔다. 실제 프로젝트에서는 활동이 겹칠 수 있지만 알파·베타라는 명칭의 주된 수용 판단 목적을 기준으로 답을 고른다.

정답은 ②이다. 이 문항은 루트가 있는 트리에서 각 노드의 자식 수를 그 노드의 차수로 정의한다. A의 자식은 B와 C로 두 개이고, B의 자식은 D·E·F로 세 개이다. C의 자식은 G 하나이며 F의 자식은 H와 I로 두 개이다. 나머지 말단 노드는 자식이 없으므로 차수가 0이다. 따라서 최대 자식 수인 3이 트리의 차수이다. 무방향 그래프로 생각하여 B의 부모 A까지 연결된 간선을 모두 세면 4가 되지만, 이는 여기서 지정한 자식 수 기준과 다른 정의이다.

정답은 ③이다. BCNF는 릴레이션에서 성립하는 모든 비자명 함수 종속 X→Y에 대해 결정자 X가 슈퍼키여야 한다는 조건으로 정의한다. 슈퍼키는 전체 튜플을 식별할 수 있는 속성 집합이며 최소성을 만족하면 후보키가 된다. 따라서 모든 결정자를 반드시 최소인 후보키라고 표현하기보다 비자명 종속과 슈퍼키 조건을 명시하는 것이 정확하다. BCNF이면 하위 정규형도 만족하지만 질문은 이 정의에 직접 대응하는 이름을 묻는다. 제4정규형은 함수 종속만으로 다루지 못하는 다치 종속까지 고려하므로 같은 정의로 판단할 수 없다.

정답은 ④이다. 그림은 고객ID, 고객이름, 거주도시라는 세 속성으로 구성된 하나의 릴레이션 인스턴스이다. 열의 개수는 속성 수이므로 3이고, 제목 행 아래에 실제 고객 자료를 담은 행은 5개이므로 튜플 수는 5이다. 열 이름이 적힌 머리글은 스키마를 알려 주는 표시이며 자료 튜플로 세지 않는다. 릴레이션 수를 열 수와 혼동하거나 속성과 튜플을 바꾸어 세면 오답이 된다. 이 인스턴스에서 차수는 3, 카디널리티는 5라는 용어 대응도 함께 기억할 수 있다.

정답은 ③이다. 원자성은 하나의 트랜잭션에 속하는 작업들이 전부 반영되거나 전혀 반영되지 않은 것처럼 처리되는 성질이다. COMMIT은 성공한 트랜잭션의 변경을 확정하고 ROLLBACK은 아직 확정하지 않은 변경을 취소하는 제어 수단이다. 예를 들어 계좌 이체의 출금만 남고 입금은 빠지는 부분 반영을 막으려는 목적과 연결된다. 두 명령의 이름만 존재한다고 장애 상황까지 자동으로 보장되는 것은 아니며 DBMS의 기록과 복구 구현도 필요하다. 로그는 그 구현 수단 가운데 하나이고 병행성이나 보안성은 원자성의 명칭이 아니다.

정답은 ②이다. SELECT 목록에는 학년 하나만 있으므로 결과에도 학년 열만 포함된다. DISTINCT는 이 선택 결과에서 같은 학년 값이 여러 번 나타날 때 중복 행을 제거한다. 입력의 1, 1, 2, 2, 3을 서로 다른 값으로 정리하면 1, 2, 3의 세 행이 남는다. 학생 이름이 서로 다르더라도 이름을 조회하지 않았으므로 중복 제거 기준에 들어가지 않는다. 또한 ORDER BY가 없으므로 결과를 1부터 3까지 정렬해 반환한다고 보장하지 않으며, 여기서는 반환되는 값과 행 수만 비교한다.

정답은 ④이다. SELECT는 조회할 열과 조건 등을 지정하여 자료를 검색하는 명령이다. COMMIT은 현재 트랜잭션을 확정하고 ROLLBACK은 아직 확정하지 않은 변경을 취소하며, GRANT는 대상 객체 등에 대한 권한을 부여한다. 따라서 네 명령을 실제 기능으로 비교하면 자료 조회에 해당하는 SELECT를 구별할 수 있다. 교재에 따라 COMMIT과 ROLLBACK을 넓은 데이터 제어 범주에 넣기도 하지만 많은 분류에서는 트랜잭션 제어어인 TCL로 따로 다룬다. 분류 차이를 숨긴 채 셋을 모두 DCL이라고 단정하지 않는다.

정답은 ④이다. 로킹 단위는 하나의 잠금으로 보호하는 데이터 범위를 말하며 행·페이지·테이블처럼 여러 크기를 사용할 수 있다. 같은 작업 범위를 더 작은 단위로 잠그면 필요 없는 데이터까지 함께 막는 일이 줄어 다른 트랜잭션이 접근할 여지가 커진다. 대신 관리해야 할 잠금 수가 늘어 오버헤드가 커질 수 있다. 큰 단위로 잠그면 잠금 관리 수는 줄어들 수 있지만 충돌하는 접근을 더 넓게 제한하여 동시 접근 가능성을 낮출 수 있다. 실제 영향은 잠금 모드와 접근 패턴에도 달려 있으므로 단위 크기만으로 모든 성능을 단정하지 않는다.

정답은 ①이다. 개체 무결성은 각 튜플을 기본키로 분명하게 식별할 수 있어야 한다는 제약과 연결된다. 기본키를 구성하는 속성에는 NULL을 허용하지 않으며 기본키 값은 행을 유일하게 식별해야 한다. 복합 기본키에서도 각 구성 열에 NULL이 허용되는 것은 아니다. 참조 무결성은 외래키와 참조 대상의 관계, 도메인 무결성은 허용 값과 형식의 범위를 다룬다. 속성 값을 원자적으로 다룬다는 제1정규형의 조건은 기본키 NULL 금지와 별개의 개념이므로 한 문장으로 섞어서 정의하지 않는다.

정답은 ①이다. PostgreSQL의 일반 뷰는 조회 정의를 보관하며 그 결과 행을 별도 물리 데이터로 저장하는 객체가 아니다. 따라서 일반 뷰 자체의 저장 데이터에 인덱스를 만든다는 설명은 맞지 않는다. 실제 조회에서는 기반 테이블의 인덱스를 이용할 수 있다. 뷰는 필요한 열과 행을 노출하고 복잡한 질의를 감추며 일정한 조회 인터페이스를 제공하는 데 활용할 수 있지만, 권한과 보안 조건을 제대로 설계해야 한다. 물리화 뷰나 일부 제품의 인덱스드 뷰는 별도의 기능이므로 일반 뷰의 설명과 구별한다.

정답은 ④이다. 분산 투명성은 자료나 기능이 여러 곳에 나뉘어 있다는 사실 가운데 일부를 사용자와 응용 프로그램이 직접 처리하지 않아도 되도록 감추는 성질이다. 위치 투명성은 어디에 있는지, 복제 투명성은 여러 복사본이 존재하는지에 대한 부담을 줄이며 장애 투명성은 일부 장애와 복구를 가능한 범위에서 감춘다. 기준 문서가 열거하는 접근 투명성과 Media Access Transparency라는 표현을 혼동하지 않아야 한다. 또한 모든 장애를 완전히 숨길 수 있다는 보장은 없고, 높은 투명성을 구현하는 데에는 응답 시간 등의 비용이 따를 수 있다.

정답은 ③이다. 정규화는 함수 종속 등 데이터의 의미와 제약을 분석하여 관계 구조를 적절히 분해함으로써 불필요한 중복과 변경 이상을 줄이려는 설계 과정이다. 예를 들어 같은 부서 정보를 여러 직원 행에 반복 저장하면 한 부서 정보를 바꿀 때 여러 행을 함께 고쳐야 하는 문제가 생길 수 있다. 분해할 때에는 원래 정보를 잃지 않고 다시 결합할 수 있는지 등을 검토해야 한다. 이상 현상을 더 많이 발생시키는 것이 목적은 아니며, 정규화만 수행하면 모든 조회가 빨라지거나 최적 검색 알고리즘이 자동 생성된다고 보장하지도 않는다.

정답은 ②이다. 함수 종속 X→Y와 Y→Z가 성립하면 X가 같은 두 튜플은 먼저 Y가 같고, Y가 같으므로 다시 Z도 같게 된다. 따라서 X→Z를 추론할 수 있으며 이를 이행 규칙이라고 한다. X·Y·Z는 각각 하나의 속성뿐 아니라 속성 집합일 수도 있다. 분해는 X→YZ에서 X→Y 등을 얻는 규칙이고, 결합은 같은 결정자에 대한 종속들을 묶는 규칙이다. 반사는 Y가 X의 부분집합일 때 X→Y가 성립한다는 규칙이므로 중간 집합 Y를 거쳐 연결하는 이행과 구별한다.

정답은 ④이다. R÷S의 결과에는 R의 속성 가운데 S에 없는 D1만 남는다. 각 D1 값이 S의 모든 (D2,D3) 튜플과 결합한 행을 R에서 갖는지 확인한다. S에는 (1,A) 하나가 있으므로 (a,1,A)와 (b,1,A)를 가진 a와 b가 조건을 만족한다. c는 (2,A), d는 (2,B)만 있어서 필요한 (1,A) 조합이 없다. 따라서 결과는 D1 열의 a와 b이다. 나눗셈은 단순히 두 표의 같은 값을 제거하거나 공통 열만 출력하는 연산이 아니라 S의 모든 조건을 충족하는 나머지 속성 값을 찾는 연산이다.

정답은 ④이다. BETWEEN으로 범위를 지정할 때에는 하한과 상한 사이에 AND를 써야 한다. 따라서 네 번째 줄의 170 OR 180을 170 AND 180으로 고쳐야 한다. 올바른 조건 height BETWEEN 170 AND 180은 height가 170 이상이면서 180 이하인 경우를 포함하며 두 경계값도 포함한다. SELECT의 열 목록, FROM의 테이블, WHERE의 문자값 비교는 질문에서 선언한 스키마를 전제로 맞는 형태이다. 네 번째 줄 맨 앞의 AND는 국가 조건과 키 조건을 결합하는 논리 연산자이고 BETWEEN 안의 AND는 범위 문법의 일부라는 점도 구별한다.

정답은 ①이다. 로그를 이용하는 즉시 갱신 방식은 트랜잭션이 확정되기 전에도 데이터 변경을 버퍼나 저장소에 반영할 수 있다. 이후 취소나 장애가 발생하면 미확정 변경을 되돌릴 정보가 필요하고, 확정했지만 아직 저장소에 완전히 반영되지 않은 변경은 다시 적용할 수 있어야 한다. 전형적인 로그에는 변경 전후 값과 시작·확정 상태 등을 기록하며 데이터 변경에 앞서 필요한 로그를 안전하게 보관하는 규칙을 적용한다. 지연 갱신 방식도 로그를 사용할 수 있으므로 즉시 갱신만이 로그를 쓰는 유일한 방법이라고 외워서는 안 된다.

정답은 ③이다. INSERT는 행을 추가하고 UPDATE는 기존 행의 값을 바꾸며 DELETE는 조건에 맞는 행을 제거하는 데이터 조작 명령이다. ALTER는 일반적으로 ALTER TABLE처럼 사용하여 열이나 제약 등 객체의 정의를 변경하는 데이터 정의 명령이다. 예를 들어 고객 주소 값을 바꾸는 것은 UPDATE이고 주소 열의 자료형이나 제약을 바꾸는 것은 ALTER TABLE에 해당한다. 두 작업이 모두 일상어로는 변경이라고 불리더라도 저장된 행의 내용과 스키마 정의 중 무엇을 바꾸는지를 기준으로 구별해야 한다.

정답은 ①이다. 도시 열의 값은 하나의 도시로 다루기로 했는데 위 표는 대한민국의 서울·부산이나 미국의 워싱턴·뉴욕을 한 셀에 묶어 두었다. 아래 표는 각 나라와 도시의 조합을 한 행씩 나타내어 도시 도메인을 원자적인 값으로 다룬다. 이런 변화는 제1정규형의 원자적 도메인 조건과 직접 연결된다. 국가 이름이 여러 행에 반복된다는 사실만으로 정규화가 잘못되었다고 판단하지 않으며, 제2·제3·제4정규형 여부는 키와 함수·다치 종속 같은 추가 조건이 있어야 판단할 수 있다. 원자성은 현재 자료를 어떻게 사용할지 정한 도메인에 따른다.

정답은 ②이다. 카티션 곱은 첫 릴레이션의 각 튜플을 두 번째 릴레이션의 모든 튜플과 결합한 결과이다. 두 관계에 각각 m개와 n개의 튜플이 있으면 모든 조합은 m×n개이다. 선택은 조건에 맞는 행을 남기고, 투영은 지정한 속성을 남기며, 나눗셈은 제수 관계의 모든 조건에 대응하는 나머지 속성 값을 찾는다. 이 연산들은 모두 관계대수에 포함되므로 카티션 곱이 관계대수가 아니라는 식으로 오해해서는 안 된다. 집합 연산 계열과 순수 관계 연산을 나누는 교재 분류보다 실제 연산 의미로 구별한다.

정답은 ④이다. 집계 함수는 여러 입력 행의 값을 요약하여 평균·개수·합계 같은 결과를 계산한다. AVG는 평균, COUNT는 개수, SUM은 합계를 구하는 대표적인 집계 함수이다. CREATE는 CREATE TABLE이나 CREATE VIEW처럼 데이터베이스 객체를 정의하는 명령의 키워드이며 여러 행을 요약하는 함수가 아니다. 집계 대상의 자료형과 NULL 처리도 결과에 영향을 준다. 특히 COUNT(*)는 행 수를 세고 COUNT(열)은 해당 열이 NULL이 아닌 행을 세므로 둘을 무조건 같은 값이라고 생각하면 안 된다.

정답은 ④이다. 변경 이상은 불필요한 중복이나 부적절한 관계 구조 때문에 삽입·삭제·갱신 과정에서 의도하지 않은 제약이나 정보 손실, 불일치가 생기는 현상이다. 예를 들어 부서 주소가 직원마다 반복되어 있을 때 한 행만 바꾸면 같은 부서의 주소가 서로 달라질 수 있다. 마지막 직원을 삭제하면서 부서 자체의 정보도 사라지는 경우는 삭제 이상으로 볼 수 있다. 정규화는 이런 문제를 줄이기 위한 설계 과정이고, 롤백은 트랜잭션을 취소하는 동작이며, 카디널리티는 릴레이션의 튜플 수를 가리키므로 현상의 이름과 다르다.

정답은 ④이다. 고전적인 관계 모델의 릴레이션 인스턴스는 튜플의 집합이므로 튜플 사이에 본질적인 순서가 없고 같은 튜플을 중복 원소로 세지 않는다. 삽입이나 삭제가 일어나면 현재 인스턴스는 바뀔 수 있다. 제1정규형을 전제로 각 속성은 지정된 도메인에서 하나의 원자적인 값으로 다룬다. 실제 SQL의 테이블이나 SELECT 결과는 설정과 질의에 따라 중복을 허용할 수 있으며, 화면에 어떤 순서로 보였다는 이유만으로 그 순서가 보장되지는 않는다. 순서가 필요한 SQL 결과에는 ORDER BY를 명시해야 한다.

정답은 ①이다. 조건 연산자는 조건이 참이면 물음표 뒤의 첫 식을, 거짓이면 콜론 뒤의 식을 선택한다. 제시한 if 문은 i가 j보다 클 때 차를, 그렇지 않을 때 합을 k에 저장하므로 같은 조건과 두 식의 순서를 그대로 유지한 ①이 동등하다. ④는 서로 다른 두 값에 대해서는 같은 결과를 낼 수 있지만 i=j=5이면 원래 코드는 10, ④는 0을 만든다. 기존의 i=7, j=9만 고정하면 ①과 ④가 모두 16이 되어 답을 하나로 정할 수 없으므로, 개정 문항은 같은 값도 포함한 모든 int 입력에서의 동등성을 묻는다.

정답은 ③이다. 입력의 크기를 확인하지 않고 고정 크기 버퍼에 복사하면 준비된 저장 공간의 경계를 넘어 다른 메모리를 덮어쓸 수 있다. 이는 전형적인 버퍼 오버플로 취약점이며 프로그램 중단이나 데이터 손상, 조건에 따라 제어 흐름 변조로 이어질 수 있다. 단순히 메모리 처리에 오류가 있다는 설명만으로는 해제 후 사용이나 잘못된 포인터 등 여러 문제를 구별할 수 없으므로 복사 길이와 버퍼 경계를 명시해야 한다. FTP 바운스, SQL 삽입, 경로 접근 문제는 각각 통신 기능·질의 구성·파일 접근 범위를 악용하는 다른 유형이다.

정답은 ③이다. Bash는 if로 조건에 따라 실행 경로를 선택하고 for·while·until 등으로 명령을 반복하는 문법을 제공한다. while은 조건 명령이 성공하는 동안 본문을 반복하며, 목록을 순회하는 for는 각 항목을 변수에 대입하여 본문을 실행한다. repeat_do는 Bash가 기본 제어문으로 정의한 예약어가 아니다. 사용자가 같은 이름의 함수나 외부 명령을 만들 수는 있지만 그것이 Bash 문법의 제어문이 되는 것은 아니다. 다른 셸이나 의사코드에서 본 반복 표현을 Bash의 내장 문법과 혼동하지 않도록 한다.

정답은 ①이다. IPv6의 출발지와 목적지 주소는 각각 128비트이며 32비트는 IPv4 주소의 길이이다. IPv6 기본 헤더에는 Traffic Class와 Flow Label 등 흐름을 구별하는 필드가 있고 기본 헤더 뒤에 확장 헤더를 연결할 수 있다. 호스트는 조건에 따라 라우터의 광고 정보와 로컬 정보를 이용하는 SLAAC 등으로 주소를 자동 구성할 수 있다. 이런 기능이 존재한다고 모든 네트워크 설정이 저절로 끝나거나 실시간 전달과 보안이 자동 보장되는 것은 아니다. 보안 정책과 실제 네트워크 운용 조건은 별도로 설계해야 한다.

정답은 ③이다. 모듈은 관련된 책임을 모아 이해하기 쉽게 만들고 외부와의 불필요한 의존을 줄이도록 설계하는 것이 일반적이다. 적절한 인터페이스와 일관된 규칙은 동작을 예측하고 변경 영향을 파악하는 데 도움이 된다. 서로 다른 모든 기능을 하나의 거대한 모듈로 묶으면 변경 이유와 의존 관계가 뒤섞여 이해·시험·수정이 어려워질 수 있다. 그렇다고 모듈을 무조건 잘게 나눌수록 좋다는 뜻은 아니며, 응집도와 결합도, 실행 비용, 실제 업무 경계를 함께 고려하여 적절한 책임 범위를 정해야 한다.

정답은 ③이다. HRN 또는 HRRN의 응답비는 (대기시간+서비스시간)/서비스시간이다. 표의 현재 값을 고정하여 계산하면 A는 25/20=1.25, B는 60/20=3, C는 60/45=4/3, D는 22/2=11이다. 따라서 지금의 응답비를 큰 순서로 정렬하면 D, B, C, A가 된다. 실제 비선점 HRRN에서는 한 작업을 끝낸 뒤 남은 작업의 대기시간을 늘려 다시 계산하므로 이 정렬을 전체 실행 순서라고 부르면 안 된다. 추가 도착이 없다면 이 표에서 동적으로 재계산한 실행 순서는 D, B, A, C가 되어 구별이 필요하다.

정답은 ③이다. 운영체제는 프로그램이 CPU와 메모리, 저장장치, 입출력 장치 같은 자원을 사용하도록 관리하고 필요한 추상화와 제어를 제공한다. 여러 작업이 실행되는 환경에서는 CPU 사용 기회를 나누고 보호와 입출력 등을 조정한다. 매크로 프로세서·어셈블러·컴파일러는 프로그램 표현을 확장하거나 다른 형식으로 번역하는 시스템 소프트웨어에 해당할 수 있지만 그 자체가 운영체제의 종류는 아니다. 운영체제와 함께 제공되거나 그 위에서 실행된다는 사실을 운영체제 자체라는 분류와 혼동하면 안 된다.

정답은 ④이다. 배치 작업에서는 정해진 절차의 자동 실행, 오류와 실행 시점의 기록, 예상 데이터량을 감당할 처리 능력 등을 요구할 수 있다. 주어진 기한 안에 끝나는지는 성능과 시간 제약에 관한 문제이고, 다른 프로그램에 미치는 영향을 관리하는 것은 자원 사용과 공존성의 문제이다. 데이터 무결성은 정보가 부적절하게 변조되거나 훼손되지 않고 요구한 정확성과 제약을 유지하도록 하는 성질이므로 완료 시간만으로 정의할 수 없다. 빠르게 끝난 작업이라도 누락·중복·잘못된 수정이 있다면 결과의 무결성을 별도로 검증해야 한다.

정답은 ②이다. TCP는 연결을 바탕으로 신뢰성 있는 바이트 스트림을 전달하는 전송 계층 프로토콜이다. 순서 번호와 확인 응답, 재전송, 수신 윈도우 등을 이용해 순서와 손실·흐름을 관리한다. 기본 헤더는 20바이트이고 옵션과 패딩을 포함한 일반 TCP 헤더의 최대 길이는 60바이트이다. 헤더의 Data Offset은 4비트이며 길이를 32비트 단위로 나타내므로 기본값 5는 20바이트, 최대값 15는 60바이트에 해당한다. 신뢰성이 있다는 것이 암호화나 모든 상황에서의 전달 성공까지 보장한다는 의미는 아니다.

정답은 ④이다. 절차적 응집도는 여러 처리 요소가 정해진 실행 순서를 따른다는 이유로 한 모듈에 모여 있는 경우이다. 예를 들어 서로 다른 작업이라도 같은 절차에서 차례로 수행하도록 묶을 수 있다. 이때 앞 작업의 출력이 반드시 다음 작업의 입력이 될 필요는 없다. 그런 자료 전달 관계로 밀접하게 연결된다면 순차적 응집도와 구별해 검토해야 한다. 하나의 명확한 기능을 완성하는 기능적 응집도나 우연히 모아 둔 우연적 응집도와도 다르므로 그림의 순서라는 단서를 실행 절차의 관계로 읽는 것이 핵심이다.

정답은 ①이다. OSI 참조 모델에서 데이터링크 계층은 물리 계층이 제공하는 전송을 이용하여 인접한 노드 사이의 데이터링크 연결과 프레임 전달을 다룬다. 연결의 설정·유지·해제와 오류 검출·복구, 흐름 제어 등의 기능이 이 계층의 설명에 포함된다. 물리 계층은 비트와 신호 전송을, 세션 계층은 상위 응용 사이의 대화와 동기화를 다루므로 링크의 직접적인 제어와 구별한다. 실제 모든 데이터링크 프로토콜이 같은 방식의 재전송이나 흐름 제어를 반드시 구현하는 것은 아니며, 문항은 참조 모델의 기능 분담을 묻는다.

정답은 ③이다. 전통적인 결합도 분류에서 제시한 네 종류를 낮은 쪽부터 비교하면 자료, 스탬프, 제어, 공통 결합 순으로 본다. 자료 결합은 필요한 값을 인자로 전달하고, 스탬프 결합은 공통 자료구조의 형태에 의존하며, 제어 결합은 다른 모듈의 행동을 지정하는 값에 의존한다. 공통 결합은 여러 모듈이 전역 자료를 공유하여 누가 값을 바꾸었는지와 어떤 영향이 퍼지는지를 함께 고려해야 하므로 보기 중 강한 결합으로 분류된다. 이 순서는 전통적인 구조 설계의 판단 기준이며 모든 프로그램의 성능이나 결함 수를 절대적으로 예측하는 척도는 아니다.

정답은 ④이다. Worst Fit은 요청을 수용할 수 있는 빈 영역 가운데 가장 큰 것을 선택한다. 표에서 비어 있는 영역은 NO.1의 8K, NO.2의 12K, NO.5의 16K이고, 10K 요청을 수용할 수 있는 후보는 12K와 16K이다. 그중 큰 16K의 NO.5를 선택하므로 분할 후 남는 공간은 6K이다. NO.4가 20K로 더 크더라도 이미 사용 중이므로 후보가 아니다. NO.2는 이 표에서 가장 작은 적합 빈 영역이므로 Best Fit의 결과와 Worst Fit을 혼동하지 않도록 한다.

정답은 ①이다. /24에서 같은 크기의 서브넷을 최소 10개 확보하려면 서브넷 비트를 4개 빌려야 한다. 3개를 빌리면 8개로 부족하고 4개면 16개의 /28 서브넷을 만들 수 있다. 각 블록의 주소 수는 16개이므로 0번 서브넷을 첫 번째로 세면 열 번째 블록의 시작은 (10−1)×16=144이다. 주소 범위는 200.1.1.144부터 200.1.1.159까지이고 마지막 주소가 브로드캐스트이다. 정확히 10개의 같은 크기 블록으로 /24 전체를 나눈다는 표현은 이진 프리픽스 분할과 맞지 않아 최소 10개 확보 조건으로 고쳤다.

정답은 ③이다. Python 슬라이스는 시작 인덱스를 포함하고 끝 인덱스는 제외한다. string[0:3]은 인덱스 0·1·2의 문자 Hel을 얻고, string[-3:]은 끝에서 세 번째부터 마지막까지인 rld를 얻는다. 두 문자열을 더하면 Helrld가 된다. ①은 첫 글자 H를 빠뜨려 elrld, ②는 마지막 d를 빠뜨려 Helrl을 만든다. ④는 원문 전체와 마지막 문자만 제외한 원문을 이어 붙이므로 요구 결과보다 길어진다. 변수 이름의 대소문자는 구별되므로 원래 이미지의 String과 보기의 string이 달랐던 부분도 일치시켰다.

정답은 ③이다. Python의 식별자에는 영문자와 밑줄을 사용할 수 있고 숫자는 첫 글자를 제외한 위치에 사용할 수 있다. 따라서 count2는 가능하지만 2count는 일반적인 변수 이름으로 쓸 수 없다. 이름 중간의 공백은 토큰을 나누므로 하나의 식별자에 포함할 수 없다. if나 class 같은 키워드도 그대로 변수 이름으로 사용할 수 없다. 허용되는 비ASCII 유니코드 문자도 있으므로 변수 이름이 영문자만 가능하다고 단정하지 않으며, match 등 문맥에 따라 키워드가 되는 소프트 키워드와 항상 예약된 키워드도 구별한다.

정답은 ③이다. 제어 결합은 한 모듈이 플래그나 명령 값을 전달하여 다른 모듈이 수행할 기능이나 내부 처리 경로를 지정하는 의존 관계이다. 예를 들어 같은 함수를 호출하면서 모드 값을 보내 특정 처리 분기를 선택하도록 한다면 호출자와 피호출자가 그 제어값의 의미를 함께 알아야 한다. 단순한 업무 데이터 전달과 달리 상대 모듈의 행동 선택에 직접 관여한다는 점이 핵심이다. 제어 신호가 반드시 하위에서 상위로 이동해야 하는 것은 아니며, 이른바 권리 전도 현상이 있어야만 제어 결합이 성립한다고 제한해서는 안 된다.

정답은 ③이다. for 문은 i를 1로 초기화한 뒤 i<=10인 동안 본문을 실행하고, 매번 본문 뒤에서 i에 2를 더한다. 따라서 sum에 더하는 값은 1, 3, 5, 7, 9이며 누적값은 차례로 1, 4, 9, 16, 25가 된다. 마지막 본문 뒤 i는 11이 되어 조건이 거짓이므로 10이나 11을 더하지 않는다. printf의 %d는 int 값인 sum을 십진수로 출력하므로 결과는 25이다. 표준 입출력 헤더와 int 반환형을 명시하여 오래된 이미지 코드의 생략 표현 때문에 별도의 컴파일 문제가 생기지 않게 했다.

정답은 ③이다. POSIX의 fork()는 호출한 프로세스를 바탕으로 새 자식 프로세스를 생성하는 함수이다. 성공하면 부모와 자식이 각각 반환을 받으며 부모에는 자식의 프로세스 ID, 자식에는 0이 반환되어 이후 처리 경로를 구별할 수 있다. 이는 셸에서 파일 목록을 보는 ls, 파일 내용을 이어 출력하는 cat, 파일 모드를 바꾸는 chmod와 역할이 다르다. fork는 일반적인 셸 유틸리티 명령의 이름이라기보다 프로그램이 호출하는 프로세스 생성 인터페이스이므로 문항에서도 함수라는 표현으로 명확히 구별한다.

정답은 ①이다. C11에서 int는 표준 부호 있는 정수형 가운데 하나이다. float와 double은 실수 부동소수점형이며 void는 값이 없음을 나타내는 형식으로 정수형이 아니다. 원래 보기에는 char가 있었지만 C 표준은 char도 정수형 범주에 포함하므로 int만 정답이라고 하면 복수 정답 문제가 생긴다. 문자를 저장할 때 자주 사용한다는 활용 목적과 표준의 형식 분류를 구별해야 한다. 개정 보기에서는 char를 void로 바꾸어 하나의 정답을 유지하며, int의 크기가 모든 구현에서 반드시 32비트라고 덧붙이지 않는다.

정답은 ③이다. 디지털 트윈은 현실의 대상이나 프로세스를 디지털로 표현하고 정해진 주기와 정밀도로 현실과 연결·동기화하는 모델이다. 센서 등에서 얻은 자료와 모델을 이용하여 현재 상태를 파악하고 조건이 바뀔 때의 결과를 시뮬레이션하는 데 활용할 수 있다. 단순히 외형이 같은 3차원 그림을 만드는 것만으로 설명을 끝내서는 안 된다. 또한 실제 대상과 모든 면에서 완전히 같거나 예측이 반드시 정확한 것은 아니며, 사용 목적에 필요한 충실도와 데이터 품질을 검증해야 한다. 최적화는 활용 목적 중 하나이고 실행 시간이나 N-Screen은 이 모델의 명칭이 아니다.

정답은 ②이다. 정보보안의 대표적인 세 가지 목표인 CIA는 기밀성, 무결성, 가용성을 뜻한다. 기밀성은 허가되지 않은 정보 공개를 막는 성질이고, 무결성은 부적절한 변경이나 파괴로부터 정보를 보호하는 성질이다. 가용성은 권한 있는 사용자가 필요할 때 정보와 시스템을 적시에 신뢰할 수 있게 이용하도록 하는 목표이다. 휘발성은 전원이 끊어질 때 저장 내용이 사라지는 메모리 등의 특성을 설명할 수 있지만 CIA의 한 요소는 아니다. 정보보안의 모든 요구가 세 단어에만 한정된다는 뜻이 아니라 이 문항이 대표적인 세 목표를 묻는 것이다.

정답은 ④이다. 매시업은 기존의 둘 이상 데이터나 서비스 기능을 결합하여 새로운 서비스나 응용을 구성하는 방식이다. 예를 들어 지도 서비스에 별도의 시설 위치 데이터를 연결하여 하나의 화면과 기능으로 제공하는 경우를 생각할 수 있다. API 호출 결과를 연결하거나 여러 서비스의 결과를 집계하는 구현이 가능하지만 단순히 웹에서 정보를 읽는 모든 행위를 매시업이라고 부르는 것은 아니다. 양자 키 분배는 키 공유, DRM은 디지털 콘텐츠 이용 권한 관리에 관련되며, 그레이웨어는 원치 않는 동작을 하는 소프트웨어를 가리키는 범주로 서비스 결합 방식과 다르다.

정답은 ①이다. 전통적인 IFPUG 기능점수는 사용자에게 제공되는 기능 규모를 외부 입력 EI, 외부 출력 EO, 외부 조회 EQ, 내부 논리 파일 ILF, 외부 인터페이스 파일 EIF의 다섯 유형으로 식별한다. 클래스의 메서드나 인터페이스 개수는 이 다섯 가지 기능 유형에 포함되지 않는다. 외부 인터페이스 파일의 인터페이스라는 단어를 객체지향 클래스의 인터페이스와 같은 의미로 읽어서는 안 된다. 기능점수는 기능 규모의 척도이므로 비용을 얻으려면 생산성이나 단가 등의 추가 조건이 필요하며, 개수만으로 모든 프로젝트의 비용이 자동 결정되는 것도 아니다.

정답은 ②이다. RC4는 키로부터 생성한 키스트림을 평문과 결합하는 스트림 암호로 분류된다. DES는 64비트 블록, AES와 SEED는 128비트 블록을 처리하는 블록 암호이므로 제시한 보기에서 RC4만 분류가 다르다. 블록 크기와 키 길이는 별개의 개념이어서 AES의 키 길이가 128·192·256비트라는 사실을 블록 크기도 세 종류라는 뜻으로 이해하면 안 된다. 이 문항은 역사적인 알고리즘 분류를 묻는다. RC4는 TLS에서 사용이 금지되었고 DES 표준도 철회되었으므로 보기에 실렸다는 이유로 현재 안전한 선택이라고 판단해서는 안 된다.

정답은 ②이다. SLIM은 Putnam의 소프트웨어 생산 방정식에 기초하여 소프트웨어 규모, 투입 노력, 개발 기간, 생산성의 관계를 추정하는 도구 계열이다. 개발사 QSM의 설명은 Larry Putnam의 모델을 실제 추정 도구로 구현한 과정을 명시한다. 일정만 임의로 줄이면 동일한 결과를 얻는다고 보는 것이 아니라 다른 변수와의 관계를 함께 살피는 것이 핵심이다. 모델의 입력과 조직의 생산성 자료, 프로젝트 조건에 따라 결과가 달라지므로 추정값은 보장된 납기나 확정 비용이 아니다. 나머지 보기의 명칭을 SLIM의 별칭으로 이해하지 않는다.

정답은 ④이다. RSA라는 이름은 Rivest, Shamir, Adleman의 성에서 왔다. 기본 구조에서는 두 큰 소수의 곱을 공개 모듈러스로 사용하며 공개키와 개인키를 구별한다. 이 곱을 소인수분해할 수 있으면 개인키 계산에 필요한 정보를 얻을 수 있으므로 소인수분해의 어려움이 중요한 보안 기반이다. 다만 RSA를 깨는 모든 방법이 소인수분해와 수학적으로 동등하다고 증명되었다는 뜻은 아니다. DES·ARIA·SEED는 대칭키 블록 암호이다. 실제 RSA 암호화나 서명에는 적절한 인코딩·패딩 방식과 매개변수가 필요하며 교과서식 거듭제곱만 그대로 적용하지 않는다.

정답은 ④이다. 초기 COCOMO의 프로젝트 개발 모드는 Organic, Semidetached, Embedded의 세 가지이다. 익숙한 환경과 비교적 유연한 제약을 가진 유기형, 경험과 복잡성이 중간 정도인 중간형, 강한 하드웨어·소프트웨어·운영 제약을 받는 내장형을 구분하여 추정식의 계수 등을 달리 적용한다. Sequential은 순차적이라는 일반적인 말로 이 세 모드 중 하나가 아니다. 프로젝트 규모만으로 세 모드를 기계적으로 나누는 설명은 충분하지 않으며 경험과 환경·제약도 함께 고려한다. COCOMO II의 추정 단계나 하위 모델 명칭과도 구분해야 한다.

정답은 ①이다. 데이터 마이닝은 데이터에 들어 있는 패턴이나 관계를 분석하여 유용한 규칙과 예측에 활용하는 기법이다. 분류, 군집화, 연관 규칙 탐색 등 목적에 따라 여러 방법을 사용할 수 있다. 예를 들어 함께 구매되는 상품의 관계를 찾을 수 있지만 함께 나타난다는 사실만으로 한 상품이 다른 상품의 구매 원인이라고 확정할 수는 없다. 입력 자료의 품질과 문제 정의, 결과 검증도 필요하다. Wm-Bus와 Zigbee는 통신과 관련된 기술이고, 디지털 트윈은 현실 대상을 디지털로 표현·동기화하는 모델이므로 분석 기법의 이름과 구별한다.

정답은 ④이다. 메시 네트워크는 여러 노드가 서로 연결되어 필요하면 중간 노드를 거치는 경로로 데이터를 전달하는 그물형 구조이다. 여러 경로를 구성하면 특정 링크에 문제가 생겼을 때 다른 경로를 사용할 수 있지만 실제 우회 가능성은 연결 상태와 라우팅 방식에 달려 있다. 모든 노드 쌍이 직접 연결된 완전 메시와 일부 연결을 사용하는 부분 메시를 구분한다. 무선 네트워크에 활용할 수 있으나 메시라는 용어 자체가 무선에만 한정되는 것은 아니다. SDP는 접근 제어 구조, VPN은 가상 사설 연결, LAN은 근거리 네트워크라는 범위 개념이다.

정답은 ②이다. Tribe Flood Network, 줄여서 TFN은 여러 호스트를 이용하여 분산 서비스 거부 공격을 수행하는 역사적인 도구이다. 다수의 공격 지점에서 대상에 트래픽을 보내 자원을 소모시키고 정상적인 이용을 방해한다는 점이 DDoS와 연결된다. Secure Shell은 원격 접속 등을 보호하는 통신 프로토콜이고, Nimda는 악성코드의 이름이며, 교착 상태는 작업들이 필요한 자원을 서로 기다려 진행하지 못하는 상태이다. 악성코드나 장애가 간접적으로 서비스 중단을 일으킬 수 있다는 넓은 설명과, 이 문항에서 묻는 분산 공격 도구의 고유 명칭을 구별한다.

정답은 ③이다. 임계경로는 시작에서 종료까지 이어지는 경로 중 작업 소요시간의 합이 가장 큰 경로이다. 그림의 위쪽 경로는 2+2+3+3=10일, 대각선 연결을 거치는 경로는 2+3+5+4=14일, 아래쪽 경로는 3+5+4=12일이다. 세 경로 가운데 14일이 가장 길어 전체 완료 시점을 결정한다. 합류점에서는 먼저 끝난 한 경로만 보고 후속 작업을 시작하는 것이 아니라 모든 선행 작업이 끝나야 한다. 자원 제약이나 추가 지연이 없다는 문항의 조건에서 최소 완료기간을 구하는 것이며, 모든 화살표의 시간을 단순 합산하는 문제가 아니다.

정답은 ③이다. RIP는 거리 벡터 방식의 라우팅 프로토콜로 Bellman–Ford 계열의 거리 갱신 원리를 사용한다. 일반적인 홉당 비용 1 설정에서는 도달 가능한 경로의 최대 홉 수가 15이고, 메트릭 16은 무한대, 즉 도달 불가능을 나타낸다. 따라서 115홉까지 허용한다는 보기는 잘못되었다. 이러한 메트릭 한계와 라우팅 정보 수렴 특성 때문에 큰 네트워크보다는 제한된 규모에 적합하다고 설명한다. 최단 경로라는 말은 정해진 메트릭의 합을 비교한다는 뜻이며 실제 지연시간이나 대역폭을 항상 최적으로 선택한다는 의미는 아니다.

정답은 ①이다. 폭포수 모형은 요구사항 분석, 설계, 구현, 시험 등의 활동을 구분하고 앞 단계의 결과를 다음 단계의 입력으로 이어 가는 순차적 생명주기 모형이다. 단계별 산출물과 검토 시점을 계획하기에 알맞지만 요구 변화나 늦게 발견한 문제 때문에 앞 단계로 돌아가면 수정 비용이 커질 수 있다. 순차적이라는 특징을 설명한다고 해서 실제 모든 프로젝트에서 되돌아가거나 변경하는 일이 절대 없다는 뜻은 아니다. 애자일 접근은 반복과 피드백을 강조하며 컴포넌트 기반 개발은 부품의 재사용·조립 관점이므로 이 문항이 지정한 순차적 흐름의 이름과 구별한다.

정답은 ②이다. 나선형 모형은 각 반복에서 목표와 대안·제약을 확인하고, 대안을 평가하여 주요 위험을 파악·줄인 뒤 필요한 제품 수준을 개발하고 검증하는 위험 중심 접근이다. 그 결과를 관계자와 검토하고 다음 반복의 계획과 진행 여부를 정한다. 문항의 A는 해당 반복의 목표·대안·제약 확인, D는 위험 평가와 해소, C는 개발·검증, B는 결과 검토와 다음 반복 계획이므로 A→D→C→B 순서가 된다. 위험 분석을 개발이 끝난 뒤의 최종 검사로 미루는 것이 아니며, 모든 반복에서 똑같은 규모의 완제품을 만드는 것도 아니다.

정답은 ①이다. 합성 중심 재사용은 이미 준비한 컴포넌트나 모듈을 선택하고 서로 연결하여 필요한 소프트웨어를 구성하는 방식이다. 전자 부품을 조립하는 비유는 이 구성을 설명하지만 소프트웨어 부품이 아무 조건 없이 바로 결합된다는 뜻은 아니다. 제공·요구 인터페이스, 의존성, 데이터 형식, 실행 환경이 맞는지 확인하고 통합 시험도 수행해야 한다. 생성 중심 방식은 명세나 모델 등의 입력에서 생성 도구로 코드를 만들어 내는 관점을 강조한다. 재사용할 부품을 결합하는 문항의 설명은 합성 중심에 해당한다.

정답은 ③이다. 제시한 코드는 AES 비밀키의 바이트를 소스 코드에 고정된 문자열로 넣고 있으므로 하드코드된 암호화 키 사용에 해당한다. 소스나 배포 파일에서 값을 추출한 사람이 같은 키를 알 수 있고, 키를 바꾸려면 코드·배포 과정까지 변경해야 하는 문제가 생긴다. 16바이트라는 길이가 AES 키 길이에 맞는다는 사실은 키의 비밀성과 안전한 관리를 보장하지 않는다. 이 짧은 코드만으로 다운로드 무결성 검사, 파일 권한, 사용자 인증의 구현 여부를 판단할 수 없으므로 명시적으로 드러난 약점을 선택한다. 예시 문자열은 학습을 위한 고정값이며 운영 키로 사용하면 안 된다.

정답은 ③이다. SPICE는 Software Process Improvement and Capability Determination을 뜻하며 소프트웨어 프로세스의 평가, 역량 판단, 개선과 관련된 접근이다. 역사적으로 ISO/IEC 15504 계열과 연결되어 사용되었다. 제품의 오류 개수만 검사하는 것보다 조직이 수행하는 프로세스의 강점과 약점, 개선 가능성을 평가하는 관점이 핵심이다. 다만 15504 계열의 과거 표준을 모두 현재 유효한 표준으로 부르면 안 된다. 예를 들어 ISO/IEC 15504-4:2004는 철회되고 ISO/IEC TR 33015:2019로 대체되었다. Scrum은 개발 프레임워크이며 CASE는 개발 지원 도구·환경에 관한 용어이다.

정답은 ④이다. Gary McGraw의 Seven Touchpoints는 코드 검토, 아키텍처 위험 분석, 침투 시험 등의 보안 활동을 소프트웨어 생명주기의 산출물과 연결하여 적용하는 접근이다. 보안을 배포 직전 한 번의 점검으로 끝내기보다 요구·설계·구현·시험·운영의 관련 지점에서 다루는 것이 핵심이다. CLASP도 개발 과정에 보안을 통합하는 접근이므로 단순히 SDLC에 보안을 넣는다는 설명만으로 두 방법을 구별하기 어렵다. 개정 문항은 저자와 일곱 가지 실천 활동이라는 조건을 주어 정답을 특정했다. CWE는 약점 분류 체계이며 PIMS는 개인정보 보호 관리체계에 관련된다.

정답은 ①이다. 그림에서는 여러 단말이 하나의 공통 선로에 짧은 연결선으로 붙어 있으므로 버스형 토폴로지이다. 성형처럼 중앙 허브나 스위치에 각각 독립적인 선이 모이지 않고, 링형처럼 연결이 닫힌 고리를 이루지도 않는다. 또한 여러 노드 사이에 다수의 개별 연결이 있는 그물형과도 다르다. 토폴로지는 연결 구조를 나타내므로 그림의 단말 배치 방향이나 개수 자체보다 공통 선로를 공유하는 관계를 본다. 이 단순한 도식을 근거로 모든 현대 LAN이나 이더넷이 물리적 버스 구조라고 일반화해서는 안 된다.