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

정답은 ④이다. 요구사항 검증은 작성한 요구가 이해관계자의 실제 필요를 나타내는지, 서로 모순되지 않는지, 실현하거나 시험할 수 있는지 등을 확인하는 활동이다. 검토·시제품·시험 기준 작성 등을 통해 문제를 일찍 찾으면 잘못된 요구를 구현한 뒤 수정하는 부담을 줄일 수 있다. 그러나 검증 과정이 모든 누락과 오류를 반드시 찾아낸다고 보장할 수는 없다. 이해관계자의 새로운 지식이나 환경 변화로 나중에 문제가 드러날 수도 있으므로 개발 과정에서 요구를 계속 확인하고 관리해야 한다.

정답은 ②이다. UML의 의존 관계는 한 모델 요소가 다른 요소의 정의나 존재에 기대고 있어 공급자 요소의 변경이 사용자 요소에 영향을 줄 수 있음을 나타낸다. 다른 클래스를 연산의 매개변수 형식으로 사용하는 경우가 대표적인 예다. 연관은 인스턴스 사이의 연결을, 일반화는 보다 일반적인 분류자와 특수한 분류자의 관계를, 실체화는 명세와 이를 구현하는 요소의 관계를 나타낸다. 단순히 두 요소가 관련되어 있다는 이유만으로 네 관계를 같은 의미로 사용해서는 안 된다.

정답은 ①이다. XP는 작은 단위의 피드백을 자주 얻으며 변경에 대응하는 개발 방식으로, 자동화된 시험과 지속적인 통합을 중요한 실천으로 다룬다. 개발 속도를 높이기 위해 시험을 생략한다는 주장은 이 접근과 반대다. 사용자 스토리는 고객이 원하는 기능을 이야기하고 작업을 계획하는 데 활용하며 세부 내용은 대화를 통해 보완할 수 있다. 간단한 설계와 반복적인 개선을 추구한다는 것이 요구 분석이나 품질 확인을 하지 않는다는 뜻은 아니다.

정답은 ④이다. 추상화는 특정 목적에 필요한 본질적인 특성을 남기고 구현 세부 사항을 감추는 사고 방식이다. 자료 추상화는 값과 허용되는 연산을 중심으로 자료를 다루고, 과정 추상화는 일련의 처리를 하나의 절차나 함수로 나타낸다. 제어 추상화는 반복이나 호출 같은 제어 흐름의 세부 구현을 높은 수준의 구성으로 표현한다. 강도 추상화는 이 문항에서 비교하는 대표적인 세 추상화 종류에 포함되는 명칭이 아니다. 추상화는 정보 자체를 무조건 없애는 일이 아니다.

정답은 ④이다. 정보 은닉은 모듈 사용자가 알 필요가 없는 내부 표현이나 변경 가능성이 큰 설계 결정을 공개 인터페이스 뒤에 감추는 원칙이다. 다른 모듈이 그 세부 사항에 직접 의존하지 않으면 내부 구현을 바꾸어도 변경의 영향을 제한할 수 있다. 따라서 정보 은닉 때문에 요구 변화에 따른 수정이 불가능해진다는 설명은 반대다. 다만 공개한 기능 계약 자체가 바뀌는 경우에는 다른 모듈에도 수정이 필요할 수 있다. 보안용 암호화와 설계 원칙으로서의 정보 은닉도 구별해야 한다.

정답은 ②이다. 모델은 복잡한 시스템을 특정 관점에서 표현하여 문제를 이해하고 설계안을 비교하며 서로의 생각을 전달하는 데 쓰인다. 요구 분석·설계·구현·시험·유지보수 등 여러 활동에서 활용할 수 있으므로 유지보수 단계에만 사용한다는 설명은 틀렸다. 자료 흐름도는 자료를 변환하는 처리와 저장소, 외부 실체 사이의 자료 이동을 나타낸다. 모델 하나가 시스템의 모든 측면을 완전히 담아야 하는 것은 아니며 목적에 맞는 관점과 상세 수준을 선택해야 한다.

정답은 ④이다. 요구 분석에서는 수집한 요구를 구조화하고 충돌·누락·제약을 확인하여 시스템이 제공해야 할 기능과 품질 조건을 구체화한다. 응답시간이나 처리 용량 같은 성능 조건은 일반적으로 비기능적 요구 또는 품질 요구로 분류하므로 모두 기능적 요구로만 분류한다는 설명은 틀렸다. 보안도 로그인처럼 기능으로 표현되는 부분과 보호 수준 같은 품질 조건이 함께 있을 수 있다. 요구 활동을 일회성 첫 단계로만 보지 않고 이해와 환경이 바뀔 때 반복해서 정교화할 수 있다.

정답은 ②이다. UML에서 오퍼레이션은 분류자의 인스턴스에 호출할 수 있는 동작의 이름, 매개변수와 반환 형식 등 호출 계약을 규정한다. 해당 오퍼레이션을 실제로 수행하는 동작의 구현을 메서드라고 구별할 수 있다. 따라서 그림의 동작에 대한 인터페이스라는 단서는 Operation에 해당한다. Instance는 분류자에 속하는 개별 사례이고 정보 은닉은 구현 세부 사항을 감추는 원칙이다. 클래스 다이어그램에서 속성과 오퍼레이션을 구분하여 상태와 수행 가능한 동작을 읽는 것이 중요하다.

정답은 ③이다. 이 구조에서는 조정 역할을 맡은 마스터와 할당된 작업을 수행하는 워커가 서로 협력한다. 워커의 작업에는 자료 수집이나 계산, 결과 전송 등이 포함될 수 있으므로 자료 수집을 수행할 수 없다고 제한할 근거가 없다. 마스터는 작업을 나누거나 통신·결과를 조정할 수 있지만 반드시 모든 계산을 혼자 수행해야 하는 것은 아니다. 구체적인 역할 배분은 시스템 설계에 따라 달라지며 이 역할 구조 자체가 특정 응답시간이나 무중단 운영을 보장하지도 않는다.

정답은 ④이다. 자료 흐름도는 처리 사이의 자료 이동을, E-R 다이어그램은 데이터의 개체·속성·관계를, UML 다이어그램은 소프트웨어 구조나 상호작용 등의 여러 관점을 표현한다. 반면 AVL은 삽입·삭제 뒤에도 높이 균형을 유지하도록 하는 이진 탐색 트리의 한 종류다. AVL 트리를 그림으로 그릴 수는 있지만 그것이 요구 분석과 설계 산출물을 표현하는 일반적인 다이어그램 체계의 이름이라는 뜻은 아니다. 자료 구조의 이름과 모델링 표기 체계를 구별한다.

정답은 ①이다. 상위 클래스에서 속성이나 동작을 이어받아 하위 클래스를 정의하는 개념은 상속이다. 캡슐화는 관련 데이터와 연산을 하나의 단위로 묶고 공개한 경계를 통해 사용하게 하는 개념이므로 두 용어를 바꾸어 설명하면 안 된다. 객체는 문제 영역의 실체나 개념을 모델링한 개별 사례이고 클래스는 공통된 구조와 동작을 정의한다. 다형성은 같은 인터페이스나 상위 타입을 통해 사용하더라도 실제 하위 타입에 맞는 동작이 선택될 수 있다는 점으로 이해하면 된다.

정답은 ②이다. 사용자 인터페이스는 사용자가 시스템의 기능을 이해하고 작업을 수행하며 결과와 상태를 확인하는 접점이다. 따라서 실제 사용자의 목표·능력·사용 환경을 고려해야 하며 개발자의 편의만을 기준으로 설계하면 안 된다. 배우기 쉬운 구성, 일관된 용어와 조작, 적절한 피드백은 사용성을 높이는 데 도움이 된다. 유지보수하기 쉬운 구현도 가치가 있지만 그것이 사용자 중심 설계를 대신하지는 않는다. 서로 다른 사용자 집단의 요구와 접근성도 함께 검토해야 한다.

정답은 ②이다. Strategy는 교체 가능한 알고리즘들을 공통 인터페이스로 캡슐화하여 사용하는 행위 패턴이다. 인스턴스를 복제하여 새 객체를 만드는 설명은 생성 패턴인 Prototype에 해당한다. GoF 패턴은 목적에 따라 생성·구조·행위로 분류하며, 행위 패턴은 객체 사이의 책임 배분과 협력을 다룬다. Singleton은 설계가 정한 범위에서 클래스의 인스턴스를 하나로 제한하고 접근 지점을 제공한다. 분산된 여러 프로세스 전체에서 단 하나의 객체가 자동 보장된다는 뜻은 아니다.

