• 소프트웨어공학소사이어티 논문지
• /
• 제14권1호
• /
• pp.30-41
• /
• 2001

서버의 확장성, 즉 제한된 자원으로 처리할 수 있는 클라이언트의 수는 서버의 성능과 유지 비용에 직접적인 영향을 끼친다. 확장성이 큰 서버를 구현하기 위해 서버 컴포넌트는 클라이언트의 상태를 유지하지 않아야 한다는 것은 널리 받아들여지고 있다. 그러나, 이러한 상태 비유지 컴포넌트를 생성하는 것에 대한 체계적인 방법이 전무한 실정이다. 따라서, 본 논문에서는 재구성(refactoring)을 이용하여 상태 유지(stateful) 서버를 상태 비유지(stateless) 서버로 변환시키는 체계적인 방법을 제시한다. 다음으로 여러 개의 컴포넌트를 찾고, 각각에 재구성을 수행하는 방법을 제시한다. 다음으로 여러 개의 컴포넌트로 구성된 서버에 위 방법을 적용할 수 잇는 알고리즘을 제시한다. EJB 기반의 간단한 은행 시스템에 재구성 방법을 적용하여, 상태 유지 서버가 상태 비유지 서버로 성공적으로 변환되는 모습을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제24권11호
• /
• pp.127-133
• /
• 2019

오늘날 데이터 처리에 있어 가장 보편적인 언어가 SQL이다. 이를 위해 SQL 교육이 대학에서 진행되고 있다. 따라서 이번 연구에서는 SQL교육의 학습효과를 극대화하기 위한 SQL의 퀴즈 자동 채점 시스템을 제안한다. 본 시스템은 SQL 퀴즈의 자동 채점을 위해 데이터베이스관리시스템을 활용한 알고리즘을 이용하였으며, 만족할 만한 결과를 도출하였다. 본 시스템을 위해 학사관리, 인사관리 데이터베이스에 대해 학사관리의 문제로 문제 은행을 구축하고, 사용자에게 매번 다른 문제를 제공할 수 있도록 하였다. 채점은 테이블에 변화가 없는 검색과 테이블이 변화하는 수정, 삽입, 삭제로 나누어 처리하였다. 검색의 경우 정답과 응답을 실행한 후 실행 결과를 비교하여 처리하였으며, 수정, 삽입, 삭제는 정답과 오답을 실행한 후 테이블을 검색하여 비교함으로써 정답을 확인하도록 하였다. 수정, 삽입, 삭제는 테이블이 변화하였으므로 트랜젝션(transaction) 제어어인 ROLLBACK 명령어를 이용하여 데이터를 원래대로 복원하였다. 본 시스템을 구현하고, 우리대학 컴퓨터정보과 2학년 88명을 대상으로 772회 시행하였다. 시행결과 1회 10문항으로 구성된 시험에 대한 평균 채점 소요시간은 0.052초로 매우 효과적인 것으로 나타났으며, 채점관의 경우 동시에 여러개의 응답을 동시에 처리할 수 없음을 고려한다면 본 시스템의 성능이 월등함을 확인하였다. 향후 정답율을 기초로 문제 난이도를 고려한 문제 시스템으로 발전시키고자 한다.

• 한국콘텐츠학회논문지
• /
• 제21권1호
• /
• pp.426-433
• /
• 2021

최근 들어 공공부문 정보화에 대한 투자가 기존보다 증가하는 추세이다. 초고속 인터넷과 스마트폰 보급이 일반화되었으며 그에 따라 공공부문 대국민에게 제공하는 정보시스템의 안정성은 무엇보다 중요한 관리요소가 되었다. 즉, 공공기관의 민원 처리와 증명서 발급, 은행의 금융 거래, 통관 업무, 개인 또는 기관의 전자상거래 등과 같은 업무가 대부분 온라인 처리로 이루어지고 있다. 그렇기 때문에 중요 민원 업무를 담당하고 있는 정보시스템에서 발생되는 장애를 어떻게 처리하느냐가 매우 중요한 쟁점으로 대두되고 있다. 즉, 짧은 시간이라도 정상적으로 동작하지 않는 장애의 경우 민원에게 재정상 큰 손해를 유발 등과 더불어 해당 업무처리 지연 시 다양한 문제가 발생할 수 있다. 이는 공공기관 신뢰도 하락과 민원 제기 등의 여러 가지 피해를 동반할 수 있다. 정보시스템 장애가 발생하는 이유들은 매우 다양하고 현실적으로 발생 시기를 예측하기 힘들다. 본 논문에서는 장애에 대응하는 여러 가지 방안 중에서 민원인 입장에서 홈페이지 장애 발생 시 민원인이 장애로 인한 혼란을 최소화할 수 있는 장애상황공지 시스템 구축방안을 제안하였다. 제안한 장애상황공지 시스템을 공공 IDC환경에 구축하여 활용 가능성을 보였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권12호
• /
• pp.541-552
• /
• 2013

