2013
제 15회 한국 소프트웨어공학 학술대회 논문집

Proceedings of the 15th Korea Conference on Software Engineering (KCSE 2013)

• 일시: 2013년 1월 30일(수) ~ 2월 1일(금)

• 장소: 강원도 평창 휘닉스파크 內 한화리조트

주최:   한국정보과학회, 한국정보처리학회
　

주관:   한국정보과학회 소프트웨어공학 소사이어티

한국정보처리학회 소프트웨어공학 연구회

한국전자통신연구원
　

후원:  정보통신산업진흥원 SW공학센터, ㈜케이티, ㈜비트컴퓨터, ㈜다한테크, ㈜솔루션링크, 슈어소프트테크㈜,
(주)씽크포비엘, STA테스팅컨설팅㈜, LG CNS, 이에스지㈜, ㈜인지소프트, 현대엠엔소프트㈜

초대의 글

2013년을 맞이하여 한국 소프트웨어공학 학술대회 참가자 여러분의 무궁한 발전을 기원합니다.

기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 관련 전문가들의 모임인 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학연구회에서는 여러 산업분야에서 소프트웨어공학의 중요성이 날로 부각되고 소프트웨어 기술이 미래 국가 발전에 중요한 부분으로 인식되는 시점에서 소프트웨어공학 기술의 발전과 적용의 확대를 도모하고자 산, 학, 연을 중심으로 하는 제 15회 한국 소프트웨어공학 학술대회(KCSE 2013)를 개최하게 되었습니다.

1월 30일부터 2월 1일까지 강원도 보광휘닉스파크에서 개최되는 이번 학술대회에서는 특히 “스마트 시대의 진화를 위한 소프트웨어공학 원리”을 주제로 산, 학, 연 각계에서 제출한 논문 80여편이 발표됩니다.

또한 소프트웨어공학 이론, 교육, 신기술 및 관련 산업체 기술 분야 소개 등 총 6개의 유익한 튜토리얼이 준비되어 있고 World Best Software(WBS)와 Software Visualization 및 중소 SW 기업현장 적용 우수 사례 소개, 그리고 Cyber-Physical Systems(CPS) 관련 초청 세션도 진행됩니다. 아울러 소프트웨어 산업 발전의 실무를 담당하고 계신 저명인사 2분의 기조연설도 있습니다. 논문 발표는 모델 및 정형기법, SW 품질 및 테스트, 관리 및 프로세스, 요구공학, SW 아키텍처, SW 재사용 및 SPLE, 적응형 SW, 모바일 SW, 임베디드 SW, 서비스, 온톨로지, SW 응용 등 다양한 주제의 세션으로 구성되어 진행되어 관련 주제에 대한 활발한 정보교환과 토론의 장이 열릴 것입니다.

본 학술대회가 한국의 소프트웨어공학의 학문적 발전과 소프트웨어 산업기술 발전의 큰 장이 되는 만큼, 활발한 학술 및 기술 교류는 물론 격의 없는 토론의 장이 될 수 있도록 여러분의 많은 참여를 부탁 드립니다. 이번 행사를 위해 수고해 주신 대회 준비 위원들과 후원해 주신 기관 여러분께 진심으로 감사를 드립니다.

한국정보과학회 소프트웨어소사이어티 회장 한혁수
한국정보처리학회 소프트웨어공학연구회 운영위위원장 이은석

학술대회 준비 위원회

공동 대회장: 한혁수 교수(상명대학교), 이은석 교수(성균관대학교)

조직 위원장: 권기현 교수(경기대학교)

조직위원:  김영철 교수(홍익대), 김철진 교수(인하공전), 김치수 교수(공주대), 박사천 박사(ETRI), 백종문 교수(KAIST), 서주영 교수(아주대), 유준범 교수(건국대), 유철중 교수(전북대),

이병걸 교수(서울여대), 이병정 교수(서울시립대), 이세영 박사(NIPA SW공학센터), 이정원 교수(아주대), 이찬근 교수(중앙대), 정화영 교수(경희대), 조은숙 교수(서일대),