정답은 ②이다. 애자일 선언은 포괄적인 문서보다 동작하는 소프트웨어에, 계획 준수보다 변화 대응에 더 높은 가치를 둔다. 따라서 문서 완성을 동작하는 결과보다 항상 우선한다는 설명은 선언의 방향과 맞지 않는다. 짧은 주기로 결과를 전달하고 고객과 대화하면 요구에 대한 오해를 일찍 확인할 수 있다. 그렇다고 계획이나 문서를 없애라는 뜻은 아니다. 필요한 계획과 기록을 유지하되 피드백에 따라 조정하면서 실제 가치를 전달하는 데 활용해야 한다.

정답은 ①이다. 럼바우의 OMT는 객체 모델, 동적 모델, 기능 모델을 서로 보완하는 관점으로 사용한다. 기능 모델은 입력 자료가 어떤 처리를 거쳐 출력으로 변환되는지를 나타내며 자료 흐름도를 활용한다. 동적 모델은 사건에 따른 상태 변화와 제어 동작을, 객체 모델은 객체·클래스·관계 같은 정적인 구조를 표현한다. 자료 흐름도의 화살표는 자료 이동이며 실행 명령의 시간 순서를 직접 나타내는 흐름도와는 구별된다. 세 모델을 혼동하지 않고 무엇을 표현하는지 확인해야 한다.

정답은 ③이다. 순차 다이어그램은 생명선으로 표현한 참여자 사이에 어떤 메시지가 어떤 순서로 전달되는지 보여 주는 상호작용 다이어그램이다. 시간에 따른 메시지 교환을 다루므로 UML의 행동 다이어그램에 속한다. 클래스나 패키지의 정적인 구성을 나타내는 다이어그램과 구별해야 한다. 일반적으로 세로 방향으로 메시지의 순서를 읽지만 그림의 간격이 곧 실제 경과 시간을 뜻하는 것은 아니다. 별도의 시간 제약이 제시된 경우에만 구체적인 시간 조건을 해석한다.

정답은 ②이다. 객체지향 분석에서는 문제 영역의 객체와 그 책임, 데이터와 행동, 객체 사이의 협력을 중심으로 요구를 이해한다. 기능을 순차 처리 단계로만 분해하고 객체의 상태와 책임을 고려하지 않는 설명은 이 관점에 맞지 않는다. 상태 변화나 상호작용을 나타내는 동적 모델도 활용할 수 있다. 객체지향 접근이 재사용과 변경 대응에 도움이 될 수 있지만 모든 경우에 생산성이 자동으로 높아지는 것은 아니다. 하향식 사고 자체를 객체지향에서 사용할 수 없다는 뜻도 아니다.

정답은 ②이다. CLI는 사용자가 명령 이름과 인수 등으로 구성된 문자열을 입력하고 셸이나 명령 해석기가 이를 처리하는 인터페이스다. DOS 명령 프롬프트와 Unix 셸이 대표적인 예다. GUI는 창·아이콘·메뉴 같은 그래픽 요소를 이용한 조작에 초점을 둔다. CUI라는 약어가 다른 문맥에서 문자 기반 인터페이스를 가리키기도 하지만, 이 보기에는 Cell User Interface라는 다른 확장어가 제시되어 있다. 문항의 명령줄 입력이라는 핵심 조건은 Command Line Interface에 직접 대응한다.

정답은 ④이다. 미들웨어는 분산된 애플리케이션이나 서비스가 통신하고 공통 기능을 이용하도록 중간 계층에서 지원하는 소프트웨어다. 메시지 전달·원격 호출·이름 해석·트랜잭션 관리 등이 그 예이며 사용자 화면과 애플리케이션 사이에만 놓이는 것은 아니다. 위치 투명성은 자원의 실제 위치를 사용 코드에서 감출 수 있게 하는 성질이다. 제공하는 투명성과 기능의 범위는 제품·프로토콜·설계에 따라 달라진다. 미들웨어를 사용했다고 모든 분산 처리의 복잡성이 없어지는 것도 아니다.

정답은 ①이다. 파이프-필터 구조에서는 각 필터가 입력을 처리해 출력을 만들고 파이프가 이를 다음 처리 단계로 전달한다. 이 구조의 자료 흐름을 항상 양방향이라고 하거나 단계 사이의 전달 비용이 전혀 없다고 할 수 없다. 직렬화·버퍼링·통신 등의 비용을 검토해야 한다. 아키텍처는 시스템의 주요 구성과 관계, 설계 결정을 나타내며 이해관계자의 품질 요구도 고려한다. 공유 저장소를 사용하는 구조에서도 저장 형식이나 인터페이스 변경은 여러 접근자에게 영향을 줄 수 있다.

정답은 ②이다. 스트레스 테스트는 정상적으로 예상하는 수준이나 설계 용량을 넘는 부하를 가해 시스템의 한계와 한계 초과 시 동작을 확인한다. 오류 처리, 자원 고갈, 서비스 저하와 복구 가능성 등을 관찰할 수 있다. 목적은 어떤 과부하에서도 반드시 정상 응답해야 한다고 요구하는 것이 아니다. 고의로 장애를 일으켜 복구를 확인하는 시험, 응답시간·처리량을 측정하는 성능 시험, 침입에 대한 방어를 평가하는 보안 시험과는 주된 관심 대상이 다르다.

정답은 ②이다. 왼쪽부터 인접한 두 값을 비교하여 큰 값을 오른쪽으로 보내는 버블 정렬을 적용한다. 처음 9, 6, 7, 3, 5에서 첫 회전 결과는 6, 7, 3, 5, 9이며 최댓값 9가 마지막에 놓인다. 두 번째 회전에서는 6, 3, 5, 7, 9가 되고 세 번째 회전에서는 3, 5, 6, 7, 9가 된다. 한 번의 비교·교환과 전체 구간을 훑는 한 회전은 다르다. 비교 방향이 반대인 구현도 있으므로 이 문항은 왼쪽에서 오른쪽으로 진행하는 조건을 명시했다.

정답은 ④이다. 깊이우선탐색은 현재 정점에서 아직 방문하지 않은 이웃이 있으면 그 이웃으로 더 들어가고, 없을 때 이전 정점으로 되돌아간다. A→B→E→F→G까지 진행한 뒤 G에서 F로 되돌아와 C→D를 방문하면 ABEFGCD가 된다. E에는 아직 방문하지 않은 F가 있으므로 ABE 다음에 C로 바로 돌아가는 ①·②는 이 절차에 맞지 않는다. ③도 D에서 방문하지 않은 이웃 F를 두고 E로 넘어간다. 이웃을 고르는 순서가 정해지지 않았으므로 전체 DFS 순서가 하나뿐이라고 단정하지 않는다.

정답은 ③이다. 모듈은 프로그램을 이해하고 구현·시험·변경하기 쉽도록 기능이나 책임에 따라 나눈 구성 단위다. 외부에서 사용하는 인터페이스와 내부 구현을 구분하면 다른 부분이 구현 세부 사항에 직접 의존하는 것을 줄일 수 있다. 원본 설명의 전체 프로그램을 이루는 독립적인 단위라는 단서가 모듈에 해당한다. 여기서 독립적이라는 말은 다른 구성 요소와 전혀 연결되지 않는다는 뜻이 아니다. 잘 정의된 인터페이스로 필요한 정보와 제어를 교환할 수 있다.

정답은 ④이다. 테스트 드라이버는 시험 대상 모듈을 호출하고 필요한 입력이나 매개변수를 전달하며 실행 결과를 확인하도록 돕는 시험용 코드다. 상위 호출 모듈이 아직 준비되지 않은 상향식 통합 시험에서 활용할 수 있다. 반대로 시험 대상이 호출해야 하는 하위 모듈을 대신하는 코드는 스텁이다. 호출하는 쪽을 대신하는지 호출받는 쪽을 대신하는지를 그려 보면 구분하기 쉽다. 드라이버와 스텁은 시험을 지원하는 역할이며 자체로 결함이 없음을 보장하지는 않는다.