최근 우리 생활에 스마트 기술의 빠른 전파 때문에 정보 과학 및 기술 분야에 있어서는 스마트 폰의 소프트웨어 보안성이 중요한 이슈가 되고 있다. 보안성 중요 시스템인 스마트 폰은 은행 서비스, 유비쿼터스 홈 관리, 항공 고객의 검색 등의 서비스 시스템에 이용되기 때문에 비용의 리스크, 손실의 리스크, 이용가능 리스크, 그리고 사용상의 리스크에 관련 되어 있다. 스마트 폰의 보안성 이슈는 이들의 관찰된 고장들을 사용하여 소프트웨어 장애 분석을 하는 것이 핵심 접근 방법이다. 본 연구에서는 손으로 조작하는 디바이스들의 수렴하는 보안성과 신뢰성 분석 기법을 얻기 위해서 결함 트리 분석 (FTA)와 고장 모드 효과 분석(FMEA)을 사용하여 스마트 폰의 소프트웨어 보안성 분석을 위한 하나의 유효한 통합적 프레임 워크를 제안한다. 그리고 만약 하나의 고장 모드 효과 분석이 더욱 더 간단해지면 스마트 디바이스들의 보안성 개선뿐만 아니라 고장효과 의 감소를 위해서 제안된 통합적인 프레임 워크는 핵심 해법이 됨을 논의한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.129-140
• /
• 2006

기존 소프트웨어 개발 프로세스는 분석 단계보다는 설계나 구현 단계만을 강조하고 있으며 서브시스템이 많은 복잡한 비즈니스 애플리케이션 분석 시 분석가의 경험이나 업무 지식의 차이에 따라 스타일과 추상화 레벨이 다른 분석 산출물을 작성하게 된다. 이러한 분석 산출물은 산출물 일관성이나 가독성에 영향을 미친다. 본 논문에서는 많은 서브시스템들에 대한 분석을 서로 다른 분석가에 의해서 수행해야 하고 외부 이벤트에 대해 트랜잭션 처리를 룰 기반으로 처리해야 하는 도메인 상에서 객체 기반의 중요 개념을 룰 기반으로 추출하고 그들 간의 상호작용 모델링을 효과적으로 할 수 있는 룰 기반 분석 패턴을 제시한다. 또한 제시한 분석 패턴이 가지는 3개의 핵심 개념들을 기반으로 UML Components 개발 프로세스 상에서 비즈니스 컴포넌트를 개발하는 방법을 은행 수신업무 적용 사례를 통해 제시한다.

• 한국정보처리학회논문지
• /
• 제7권9호
• /
• pp.2846-2856
• /
• 2000

최근 웹 기술이 급속하게 발달함에 따라 웹 기반의 많은 에플리케이션이 개발되고 있다. 하지만 대부분의 웹 애플리케이션의 생성은 체계적인 프로세스 없이 개발자의 지식과 경험에 의존하여 개발되고 있다. 웹 기반의 응용시스템은 다양한 개발 기법이 요구되며 설계 및 개발 프로세스를 위해 풍부한 개발 방법론이 요구된다. 따라서, 본 논문에서는 추상화를 제공하지 않는 저수준 기술에 기반한 애플리케이션 개발을 개선하고 웹을 기반으로한 애플리케이션 구축을 위한 개발 프로세스를 제안한다. 또한, 웹 애플리케이션 개발 프로세스를 제시하며, 전자 문제은행 시스템(EPBS: Electronic Problem Bank System)에 이 프로세스를 적용하였다. 본 논문에서 제시한 웹 애플리케이션 개발 프로세스는 모델링을 위한 고수준의 추상화 정의를 가능하게 함으로써 역으로 개발을 통한 유지보수 정보획득으로 체계적 관리가 가능하며 모델 기반의 프로세스로써 이해하기 용이한 장점을 가진다. 또한, 분석과 설계 모델들은 이와 유사한 웹 애플리케이션 개발시 유용한 컴포넌트로써 재사용성을 기대할 수 있다.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1507-1516
• /
• 2004