차성덕 교수(고려대), 하얀 교수(경인여자대학), 한정란 교수(협성대), 황석형 교수(선문대)

학술위원장: 고인영(KAIST)

학술위원:  강문설 교수(광주대), 강성원 교수(KAIST), 김문주 교수(KAIST), 김유일 박사(삼성전자), 김정아 교수(관동대), 김태호 박사(ETRI), 남영광 교수(연세대),

민상윤 박사(솔루션링크), 박명환 교수(공군사관학교), 박수진 교수(서강대), 박용범 교수(단국대), 염근혁 교수(부산대), 오재원 교수(카톨릭대), 윤회진 교수(협성대),

이관우 교수(한성대), 이근 박사(삼성전자), 이우진 교수(경북대), 이은서 교수(안동대), 이지현 교수(대전대), 인호 교수(고려대), 정혜정 교수(평택대), 진영택 교수(한밭대),

채흥석 교수(부산대), 홍장의 교수(충북대)

KCSE 2013 튜토리얼

튜토리얼 T1: 산업체 튜토리얼 1

- 일시: 1월 30일 (수) 14:30-15:45

- 장소: 그랜드홀2
　

- 제목: 'Architecture for Cloud, Ucloud for Architecture'

- 연사: 송순용 팀장(KT Cloud엔지니어링담당 VPC엔지니어링팀장)

- 튜토리얼 초록:

많은 기업들이 클라우드 기반으로 IT 인프라를 구축하는 방안을 검토, 실행하고 있지만, 주로 기존의 시스템 구조를 1:1 마이그레이션 하는 것을 전제로 비용 절감 효과에만 집중하고 있다. 그러나 클라우드가 제공하는 컴퓨팅 환경은 분명히 기존의 엔터프라이즈 환경과 다른 특성들이 있기 때문에 시스템 구조 자체를 발전시키는 노력이 필요하다. 본 세션에서는 클라우드 환경에 적합한 시스템-어플리케이션 아키텍쳐는 어떠해야 하는지 몇 가지의 사례를 곁들여 논의해보고자 한다. 역으로 클라우드 사업자는 기존의 시스템 구조를 무리 없이 수용할 수 있도록 다양한 서비스를 제공할 필요가 있다. 아마존 등의 선진 사업자들이 2012년도에 SSD기반의 가상서버를 제공하기 시작한 것도 그러한 맥락으로 볼 수 있다. 본 세션에서는 KT 유클라우드 서비스의 사례를 통해 클라우드 사업자의 그러한 노력을 살펴보고자 한다

- 송순용 팀장 약력:

1993년 서울대학교 대학원 전자공학과 졸업 (석사)

1993년~현재 KT 근무

- HAN/B-ISDN 프로젝트 참여

- 초고속국가망 관리시스템 개발

- RFID/USN 플랫폼 개발

- BcN 관리시스템 개발 (BcN : Broadband Convergence Network)

- 서울대학교 KT-MBA 과정 수료

現 Cloud추진본부 Cloud엔지니어링담당 VPC엔지니어링팀장

- 제목: 'Ucloud 서비스 및 Academy Program 소개'

- 연사: 이현주 팀장(KT Cloud사업담당 Cloud마케팅팀장)

- 튜토리얼 초록:

구글과 페이스북의 공통점은 세계 IT 시장을 선도하는 기업이라는 점, 젊은 경영자가 CEO라는 점. 마지막으로 대학(원)생이 창업한 사례라는 점이다. 비즈니스의 주기는 짧아지는 반면 모바일 데이터 폭증으로 이를 수용할 공간은 절대적으로 부족하다. 이런 상황에서 ‘클라우드’가 제공하는 컴퓨팅 환경은 기존 메인프레임 내지는 클라이언트 컴퓨팅 시대의 컴퓨팅과는 다른 혁신을 지원하고 있다. 본 세션은 국내 최초로 퍼블릭 클라우드를 상용화 했으며, 클라우드 시장을 선도하는 기업 kt가 제공하는 클라우드 상품과 이를 응용한 사례를 논의하고자 한다. 아울러 kt가 대학교를 향해 던지는 화두 ‘ucloud academy’에 대해 소개하고자 한다.