정답은 ②이다. 선형 자료 구조는 원소들을 일렬의 순서 관계로 다루는 구조다. 큐는 먼저 들어온 원소를 먼저 꺼내는 FIFO 구조이고 데크는 양쪽 끝에서 삽입·삭제할 수 있는 선형 구조다. 스택과 리스트도 선형 구조에 속하지만 트리와 그래프는 분기나 일반적인 연결 관계를 표현하는 비선형 구조다. 따라서 두 항목이 모두 선형인 묶음은 큐와 데크뿐이다. 배열과 연결 노드 중 무엇으로 구현했는지가 이 추상적인 분류를 바꾸지는 않는다.

정답은 ③이다. 이 알고리즘은 Top을 스택에 들어 있는 원소 수로 사용하므로 Top=0이면 꺼낼 원소가 없는 빈 상태다. 이때 삭제를 시도하면 언더플로를 처리해야 한다. 원소가 있으면 꼭대기의 값을 꺼내고 Top을 하나 줄이는 정상 삭제 경로로 진행한다. 오버플로는 저장 용량이 제한된 스택에 더 넣으려 할 때 발생하는 문제이므로 방향이 반대다. Top을 0부터 시작하는 배열 인덱스로 정의한 다른 구현에서는 빈 상태 표시가 다를 수 있으므로 이 문항의 정의를 따라야 한다.

정답은 ②이다. 이 문항의 절차는 사용자 매뉴얼의 목표를 정한 다음 필요한 구성 요소를 정의하고, 그 구성에 맞춰 내용을 작성한 뒤 검토하는 순서다. 따라서 (가)는 구성 요소 정의인 ㉢, (나)는 구성 요소별 내용 작성인 ㉡, (다)는 검토인 ㉠으로 연결된다. 독자와 범위에 맞는 구성을 먼저 잡으면 필요한 정보를 빠뜨리지 않고 작성하는 데 도움이 된다. 실제 문서 작업에서는 검토 결과에 따라 구성과 내용을 다시 수정할 수 있으며 모든 작성 활동이 한 번씩만 일어나는 것은 아니다.

정답은 ④이다. A, B, C, D 순서로 넣되 중간에 꺼내는 동작을 섞을 수 있다고 생각한다. D를 가장 먼저 꺼내려면 네 원소를 모두 넣어야 하므로 그 뒤 스택 꼭대기는 C다. 따라서 D 다음에 B를 꺼내는 DBCA는 불가능하다. DCBA는 모두 넣은 뒤 연속으로 꺼내면 된다. BCDA는 A와 B를 넣고 B를 꺼낸 뒤 C, D를 각각 넣었다 꺼내면 되며, CBAD는 A·B·C를 넣고 C·B·A를 꺼낸 뒤 D를 넣었다 꺼내면 된다.

정답은 ④이다. 검증은 산출물이 명시된 요구나 명세를 충족하는지 확인하는 활동이고, 확인은 의도한 사용 환경과 실제 사용자의 필요에 적합한지 판단하는 활동이다. 따라서 검증을 사용자 적합성으로, 확인을 개발자의 기대 충족으로 바꾸어 놓은 ④는 틀렸다. 두 활동은 개발 전 과정에서 여러 산출물에 적용될 수 있다. 검증은 과정만, 확인은 완성된 결과만 검사한다고 이분법적으로 외우면 안 된다. 명세에 맞게 구현했어도 명세 자체가 실제 필요와 어긋나면 사용 목적을 만족하지 못할 수 있다.

정답은 ②이다. 단위 테스트는 개별 함수·클래스·모듈 같은 작은 구성 단위가 정해진 계약과 요구에 맞게 동작하는지 확인한다. 필요하면 주변 의존성을 드라이버나 스텁 등으로 대체하여 대상의 동작을 집중적으로 관찰할 수 있다. 통합 테스트는 여러 구성 요소가 연결될 때의 인터페이스와 상호작용을, 시스템 테스트는 완성된 시스템 전체를 평가한다. 인수 테스트는 사용 또는 인도에 필요한 수용 기준을 확인한다. 단위가 무엇인지는 시스템의 구조와 시험 범위에 따라 정한다.

정답은 ③이다. 형상 통제는 변경 요청을 기록하고 영향·비용·필요성을 평가한 뒤 권한 있는 절차에 따라 승인하거나 반려하고, 승인된 변경의 구현과 확인을 관리한다. 요청이 왔다는 이유만으로 즉시 모두 반영하면 기준선과 추적성을 유지하기 어렵다. 형상 식별은 관리할 항목과 버전·기준선을 정하는 활동이며, 상태 기록은 변경 상황을 추적하도록 돕는다. 형상 감사는 항목과 기록이 요구 및 승인된 내용에 부합하는지 확인한다. 변경을 무조건 막는 것 역시 형상 통제의 목적은 아니다.

정답은 ③이다. 정적 분석은 대상 프로그램을 실제로 실행하지 않고 소스 코드나 다른 표현을 분석하여 규칙 위반과 잠재적 결함을 찾는 기법이다. 자료 흐름·제어 흐름 분석, 형식 검사 등 다양한 소프트웨어 도구와 분석 방법을 사용할 수 있으므로 하드웨어 방식으로만 가능하다는 설명은 틀렸다. 도달할 수 없는 코드나 초기화하지 않은 값의 사용 같은 문제를 발견하는 데 도움이 된다. 다만 도구가 보고한 모든 항목이 실제 장애라는 뜻은 아니며 분석의 한계와 오탐 가능성을 검토해야 한다.

정답은 ①이다. 사람이 작업 중에 하는 실수는 오류 또는 mistake라고 표현할 수 있고, 그 결과 요구 명세나 설계·코드에 잘못된 내용이 들어가면 결함인 defect 또는 fault가 된다. 실행 중 그 결함이 특정 조건에서 드러나 기대한 기능을 수행하지 못하면 장애 또는 failure로 관찰될 수 있다. 결함이 있다고 모든 실행에서 반드시 장애가 발생하는 것은 아니다. 테스트 케이스는 시험 조건과 입력·기대 결과 등을 정한 것이고 인스펙션은 결함을 찾기 위한 검토 활동이다.

정답은 ④이다. 간결한 코드는 적은 줄 수만을 뜻하지 않고 의도와 흐름을 불필요한 복잡함 없이 이해할 수 있는 코드를 뜻한다. 한 줄에 가능한 한 많은 문장을 몰아넣으면 읽기·수정·오류 위치 확인이 어려워질 수 있다. 공백과 빈 줄은 관련된 구문을 묶고 다른 역할의 구간을 구분하는 데 사용한다. 복잡한 식은 적절한 괄호나 중간 변수로 의미를 드러내고 들여쓰기로 구조를 표현할 수 있다. 구체적인 형식은 해당 언어와 팀의 일관된 스타일 규칙을 따른다.

정답은 ①이다. 이식성은 소프트웨어를 한 하드웨어·소프트웨어 환경에서 다른 환경으로 옮겨 활용할 수 있는 정도다. 제시한 구판 품질 모델에서는 적응성·설치성·대체성 등이 관련된다. 새 운영체제나 장치에 맞추기 위해 얼마나 쉽게 적응시킬 수 있는지가 대표적인 판단 대상이다. 효율성은 자원과 성능, 사용성은 사용자의 목표 달성 경험, 정확성은 요구된 결과와의 부합에 초점을 둔다. 품질 모델의 항목과 이름은 판에 따라 달라질 수 있으므로 여기서는 명시된 2011년판의 이식성을 기준으로 답한다.

정답은 ①이다. 균형을 유지하지 않는 이진 탐색 트리는 정렬된 값이 차례로 삽입되는 등의 경우 한쪽으로 길게 치우칠 수 있다. 원소가 n개라면 높이가 n에 비례하여 최악의 검색에 O(n) 비교가 필요할 수 있다. AVL 트리·2-3 트리·레드-블랙 트리는 각각의 균형 조건으로 높이가 O(log n)이 되도록 유지하므로 최악의 검색도 O(log n)이다. 일반 이진 탐색 트리도 우연히 균형 잡힌 상태라면 빠를 수 있지만 이 문항은 평균이나 좋은 경우가 아니라 최악의 경우를 묻는다.

정답은 ④이다. 중위 순회는 각 노드에서 왼쪽 서브트리, 현재 노드, 오른쪽 서브트리 순서로 방문한다. 그림의 루트 A에서는 먼저 B를 루트로 하는 왼쪽 부분을 순회하므로 D 다음 B를 방문한다. 이어 A를 방문하고, 오른쪽 C 부분에서는 E, C, F 순서로 방문한다. 이를 합치면 D-B-A-E-C-F다. ABDCEF는 루트를 먼저 방문하는 전위 순회와 대응하며, 중위 순회는 단순히 그림을 위에서 아래로 또는 알파벳순으로 읽는 절차가 아니다.