최근 들어 정보통신분야에 있어서 가장 화두가 되고 있는 용어가 유비쿼터스란 용어이다. 유비쿼터스(ubiquitous)는 '모든 곳에 있다'라는 뜻을 가지고 있으며 우리의 모든 일상이 네트워크로 연결되어 있는 상태를 말한다. 다양한 정보망에서 필요한 정보를 언제 어디서든지 간단하고 안전하게 손에 넣을 수 있다는 것을 뜻한다. 이 말은 인터넷을 포함한 앞으로의 정보화 사회를 장기간 이끌어 가는 상징적인 키워드가 될 것으로 전망된다. 유비쿼터스는 이미 우리 실세계에 깊숙히 파고들어와 있다. 은행에 가면 우리의 일거수일투족이 `CCTV'에 잡히게 되며 휴대전화에 내장된 GPS 시스템은 인공위성과 연결하여 가장 빠른 길을 알려주며 핸드폰이나 PDA를 이용한 주식거래도 활발히 이루어지고 있다. 그 중에서도 가장 우리와 가까이에 위치하고 있는 모바일에 있어서도 수많은 서비스들이 우리 생활에 깊숙이 들어와 있다. 본 논문은 그 중에서도 우리에게 가장 친숙하게 다가와 있는 모바일 SMS(Short Message Service)에 있어서 기존 SMS서비스 전송방식과는 달리 무선 인터넷을 활용한 SMS 전송방식으로 보다 효율적인 서비스체계와 비용절감 및 다양한 사업 모델링을 통한 부가가치 창출을 목표로 하고 있다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 정보보호학회논문지
• /
• 제34권1호
• /
• pp.129-141
• /
• 2024

디지털 전환이 다양한 분야에서 가속되고 있는 가운데, 금융시장에서도 디지털·전자화된 화폐를 포함한 지급결제 수단 발전에 관한 관심이 집중되고 있다. 그중 중앙은행 디지털화폐(Central Bank Digital Currency, CBDC)는 기존 실물 화폐를 대체할 수 있는 미래 디지털화폐로 가치변동이 없으며 기존 실물 화폐인 현금과1:1 등가교환이 가능하다. 최근 국내·외에서는 CBDC 출시를 위해 다양한 연구 및 개발을 진행하고 있다. 그러나, 현재 CBDC 시스템은 대용량 거래에 대한 처리 속도 지연, 응답대기시간 지연 및 네트워크 부하 등 CBDC 확장성에 관한 문제가 존재한다. 범용적인 CBDC 시스템을 구축하기 위해서는 기존 블록체인의 낮은 처리량 및 네트워크 부하 문제 등의 확장성 문제를 해결해야 한다. 따라서, 본 연구에서는 범용 CBDC 구축을 위한 강화학습 기반의 CBDC 환경에서 대용량 데이터에 대한 처리량 및 네트워크 부하 문제 해결 기술을 제안한다. 제안 기술은 기존 시스템 대비 최대 64배 이상의 처리량 증대 및 20% 이상의 네트워크 부하를 감소할 수 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권7호
• /
• pp.255-262
• /
• 2014

기존 논문[1]에서는 Fillmore의 Case Grammar를 기반으로 객체 추출 및 모델링 방법을 제안하였다. 이 방법은 유스케이스 추출 및 결정 방법을 고려하지 않았다. 이러한 문제를 해결하기 위해, 본 논문에서는 요구공학에서 자연어 처리를 위해 Fillmore의 의미적 방법을 채택하였다. 즉, 고객 요구사항으로부터 유스케이스를 모델링하고 추출하기 위해 Fillmore의 Case Grammar를 개선한다. 개선된 메커니즘은 구조화된 절차를 정의하고 시각적 표기법을 수행한다. 또한 유스케이스의 복잡성과 관련된 Goal 지향 요구공학(GoRE)을 기반으로 추출된 유스케이스에서 유스케이스 크기를 식별하는 유스케이스 결정 매트릭스(Use Case Decision Matrix)를 제안한다. 이 매트릭스에서 유스케이스를 우선순위화 한다. 사례연구로 은행 ATM 시스템에 적용하였다.