- 이현주 팀장 약력:

1996 University of Iowa, 경제학 학사

2006 IE Business School, MBA

1997년~현재 KT 근무

- 인터넷사업팀, IR팀, 사업전략팀, 출자경영팀 등 근무

現 Cloud추진본부 Cloud사업담당 Cloud마케팅팀장

튜토리얼 T2: 소프트웨어공학 이론 튜토리얼

- 일시: 1월 30일 (수) 14:30-15:45

- 장소: 세미나실1

- 제목: ‘소프트웨어 아키텍처 설계의 근본원리들’

- 연사: 강성원 교수(KAIST)

- 튜토리얼 초록:

이 튜토리얼에서는 효과적인 소프트웨어 개발을 위한 필수적인 기술로서 열 두 개의 근본적인 소프트웨어 아키텍처 설계원리를 설명한다. 아키텍처 설계단계들을 문제의 파악, 아키텍처 모델링 방법의 결정, 아키텍처 설계의 수행 그리고 설계된 아키텍처의 평가의 네 개의 단계 군으로 나누고, 이 단계군 안에서 그리고 단계군 간에 활용되는 아키텍처 설계의 원리들을 식별하고 그 역할을 설명한다.

- 강성원 교수 약력:

2011.8.10~12: 국제컨퍼런스 프로그램 공동의장, SERA 2011 (Software Engineering Research, Management and Applications)

2009.3 ~ 현재: KAIST 전산학과 부교수

2003 ~ 현재: 미국 카네기멜론 대학교 MSE 프로그램 겸임교수

2001.10 ~ 2009.2: 한국정보통신대학교 조교수, 부교수

2001.8.28 ~ 31: 국제컨퍼런스 공동의장, FORTE 2001 (Formal Techniques for Networked and Distributed Systems)

1995.9 ~1996.9: 미국 국립표준기술연구소(NIST) 객원연구원

1993.12 ~ 2001.10: 한국통신(KT) 선임연구원

저서: 소프트웨어 아키텍처로의 초대, 2012.

튜토리얼 T3: 소프트웨어공학 신기술 튜토리얼 1

- 일시: 1월 30일 (수) 14:30-15:45

- 장소: 세미나실2

- 제목: ‘Combinatorial Test Design and Its Applications’

- 연사: 윤일철 교수(SUNY Korea)

- 튜토리얼 초록:

Combinatorial test design is a test-case selection technique where each test case (called configuration) is a value combination of test input parameters. The main rationale behind this design is that software faults are often caused by unintended or unexpected interactions between test input values. Since its rebirth as a software black-box testing technique, combinatorial test design has been applied to various problems in the Software Engineering discipline and the cost-effectiveness of the technique has been empirically proven by a large stack of studies carried out over the last two decades.

In this tutorial, I will introduce a number of combinatorial test design techniques that use different strategies or coverage criteria for the value selection process, with the special focus given to the t-wise interaction coverage design. Two natural extensions to the base design will then be presented. The extensions are to improve test effectiveness by prioritizing test cases generated or to reduce the size of test suites while preserving test strength. Researches on the application of the techniques to address various problems in Software Engineering will also be presented to raise understanding of actual use-cases. The application areas may include fault characterization, software performance enhancement, web application testing, and GUI testing.

- 윤일철 교수 약력:

Professor Ilchul Yoon received B.S. in Computer Science at Sogang University, M.S. in Computer Science at Korea Advanced Institute of Science and Technology, and Ph.D. in Computer Science at University of Maryland, College Park. As an assistant professor in the department of Computer Science, he is working for State University of New York, Korea, which is the first foreign university established on Korean soil. His research interests lie in the fields of software compatibility testing, interaction test design, and software process. He also has interests in distributed high-performance computing researches, and participated in the peer-review processes of major conferences in the discipline.