정답은 ①이다. 테스트 데이터 생성은 입력 공간을 나누어 대표값을 고르거나 무작위로 값을 만들거나 프로그램의 자료 정의·사용 관계를 분석하여 필요한 경로를 실행할 값을 찾는 방식으로 수행할 수 있다. 스텁과 드라이버는 실행 환경의 일부를 대신하거나 시험 대상을 호출하는 지원 코드이므로 그 자체가 입력값을 선정하는 분석 방법의 이름은 아니다. 드라이버 안에 생성기를 넣는 구현은 가능하지만 두 역할을 구별해야 한다. 단순한 업무 자료 흐름도와 코드의 자료 흐름 분석도 같은 뜻이 아니다.

정답은 ②이다. DRM의 패키징은 콘텐츠를 배포와 보호에 필요한 형태로 가공하고 관련 메타데이터와 결합하는 과정이다. 사용 방식에 따라 암호화나 콘텐츠 식별자·라이선스 취득 정보의 포함 등이 이루어질 수 있다. 콘텐츠 소유자는 권리를 가진 주체이고 라이선스 서버는 사용 조건과 키 등 권한 정보를 전달한다. 이용 권한을 실제로 집행하는 클라이언트 기능도 패키징 작업과 구별된다. 모든 DRM 구현의 세부 구성 요소 이름이 같지는 않으므로 문항이 묻는 역할을 기준으로 판단한다.

정답은 ③이다. 무결성 제약은 저장되는 자료가 업무 규칙과 데이터 모델의 조건을 만족하도록 제한하는 규칙이다. 값의 허용 범위, 키의 유일성, 참조 대상의 존재, 값 사이의 관계 등이 그 예다. 누가 데이터를 읽거나 바꿀 수 있는지 정하는 접근 권한과는 구별된다. 정당한 권한을 가진 사용자가 잘못된 값을 입력할 수도 있으므로 권한 검사만으로 무결성이 확보되지는 않는다. 제약에 이름을 부여하면 위반 원인을 확인하거나 제약을 관리하는 데 도움이 된다.

정답은 ①이다. 트랜잭션은 여러 데이터베이스 작업을 하나의 논리적인 단위로 묶는 개념이다. 계좌 이체에서 출금과 입금을 하나로 묶어 둘 다 반영되거나 둘 다 취소되게 하는 것이 대표적이다. 이때 원자성은 중간 일부만 완료된 상태를 확정하지 않는 성질을 뜻한다. 뷰는 질의로 정의한 가상 테이블이고 튜플은 관계의 한 행이며 카디널리티는 보통 관계에 들어 있는 행의 수다. 트랜잭션의 연산이 물리적으로 같은 순간에 실행되어야 한다는 의미는 아니다.

정답은 ④이다. 카티션 프로덕트는 첫 번째 관계의 각 튜플을 두 번째 관계의 모든 튜플과 하나씩 결합한다. R1에 1, 2, 3의 세 값이 있고 R2에 컴퓨터, 국문, 수학의 세 값이 있으므로 조합은 3×3=9개다. 학번 1·2·3 각각에 세 학과가 모두 대응한다. 같은 위치의 행끼리만 짝짓거나 특정 학번의 세 조합만 뽑는 연산이 아니다. 관계 대수에서 결과 튜플의 나열 순서는 의미가 없으며 별도의 결합 조건이 없는 SQL CROSS JOIN으로도 확인할 수 있다.

정답은 ④이다. 물리적 데이터베이스 설계에서는 논리적인 구조를 실제 저장 장치와 DBMS에서 효율적으로 관리하도록 저장 방식과 접근 경로를 선택한다. 인덱스, 레코드 배치, 파일 구성 등을 결정할 때 조회·갱신 부하, 응답시간, 처리량과 저장 공간을 함께 고려한다. 반면 업무 영역의 개체·속성·관계를 개념적 ER 모델로 파악하는 일은 개념적 설계에 해당한다. 물리적 최적화는 한 질의의 속도만 높이는 일이 아니며 쓰기 비용과 공간 등 전체 작업 부하의 균형을 평가해야 한다.

정답은 ①이다. 기본키는 관계의 각 튜플을 고유하게 식별해야 하므로 중복을 허용하지 않고 NULL도 허용하지 않는다. 이 조건을 통해 실제로 식별할 수 없는 행이 생기는 것을 막는 것이 개체 무결성이다. 복합 기본키라면 구성 속성 어느 것에도 NULL이 있어서는 안 된다. 참조 무결성은 외래키 값과 참조 대상 키 사이의 관계를 다루며 도메인 제약은 값의 형식이나 허용 범위를 제한한다. UNIQUE만 선언한 열의 NULL 처리와 기본키의 조건을 혼동하지 않아야 한다.

정답은 ③이다. GROUP BY는 지정한 식이나 열의 값에 따라 행을 묶어 그룹을 만드는 절이다. HAVING은 만들어진 그룹에 집계 조건 등을 적용하여 남길 그룹을 결정한다. 예를 들어 부서별로 묶고 COUNT(*)가 일정 수 이상인 부서만 남길 수 있다. WHERE는 그룹화 전에 개별 행을 거르고 ORDER BY는 결과의 정렬 순서를 정한다. HAVING은 GROUP BY를 생략한 집계 질의에서도 사용할 수 있으므로 두 절이 반드시 함께 있어야 한다고 외우면 안 된다.

정답은 ④이다. 관계 대수는 관계를 입력으로 받아 새로운 관계를 만드는 연산 체계다. 프로젝션은 필요한 속성을 선택하고, 조인은 조건에 맞는 두 관계의 튜플을 결합한다. 디비전은 다른 관계의 모든 값과 관련된 대상을 찾는 전칭 조건을 표현하는 데 사용할 수 있다. Fork는 이 관계 대수 연산들의 명칭이 아니며 운영체제의 프로세스 생성 등 다른 문맥에서 쓰인다. 프로젝션의 열 선택과 셀렉션의 행 선택도 구별하여 이해해야 한다.

정답은 ③이다. SQL의 NULL은 알 수 없거나 값이 없음을 나타내므로 일반적인 값처럼 등호나 부등호로 비교하지 않는다. 전화번호가 존재하는 행을 찾으려면 IS NOT NULL이라는 전용 술어를 사용한다. 표준적인 NULL 비교 의미에서 전화번호 = NULL이나 != NULL은 TRUE가 되지 않으며 WHERE는 TRUE인 행만 남긴다. IS NULL은 반대로 전화번호가 NULL인 행을 선택한다. 빈 문자열이 저장된 경우와 NULL인 경우도 DBMS의 구체적인 의미를 확인해 구별해야 한다.

정답은 ③이다. 슈퍼키는 한 관계에서 튜플을 유일하게 식별할 수 있는 속성의 집합이다. 유일성은 요구하지만 불필요한 속성이 하나도 없어야 한다는 최소성은 요구하지 않는다. 슈퍼키에서 더 이상 속성을 제거할 수 없으면서 유일성을 유지하는 최소 집합이 후보키다. 따라서 후보키도 슈퍼키에 포함된다. 후보키 가운데 기본키로 선택되지 않은 키는 대체키이며, 외래키는 다른 키를 참조하는 역할을 한다. 슈퍼키가 반드시 최소성을 위반해야 한다고 정의하면 잘못이다.

정답은 ④이다. 인덱스는 조회에 사용할 접근 경로를 추가하여 필요한 행을 더 효율적으로 찾도록 돕는 자료 구조다. DBMS가 제약을 지원하려고 자동 생성하는 경우도 있지만 사용자가 CREATE INDEX 등으로 명시적으로 만들고 관리할 수도 있다. B-트리 계열 인덱스는 분기 정보를 통해 탐색 범위를 좁히며 범위 조건에도 활용된다. 다만 모든 인덱스가 모든 질의를 빠르게 하지는 않는다. 저장 공간과 갱신 비용이 들고 실제 사용 여부는 질의 조건과 실행 계획에 따라 달라진다.

정답은 ①이다. 같은 작업 부하에서 잠금 단위가 커지면 한 잠금이 보호하는 자료의 범위가 넓어져 다른 트랜잭션이 접근할 수 있는 범위가 줄어드는 경향이 있다. 예를 들어 서로 다른 행을 수정해도 테이블 전체를 잠그면 서로 대기할 수 있다. 작은 단위의 잠금은 동시 처리 여지를 늘리지만 관리해야 하는 잠금 수와 비용이 커질 수 있다. 따라서 큰 잠금이 언제나 나쁘거나 작은 잠금이 언제나 빠르다는 뜻은 아니다. DBMS의 지원 범위와 실제 접근 패턴에 맞추어 선택한다.

정답은 ①이다. 관계 대수는 선택·프로젝션·조인 등의 연산을 조합하여 결과 관계를 얻는 과정을 표현하므로 절차적인 질의 표현으로 분류한다. 어떤 결과가 필요한지만 논리식으로 기술하는 관계 해석의 비절차적 성격과 구별된다. 각 연산은 관계를 입력으로 받아 관계를 결과로 내므로 다른 연산과 이어 붙일 수 있다. 여기서 절차적이라는 말이 디스크 읽기나 조인 알고리즘까지 물리적으로 지정한다는 뜻은 아니다. DBMS는 같은 결과를 내는 다른 실행 계획을 선택할 수 있다.

정답은 ①이다. 하나의 사실을 여러 행에 중복 저장하면 일부만 바뀌어 값이 서로 맞지 않거나, 관계없는 사실 때문에 새 자료를 넣지 못하거나, 행을 지우면서 보존해야 할 사실까지 사라질 수 있다. 이러한 현상을 각각 갱신·삽입·삭제 이상으로 설명한다. 이상은 단순히 중복 값이 보인다는 뜻이 아니라 자료 구조와 종속성 때문에 변경 작업에서 발생하는 문제다. 정규화는 종속성에 맞추어 관계를 분해하여 이런 위험을 줄이며, 필요한 데이터가 손실 없이 재구성되는지도 함께 검토한다.

정답은 ②이다. DELETE는 테이블에 저장된 행을 삭제하는 데이터 조작문이다. WHERE 조건을 붙이면 해당 행만 삭제하고 조건이 없으면 대상 테이블의 모든 행을 삭제할 수 있지만 테이블 정의 자체를 없애는 것은 아니다. CREATE는 데이터베이스 객체를 만들고 ALTER는 정의를 바꾸며 DROP은 객체 정의를 제거하는 데이터 정의문에 해당한다. 따라서 행 삭제와 테이블 제거를 같은 작업으로 이해하면 안 된다. 외래키 등 제약과 트랜잭션 조건도 실제 삭제 결과에 영향을 줄 수 있다.

정답은 ①이다. 정규화는 함수 종속이나 다치 종속 등 데이터의 의미적 관계를 분석하여 불필요한 중복과 변경 이상을 줄이도록 관계 스키마를 구성하는 작업이다. 논리적 데이터베이스 설계에서 수행하거나 기존 스키마를 개선할 때 적용할 수 있으므로 개념적 설계 이전에만 가능하다는 설명은 틀렸다. 분해할 때에는 정보가 손실 없이 복원되는지와 필요한 종속성을 어떻게 유지할지도 검토해야 한다. 정규화가 모든 질의를 빠르게 하거나 모든 유형의 데이터 오류를 자동으로 없애는 것은 아니다.

정답은 ③이다. 격리성은 동시에 실행되는 트랜잭션 사이에서 중간 상태의 노출과 간섭을 제한하는 성질이다. 가장 강한 직렬화 가능 수준에서는 동시에 실행한 결과가 어떤 직렬 실행의 결과와 같아야 한다. 실제 명령이 시간상 서로 섞여 실행되는 것 자체를 금지하지는 않는다. DBMS가 제공하는 격리 수준에 따라 허용되는 읽기 현상과 이상이 다를 수 있다. 일관성은 유효한 데이터 규칙의 유지, 지속성은 완료된 변경의 보존과 관련되며 로그는 이를 지원하는 수단 중 하나다.

정답은 ②이다. SQL의 기본 논리 연산자는 AND, OR, NOT이다. AND는 조건을 함께 만족하는지를, OR는 적어도 하나를 만족하는지를, NOT은 조건의 부정을 표현한다. OTHER는 이 논리 연산자들의 이름이 아니다. SQL 조건에는 TRUE와 FALSE뿐 아니라 NULL과 관련된 UNKNOWN도 등장할 수 있으므로 일반적인 이진 논리만으로 모든 식을 판단하면 안 된다. WHERE에서는 조건 평가 결과가 TRUE인 행만 선택되며 FALSE나 UNKNOWN인 행은 남지 않는다.

정답은 ②이다. 타임스탬프 순서 기법은 각 트랜잭션에 부여한 순서 값을 기준으로 충돌하는 읽기·쓰기가 그 순서를 어기지 않도록 제어한다. 자료 항목의 읽기·쓰기 타임스탬프를 확인하고 순서를 위반하는 연산이나 트랜잭션을 취소·재시작하는 방식 등이 사용된다. 순서 값은 실제 시계 시각일 수도 있지만 유일하게 증가하는 번호 등으로 구현할 수도 있다. 잠금을 획득해 상호 접근을 제한하는 기법이나 실행 후 충돌을 검증하는 낙관적 방법과 구별한다.

정답은 ③이다. 제5정규형은 관계에 성립하는 모든 비자명한 조인 종속이 후보키에 의해 함의되는 상태를 뜻한다. 조인 종속은 관계를 여러 투영으로 나누었다가 자연 조인했을 때 원래 관계를 정확히 재구성할 수 있다는 조건이다. 제4정규형이 다치 종속에 따른 중복을 다루는 데 비해 제5정규형은 더 일반적인 다자 분해·재결합 관계를 다룬다. 단순히 조인을 사용하지 말라는 뜻이나 모든 관계를 최대한 잘게 나누라는 뜻은 아니다. 무손실 재구성과 데이터의 의미를 함께 확인해야 한다.

정답은 ③이다. 함수 종속 X→Y는 관계의 유효한 상태에서 두 튜플의 X 값이 같으면 Y 값도 같아야 한다는 제약이다. X가 결정자이고 Y가 종속되는 속성 집합이므로 화살표는 X에서 Y로 향한다. 예를 들어 한 시점의 유효한 학생 관계에서 학번이 같으면 학생명도 같아야 한다면 학번→학생명으로 나타낸다. 이것이 이름을 평생 변경할 수 없다는 뜻은 아니다. 현재 표에서 우연히 중복이 없다는 사실만으로 모든 유효 상태에 성립할 함수 종속을 확정할 수도 없다.

정답은 ①이다. 시간적 응집도는 기능 자체가 밀접해서가 아니라 같은 실행 시점이나 단계에 필요하다는 이유로 여러 처리를 하나의 모듈에 묶은 경우다. 프로그램 시작 때 환경 읽기, 버퍼 초기화, 로그 준비 등을 함께 수행하는 것이 예다. 순차적 응집도는 한 처리의 출력이 다음 처리의 입력으로 이어지는 관계이며, 논리적 응집도는 유사한 종류의 기능을 선택하게 묶는 경우다. 우연적 응집도는 뚜렷한 관련 없이 묶인 상태다. 같은 시간대라는 단서는 실제 병렬 실행을 반드시 뜻하지는 않는다.

정답은 ④이다. ARQ는 전송 오류나 손실을 확인하고 필요한 데이터를 다시 보내 신뢰성을 높이는 방식이다. 정지-대기는 한 단위 전송 뒤 확인을 기다리고, Go-Back-N은 오류 이후의 연속 구간을 다시 전송하며, 선택적 반복은 필요한 단위를 골라 재전송한다. Non-Acknowledge ARQ는 이 문항이 비교하는 대표적인 방식의 이름이 아니다. 다만 NAK라는 부정 응답을 활용하는 ARQ 변형은 실제로 있으므로 ④가 틀렸다는 사실을 모든 ARQ가 반드시 같은 확인 메시지를 쓴다는 뜻으로 확대하면 안 된다.

정답은 ③이다. cs(11)을 호출하면 n은 11이고 range(n+1)은 range(12)가 된다. Python의 range는 끝값을 포함하지 않으므로 반복 변수 num은 0부터 11까지의 열두 값을 차례로 갖는다. s의 초기값 0에 이 값들을 더하면 0+1+…+11=11×12÷2=66이다. 함수를 마친 뒤 반환된 66을 print가 출력한다. n을 포함하지 않는 0부터 10까지의 합 55와 구별해야 하며, range의 인수에 이미 1을 더했다는 점을 놓치지 않는 것이 핵심이다.