튜토리얼 T4: 산업체 튜토리얼 2

- 일시: 1월 31일 (목) 09:00-10:15

- 장소: 그랜드홀2

- 제목: ‘클라우드 기반의 스마트워크 (A journey to the Smart Working Era on the Cloud)’

- 연사: 신창현 팀장(LG CNS 클라우드사업팀장)

- 튜토리얼 초록:

‘12년 가트너 심포지움에서 발표되기로 클라우드는 적어도 미국 시장에서는 Chasm을 
넘어섰다고 한다. 더이상 클라우드는 신기술/신사업 영역이 아닌 Commodity화
되어가는 추세이고 국내 시장은 글로벌 대비 속도가 느리나 전 산업영역에 걸쳐 그
활용도가 증대되어 가고 있다.
우리가 흔히 생각하는 클라우드는 서버, 스토리지 등 인프라를 제공하는 IaaS와 SW를 
서비스로 제공하는 SaaS 영역 외에 최근에는 사용자 클라이언트 영역(PC)까지도
클라우드로 제공하는 서비스가 엔터프라이즈 시장에서 주목을 받고 있다.
본 세션은 기업 보안을 넘어 스마트워크 관점에서 데스크탑 클라우드
환경이 어떻게 기업에서 어떻게 활용되고 있는지를 사례와 더불어 소개하고자 한다.

- 신창현 팀장 약력:

’97 ~ ’02 : LG-EDS(現 LG CNS) 입사. 응용시스템 SI / SM
 

’03 ~ ’05 : LG CNS 신규사업 개발 업무전문가

’05 ~ ’09 : LG CNS 가상화 기술 기반 사업 개발 및 이행

’10 ~ 현재 : LG CNS 클라우드컴퓨팅 사업

강의이력 : 통합전산센터, 특허청, 관세청 등 공공기관 및 다수 민간 컨퍼런스 발표


現 
LG CNS 클라우드사업팀장

튜토리얼 T5: 소프트웨어공학 교육 튜토리얼

- 일시: 1월 31일 (목) 09:00-10:15

- 장소: 세미나실1

- 제목: ‘소프트웨어 공학 교육 – 실무적 접근법’

- 연사: 최은만 교수(동국대)

- 튜토리얼 초록:

소프트웨어 엔지니어를 키우기 위해서는 소프트웨어 공학의 방법론과 이론만이 아니라 실제 개발을 위한 실무적 훈련이 필요하다. 하지만 대학 학부 과정의 소프트웨어 교육은 칠판이나 프로젝터를 이용하여 그 방법을 소개하는데 중점을 두고 있다. 또한 산업 현장에서 사용되는 IT 기술은 빠르게 발전하고 다양해져 어떤 것을 어느 정도로 다루어야 할지 기준이 서지 않는다. 이 튜토리얼에서는 산업 현장에 바로 투입될 수 있는 소프트웨어 엔지니어를 교육하기 위하여 필요한 교육 내용, 바람직한 교육 방법, 최신 시도되고 있는 실무적 교육 방법에 대하여 알아본다.

- 최은만 교수 약력:

1982. 동국대학교 전산학과 졸업(학사)

1985. 한국과학기술원 전산학과 졸업(공학석사)

1993. 미국 Illinois Institute of Technology 전산학과 졸업(전산학박사)

1985. 한국표준연구소 연구원

1986~1988 충남대, 목원대 대전 산업대 강사

1988. 한국데이타통신(주) 주임연구원

1992. 시카고 주립대 전산학과 강사

1997～2004, 한국정보과학회 소프트웨어 공학 연구회 운영위원

2001~2005. 한국정보처리학회 학회지 편집위원

2000. 2007 콜로라도 주립대(포트콜린스) 전산학과 방문교수

2002. 카네기 멜론 대학 소프트웨어 공학 단기 과정 연수

1993～현재, 동국대학교 컴퓨터 공학과 교수