정답은 ②이다. strcat은 첫 번째 인수에 있는 문자열의 끝을 찾고 그 뒤에 두 번째 인수의 문자열을 이어 붙인다. str의 초기 문자열 nation 뒤에 alter가 붙으므로 nationalter가 되고 이 값이 출력된다. 결합한 글자는 11개이며 종료 널 문자까지 12바이트가 필요하므로 50바이트 배열에는 충분히 들어간다. 대상 배열이 수정 가능하고 공간이 충분해야 하며 문자열의 저장 영역이 부적절하게 겹치면 안 된다. 두 번째 문자열을 앞에 붙이는 함수가 아니라는 점도 확인해야 한다.

정답은 ②이다. 가비지 컬렉터는 실행 중인 프로그램에서 더 이상 도달할 수 없는 객체의 저장 공간을 회수하는 기능을 담당한다. 어떤 변수 하나가 참조를 잃었다고 바로 회수 대상이 되는 것은 아니다. 다른 살아 있는 참조를 따라 도달할 수 있다면 객체는 여전히 사용될 수 있다. 반대로 서로 참조하는 객체들이 있어도 프로그램의 유효한 시작점에서 도달할 수 없으면 회수 대상이 될 수 있다. 객체가 회수 가능한 상태가 되었다고 즉시 특정 시점에 수거된다고 보장되는 것도 아니다.

정답은 ③이다. b가 4이므로 b<=4는 참이고 논리 OR 결과 r1은 1이다. a가 3이어서 a>0이 참이며 b<5도 참이므로 논리 AND 결과 r2도 1이다. c가 2로 0이 아닌 값이므로 !c는 거짓인 0이다. 따라서 r1+r2+r3은 1+1+0=2다. C의 논리 연산 결과는 정수 0 또는 1이며 피연산자의 값 2나 4를 그대로 반환하지 않는다. ||와 &&에는 왼쪽 평가 결과만으로 결론이 나면 오른쪽을 평가하지 않는 단축 평가 규칙도 있다.

정답은 ④이다. Java에서 제시한 연산자 중 대입 연산자 =의 우선순위가 가장 낮다. 감소 연산자 –는 단항 또는 후위 연산 위치에서 결합하고, 나머지 연산자 %는 곱셈 수준에서 결합한다. &는 정수의 비트 AND 또는 boolean의 비단축 논리 AND로 사용될 수 있으며 대입보다 먼저 묶인다. 따라서 오른쪽 계산 결과가 정해진 뒤 변수에 대입하는 식으로 해석한다. 연산자의 우선순위는 식을 어떻게 묶는지 정하는 규칙이며 피연산자의 평가 순서와 같은 개념은 아니다.

정답은 ①이다. SSTF는 현재 헤드 위치에서 이동 거리가 가장 짧은 대기 요청을 매번 선택한다. 53에서는 65가 12트랙 거리로 가장 가깝고, 다음에는 67을 선택한다. 이후 남은 요청 중 가까운 순서로 37, 14, 98, 122, 124, 183을 처리한다. 따라서 시작 위치를 포함하면 53-65-67-37-14-98-122-124-183이다. 총 이동 거리는 12+2+30+23+84+24+2+59=236트랙이다. 매 단계마다 기준 위치가 바뀌며 도착 순서를 그대로 따르는 FCFS와 다르다.

정답은 ③이다. /24를 같은 크기의 네 서브넷으로 나누려면 서브넷 구분에 두 비트를 더 사용하여 /26이 된다. 각 블록은 64개 주소이므로 네트워크 주소는 .0, .64, .128, .192 순서다. 네 번째 블록의 네트워크 주소 .192와 브로드캐스트 .255를 제외하면 첫 호스트는 .193이다. 사용 가능한 주소를 .193, .194, .195, .196으로 세면 네 번째는 192.168.1.196이다. 네 번째 서브넷의 시작 주소 자체를 첫 사용 가능 호스트로 세지 않아야 한다.

정답은 ①이다. 과거 클래스 기반 IPv4 주소 체계에서 클래스 C는 첫 옥텟의 상위 비트가 110이며 첫 옥텟 값은 192부터 223까지다. 따라서 첫 값이 200인 200.168.30.1이 해당한다. 10으로 시작하는 주소는 클래스 A 범위, 172는 클래스 B 범위, 225는 멀티캐스트에 사용되는 클래스 D 범위다. 오늘날 실제 네트워크의 경계는 보통 CIDR 프리픽스로 지정하므로 주소 첫 숫자만으로 실제 서브넷 마스크를 결정해서는 안 된다. 이 문제는 역사적 분류를 묻는다.

정답은 ③이다. pt는 values[0]을 가리키고 *pt는 저장된 정수 4다. *&pt는 포인터 변수의 주소를 다시 역참조한 것이므로 pt와 같다. 따라서 &values[0]+4는 배열의 다섯 번째 원소 위치이고, 여기에서 pt를 빼면 같은 배열 안의 포인터 차이인 4가 된다. 마지막으로 n의 값 4를 더하여 8을 출력한다. 포인터 덧셈은 바이트 수가 아니라 원소 단위로 이동한다. 원본의 단일 int 객체 밖으로 이동하는 식은 C에서 결과를 보장할 수 없어 유효한 배열 범위의 연산과 맞는 출력 형식으로 개정했다.

정답은 ④이다. Python은 귀도 반 로섬이 개발하여 공개한 프로그래밍 언어다. 가독성을 중시하는 문법과 풍부한 라이브러리를 제공하며 객체지향뿐 아니라 여러 프로그래밍 방식을 사용할 수 있다. 인터프리터를 통해 실행한다는 설명은 일반적인 사용 방식의 특징이지만 내부에서 바이트코드로 변환하는 등 구현별 실행 과정이 있을 수 있다. 언어를 스크립트용으로만 제한하는 것도 적절하지 않다. 이 문항에서는 개발자의 이름과 함께 제시된 언어의 특징을 연결하여 판단한다.

정답은 ③이다. 배열의 시작 값은 arr[0]=0, arr[1]=1이고 반복문은 바로 앞 두 원소를 더해 다음 원소를 채운다. i가 0부터 7까지 여덟 번 실행되면서 arr[2]부터 arr[9]까지 차례로 1, 2, 3, 5, 8, 13, 21, 34가 저장된다. 따라서 arr[9]는 34다. Java 배열은 0부터 인덱스를 매기므로 arr[9]는 열 번째 원소다. 반복 조건 i<8과 대입 위치 i+2를 함께 확인하면 마지막으로 계산하는 위치가 9임을 알 수 있다.

정답은 ④이다. 프로세스는 실행 중인 프로그램의 자원과 실행 상태를 묶는 단위이며 하나 이상의 스레드를 포함할 수 있다. 스레드는 그 프로세스 안에서 실행되는 흐름으로, 일반적으로 자신의 레지스터 상태와 실행 스택을 갖고 주소 공간의 다른 부분을 공유한다. 따라서 프로세스가 스레드 안에 있고 스택이 없다는 설명은 관계를 뒤집은 것이다. 디스패치는 준비된 작업에 CPU를 배정하는 과정이며 문맥 교환에서는 이전 실행 상태를 저장하고 다음 상태를 복원한다.

정답은 ③이다. 결합도는 모듈 사이에 존재하는 의존의 정도다. 공유 전역 자료에 여러 모듈이 직접 의존하거나 다른 모듈의 동작을 선택하는 제어 정보를 많이 전달하면 변경의 영향이 넓어질 수 있다. 따라서 그런 방식을 늘려 결합도를 낮춘다는 설명은 맞지 않는다. 필요한 데이터만 명확한 인터페이스로 전달하면 숨은 의존성을 줄이는 데 도움이 된다. 매개변수를 쓴다고 언제나 낮은 결합도가 되는 것은 아니며 전달 정보의 범위와 상대 모듈 내부 구조에 대한 의존도 함께 살펴야 한다.

정답은 ④이다. TCP의 Window 필드는 수신 측이 받아들일 수 있다고 알리는 데이터량을 나타내며 기본 단위는 바이트다. 기본 16비트 필드의 최대 값은 65,535이고, 연결 설정에서 Window Scale 옵션을 협상하면 더 큰 수신 윈도우를 표현할 수 있다. 따라서 최대 32,767비트라는 설명은 크기와 단위 모두 틀렸다. 순서 번호는 바이트 흐름의 위치를 식별하고 확인 번호는 다음에 기대하는 순서 번호를 나타낸다. 체크섬은 TCP 헤더·데이터와 IP 주소 등을 반영하는 의사 헤더를 함께 검사한다.

정답은 ②이다. 같은 전체 기능을 더 많은 모듈로 분해하면 보통 개별 모듈이 다루는 범위는 작아지지만 모듈 사이의 연결과 조정 비용은 늘 수 있다. 따라서 모듈 수가 증가할수록 각 모듈이 커지고 상호교류가 감소한다는 설명은 일반적인 분해 관계를 거꾸로 설명한다. 함수·서브루틴·클래스 등으로 책임을 나누면 복잡도를 이해하고 변경 영향을 제한하는 데 도움이 된다. 그러나 무조건 잘게 나누는 것이 목적은 아니며 응집도 높은 책임과 적절한 인터페이스 경계를 선택해야 한다.

정답은 ②이다. FIFO는 메모리에 가장 먼저 들어온 페이지를, LRU는 가장 오랫동안 사용하지 않은 페이지를 교체하는 정책이다. 최적 교체는 앞으로 가장 늦게 다시 사용될 페이지를 고르므로 미래 참조를 아는 비교 기준으로 활용한다. SJF는 실행 시간이 짧은 작업을 우선하는 CPU 스케줄링 정책이어서 페이지 교체 정책과 구별된다. 사용 빈도가 낮은 페이지를 고르는 LFU도 실제 교체 정책이다. 따라서 빈도가 적다는 표현 자체를 무효한 정책으로 단정해서는 안 된다.

정답은 ①이다. C11에서 else는 if 문과 함께 사용하는 키워드이므로 일반 변수의 식별자로 선언할 수 없다. Test2는 문자로 시작하고 뒤에 숫자를 포함하므로 가능한 식별자이며 pc도 허용된다. C는 대소문자를 구별하므로 대문자 T로 시작하는 True는 여기에서 금지된 키워드가 아니다. 유효한 이름이라고 해서 모든 범위에서 중복 선언이 허용되는 것은 아니지만, 다른 선언이나 매크로가 없는 문항의 상황에서는 나머지 세 선언이 가능하다. 식별자 규칙과 예약어를 함께 확인해야 한다.

정답은 ③이다. 파일 제어 블록은 파일의 소유·권한·크기·저장 위치 등 관리에 필요한 메타데이터를 나타내는 운영체제 자료 구조다. 구현에 따라 디스크의 메타데이터를 메모리에 읽어 캐시할 수 있지만 사용자 프로그램이 커널 내부 구조를 직접 수정하는 방식으로 파일을 조작하지는 않는다. POSIX의 파일 디스크립터는 open 등이 반환하는 정수형 식별 값이며 시스템 호출을 통해 열린 파일을 참조할 때 사용한다. 이 정수 값과 파일 제어 블록을 같은 것으로 부르면 안 된다.

정답은 ①이다. 알려진 공격 패턴과 일치하는지를 보는 것은 서명 기반 탐지이고, 정상적인 활동의 기준에서 벗어나는지를 보는 것은 이상 탐지다. 이상 탐지는 새로운 유형의 이상 징후를 발견할 가능성이 있지만 정상적인 변화도 경보로 판단할 수 있어 기준과 오탐을 관리해야 한다. HIDS는 호스트 내부의 파일·로그·계정 활동 등을, NIDS는 네트워크 트래픽을 주로 관찰한다. IDS를 DMZ에 배치하여 외부 공개 서버에 대한 접근을 감시할 수도 있다. 탐지 기능과 자동 차단 기능은 별도로 구별한다.

정답은 ①이다. 강제적 접근 제어는 사용자가 임의로 바꾸기 어려운 중앙 정책에 따라 접근을 결정한다. 문항처럼 주체의 인가 수준과 객체의 보안 레이블을 비교하여 높은 등급의 정보가 낮은 등급의 주체에게 노출되지 않도록 하는 것이 대표적인 적용이다. 임의적 접근 제어는 소유자 등의 재량에 따라 권한을 부여하는 성격이 강하다. 보안 레이블 기반 기밀성 모델은 MAC의 중요한 예이지만 모든 MAC 구현이 반드시 하나의 동일한 모델과 규칙을 쓰는 것은 아니다.

정답은 ④이다. TensorFlow는 Google Brain 팀이 개발하여 공개한 기계 학습 소프트웨어로, 수치 계산과 학습 모델의 구성·실행을 지원한다. 이 문제는 당시의 개발 배경과 도구의 목적을 묻는다. Tajo는 분산 데이터 처리에서 SQL을 사용하는 프로젝트이고 One Seg는 방송 방식의 이름이며 Foursquare는 위치 기반 서비스로 알려져 있어 제시한 기계 학습 라이브러리와 다르다. 특정 팀의 현재 조직 이름을 추정할 필요 없이 공식 보존 자료에 기록된 TensorFlow의 개발 배경을 기준으로 답하면 된다.

정답은 ②이다. 파스-타(PaaS-TA)는 국내에서 연구개발 지원을 받아 NIA와 기업들이 공동 개발하고 소스코드를 공개한 개방형 클라우드 플랫폼이다. 애플리케이션을 개발·배포·실행하는 플랫폼 기능을 제공하려는 PaaS의 성격과 연결해 이해할 수 있다. 이 문항은 시험 시점 이전의 공식 공개 자료에서 사용한 프로젝트 이름을 묻는다. 메타버스처럼 넓은 서비스 개념과 특정 클라우드 플랫폼의 이름을 구별해야 하며, 당시의 구성과 명칭을 현재 모든 클라우드의 표준 구성으로 확대해서는 안 된다.

정답은 ③이다. XDMCP는 X Display Manager Control Protocol로, 독립적인 디스플레이가 원격 호스트의 로그인 서비스를 요청하고 X 세션을 시작하는 과정을 지원한다. DBMS에 보안 정책을 적용하는 전용 접근 제어 도구가 아니다. 접근 제어는 주체가 특정 자원에 어떤 작업을 할 수 있는지 정책에 따라 판단하는 기능이다. 네트워크에서는 주소·프로토콜·포트 기반 규칙을 사용할 수 있고 장비 관리 인터페이스에도 접근 제한을 둘 수 있다. IP 주소만 확인하는 것으로 사용자 인증과 모든 권한 검사가 해결되는 것은 아니다.

정답은 ③이다. 프레임워크는 공통적인 애플리케이션 구조와 확장 지점을 제공하며 개발자가 필요한 부분을 채워 넣도록 한다. 프레임워크가 실행 흐름을 조직하고 사용자 코드를 호출하는 제어의 역전이 중요한 특징이므로, 직접 흐름을 제어할 수 없다는 설명은 반대다. 공통 기능을 재사용하면 반복 구현을 줄일 수 있지만 성능이나 유지보수성이 무조건 보장되는 것은 아니다. 제공하는 구조가 문제에 맞는지, 필요한 확장과 운영을 지원하는지 평가해야 한다. 라이브러리 호출과 프레임워크 사용이 한 프로그램에서 함께 나타날 수도 있다.

정답은 ①이다. VLAN은 스위치 네트워크에서 물리적인 연결 위치와 별도로 논리적인 LAN을 구성하여 브로드캐스트 도메인을 나누는 기술이다. 같은 스위치에 연결되어도 서로 다른 VLAN으로 분리할 수 있고, 적절한 트렁크 구성을 통해 여러 스위치에 걸쳐 같은 VLAN을 전달할 수 있다. 서로 다른 VLAN 사이의 통신에는 일반적으로 3계층 전달과 관련 정책이 필요하다. STP는 2계층 루프 방지, ARP는 IPv4 주소와 링크 계층 주소의 대응을 알아내는 역할이다. VLAN만 설정했다고 완전한 보안이 자동 확보되지는 않는다.

정답은 ③이다. SQL 삽입 취약점은 신뢰할 수 없는 입력이 질의의 데이터로만 처리되지 않고 SQL 구조의 일부로 해석될 때 발생한다. DBMS마다 문법·함수·권한 모델이 달라 구체적인 공격 구문과 영향도 동일하지 않다. 사용자가 입력하는 로그인이나 검색 기능이라도 적절히 매개변수화한 질의를 사용하면 입력을 코드와 분리할 수 있다. 따라서 입력을 받는 모든 기능이 취약하다고 판단해서는 안 된다. 예방에서는 매개변수화, 필요한 경우 허용 목록 검증, 최소 권한을 함께 고려한다.