튜토리얼 T6: 소프트웨어공학 신기술 튜토리얼 2

- 일시: 1월 31일 (목) 09:00-10:15

- 장소: 세미나실2

- 제목: ‘Towards Dependable and Secure Software: Requirements Engineering Approach’

- 연사: 이석원 교수(아주대)

- 튜토리얼 초록:

Engineering a dependable software system that meets our needs is a challenging task and requires a variety of analysis and development techniques. Dependability has to be engineered into a system in its early stage of design and development task to build comprehensive understanding of its nature and purposeful behavior within the context of people, technology and the process. Among many dependability attributes, we focus on the security attribute and its certification and accreditation process that aggregates evidences for multi-dimensional analysis to assure its level of acceptance. Security breaches most often occur due to a cascading effect of failure among security constraints that collectively contribute to overall secure system behavior in a socio-technical environment. Therefore, during security certification activities, analysts must systematically take into account the nexus of causal chains that exist among security constraints imposed by regulatory requirements. Numerous regulatory requirements specified in natural language documents or listed in spreadsheets/databases do not facilitate such analysis. We present a step-wise methodology to discover and understand the multi-dimensional correlations among regulatory requirements for the purpose of understanding the potential for risk due to non-compliance during system operation. Our lattice algebraic computational model helps estimate the collective adequacy of diverse security constraints imposed by regulatory requirements and their interdependencies with each other in a bounded scenario of investigation. Abstractions and visual metaphors combine human intuition with metrics available from the methodology to improve the understanding of risk based on the level of compliance with regulatory requirements. In addition, a problem domain ontology that classifies and categorizes regulatory requirements from multiple dimensions of a socio-technical environment promotes a common understanding among stakeholders during certification and accreditation activities. A preliminary empirical investigation of our theoretical propositions has been conducted in the domain of The United States Department of Defense Information Technology Security Certification and Accreditation Process (DITSCAP). This work contributes a novel approach to understand the level of compliance with regulatory requirements in terms of the potential for risk during system operation. This work has been partially supported by the grants from Space and Naval Warfare Systems Center (SPAWAR) US Department of Navy, Department of Defense, and National Science Foundation.

- 이석원 교수 약력:

Dr. Seok-Won Lee is currently the Head of Graduate School of Software and Associate Professor of Information & Computer Engineering at Ajou University since 2012. He has been an Assistant Professor of Information Security at the University of Texas at San Antonio, a Visiting Professor at the University of Nebraska – Lincoln and an Assistant Professor of Software Engineering and a Director of Knowledge-intensive Software Engineering (NiSE) research group at the Univ. of North Carolina at Charlotte (2003- 2010). Prior to joining to the UNC Charlotte, he was affiliated with Science Applications International Corporation (SAIC) and IBM T.J. Watson Research Center as senior research scientists. He received his M.Sc. in Computer Science from University of Pittsburgh, and Ph.D. in Information Technology from George Mason University. His areas of specialization include software engineering with specific expertise in ontological requirements engineering and domain modeling, and knowledge engineering with specific expertise in knowledge acquisition, machine learning and knowledge-based systems. He serves as chairs, organizers, editors and the program committee members for numerous journals, conferences, and workshops in software requirements engineering, secure software engineering and other related areas such as information security and assurance, critical infrastructure protection, service-oriented computing, visual analytics and self-adaptive software systems. He has published more than 100 refereed articles. He is a professional member of IEEE, ACM and AAAI.

세션 발표 사진

			임채균 (KAIST)
		김의섭 (건국대)
김원태 박사 (ETRI)

만찬 사진

시상 및 감사패 전달 사진

튜토리얼 및 기타 사진

튜토리얼 - 이석원 교수 (아주대)	기조연설 - 박수용 원장 (NIPA)
튜토리얼 - 송순용 팀장 (KT)	튜토리얼 - 신창현 팀장 (LGCNS)	기조연설 - 이상은 센터장 (NIPA SW공학센터)