정답은 ④이다. RSA는 공개키와 개인키를 사용하는 비대칭 암호 체계이며 키 생성에서 큰 소수들의 곱으로 만든 모듈러스를 사용한다. 표준적인 RSA 키에서는 공개 지수와 개인 지수가 관련된 모듈러 산술을 구성한다. DES와 AES는 암호화·복호화에 대칭 키를 사용하는 블록 암호이므로 구별된다. 실제 RSA 암호화나 서명에서는 표준이 정한 안전한 인코딩·패딩 방식이 필요하며 단순한 수학 연산만 그대로 사용해서는 안 된다. 이 문항은 비대칭 방식과 소수 활용이라는 두 단서를 묻는다.

정답은 ①이다. SDS는 저장 장치를 제어하고 자원을 배분하는 소프트웨어 계층을 특정 물리 하드웨어와 분리하여 관리하는 접근이다. 여러 저장 자원을 풀로 묶고 정책에 따라 용량·성능·보호 기능을 운영하는 방식 등이 가능하다. 그림의 가상화와 소프트웨어 중심 제어라는 단서는 Software Defined Storage에 대응한다. 물리 디스크가 없어지거나 소프트웨어만으로 용량이 생긴다는 뜻은 아니다. 하드웨어의 특성과 장애 가능성은 여전히 고려하면서 관리와 배치의 유연성을 높이려는 것이다.

정답은 ②이다. COCOMO 81의 Organic 모드는 비교적 익숙하고 안정적인 환경에서 숙련된 작은 팀이 개발하는 프로젝트의 성격을 나타낸다. Semi-detached는 경험과 제약이 중간적인 경우, Embedded는 하드웨어·운영 환경 등의 제약이 강하게 얽힌 경우를 설명한다. 코드 규모는 비용 산정에 중요하지만 특정 라인 수 하나로 모드를 기계적으로 확정하는 것은 적절하지 않다. 이 문항은 팀의 경험과 환경·제약의 특성을 기준으로 판단하며, 후속 COCOMO II 모델의 분류와도 구별해야 한다.

정답은 ②이다. 랜섬웨어는 파일이나 시스템에 대한 접근을 제한하고 이를 되돌리는 대가 등을 요구하는 악성코드다. 암호화로 업무 자료를 사용할 수 없게 만들거나 자료 유출을 함께 협박하는 방식이 나타날 수 있다. 그림의 금전 요구와 파일 접근 제한이라는 단서가 이에 해당한다. 포맷 문자열과 버퍼 오버플로는 프로그램의 취약점 유형이며 애드웨어는 광고를 표시하는 소프트웨어 범주다. 감염 예방과 복구 준비에는 업데이트, 접근 권한 관리, 분리된 백업과 복원 검증이 함께 필요하다.

정답은 ①이다. 폭포수 모형은 요구 분석·설계·구현·시험 등 개발 활동을 구분하고 앞 단계의 산출물을 바탕으로 다음 단계로 진행하는 선형 순차적 모형으로 설명된다. 단계 경계와 문서화가 분명한 대신 뒤늦게 요구가 달라지면 여러 산출물의 재작업이 필요할 수 있다. 프로토타입은 시제품으로 요구를 확인하는 접근이고 나선형은 위험 분석을 중심으로 반복한다. COCOMO는 주로 개발 비용과 공수를 추정하는 모델이다. 실제 폭포수 적용에서도 검토와 되돌림이 전혀 불가능하다는 뜻은 아니다.

정답은 ④이다. 나선형 모형은 반복 주기마다 목표와 대안을 정하고 위험을 식별·평가한 뒤 필요한 개발과 검증을 수행하며 다음 주기를 계획한다. 따라서 한 번의 개발 주기만 수행한다는 설명은 틀렸다. 위험을 줄이기 위해 시제품이나 추가 분석을 사용할 수 있고 다음 활동의 규모와 방식도 위험에 따라 달라진다. 비교적 큰 프로젝트에서 유용할 수 있지만 크기만으로 적합성을 결정하지 않는다. 핵심은 그림의 고정된 단계 이름을 암기하는 것보다 위험에 근거해 반복의 방향을 결정한다는 점이다.

정답은 ②이다. Ping Flood는 많은 ICMP Echo 요청이나 관련 트래픽을 발생시켜 대상 또는 연결망의 처리 능력과 대역폭을 소모시키는 서비스 거부 공격이다. 일반적인 ping은 연결 상태 확인에 사용되지만 양이 처리 한계를 넘으면 정상 이용이 어려워질 수 있다. 모든 경우에 반드시 CPU 자원 전체가 소진되는 것은 아니며 네트워크 혼잡이나 장비 처리 한계로도 장애가 발생한다. 역할 기반 접근 제어는 보안 정책, 무차별 대입은 반복적인 추측, 트로이목마는 정상 프로그램처럼 위장한 악성코드와 관련된다.

정답은 ②이다. MQTT는 메시지를 주제에 따라 발행하고 구독자에게 전달하는 방식의 프로토콜이다. 클라이언트가 서버인 브로커와 연결하고 주제에 메시지를 발행하거나 관심 주제를 구독한다. 가벼운 메시징과 연결 관리 기능 덕분에 IoT 환경에서도 활용된다. MQTT 5.0은 TCP/IP 또는 순서 보장·손실 없는 양방향 전송을 제공하는 다른 네트워크 연결 위에서 동작하도록 정의한다. 따라서 MQTT가 특정 무선 전송 기술 자체라고 이해하면 안 되며 브로커를 통한 응용 메시지 교환과 하위 통신망을 구별해야 한다.

정답은 ③이다. SSO는 한 번의 인증 결과를 신뢰 관계가 설정된 여러 애플리케이션에서 활용하여 사용자가 같은 인증 절차를 반복하는 부담을 줄이는 방식이다. 모든 시스템이 자동으로 연결되는 것은 아니며 인증 제공자와 각 서비스의 연동·검증이 필요하다. 또한 로그인에 성공했다는 사실과 특정 자료를 볼 권한이 있다는 사실은 다르므로 서비스별 권한 검사는 계속 적용된다. 세션 만료나 추가 인증 정책에 따라 다시 인증을 요구할 수도 있다. SOA는 서비스 중심의 구조 설계 개념이므로 SSO와 구별한다.

정답은 ④이다. 솔트는 비밀번호를 저장용으로 해시할 때 비밀번호와 함께 입력하는 계정별 또는 비밀번호별 값이다. 충분한 무작위 솔트를 사용하면 같은 비밀번호를 사용하더라도 저장되는 결과가 달라져 사전 계산 결과를 여러 계정에 재사용하기 어렵게 한다. 솔트는 보통 해시 결과와 함께 저장해도 되며 비밀 키와 같은 역할은 아니다. 적절한 비밀번호 해싱 방식과 비용 설정도 필요하다. 일반적인 비밀번호 저장을 복호화 가능한 암호화만으로 해결하거나 솔트 하나로 모든 추측 공격이 불가능해진다고 생각해서는 안 된다.

정답은 ④이다. LOC 기법은 소스 코드의 예상 라인 수를 소프트웨어 규모의 기준으로 사용하고 생산성 등의 가정과 연결하여 공수·비용을 추정한다. 각 기능에 대해 낙관적 규모, 가장 가능성이 높은 규모, 비관적 규모를 잡아 불확실성을 반영할 수 있다. 3점 가중 추정을 사용하는 경우에는 보통 (낙관값+4×최빈값+비관값)÷6 같은 값을 계산하지만 이것이 모든 LOC 산정에 강제되는 유일한 공식은 아니다. 전문가 판단과 델파이는 추정값을 얻는 방법이고 LOC는 여기서 규모의 단위라는 점이 핵심이다.

정답은 ②이다. OWASP는 소프트웨어 보안을 개선하기 위해 공개 프로젝트·문서·도구와 커뮤니티 활동을 지원하는 비영리 재단이다. 웹 애플리케이션 보안 위험을 정리하는 OWASP Top 10 등으로 널리 알려져 있으며 개발자와 조직이 취약점을 이해하고 줄이는 데 필요한 자료를 제공한다. 시험 당시의 이름은 Open Web Application Security Project였으며 현재 공식 소개에서는 Open Worldwide Application Security Project라는 이름을 사용한다. WWW는 웹 자체를, ITU는 국제전기통신연합을 가리키므로 구별해야 한다.