• 한국태양에너지학회 논문집
• /
• 제30권4호
• /
• pp.43-48
• /
• 2010

The performance of photovoltaic systems could be affected by various factors including installing conditions of modules, and their own efficiencies of solar cells and inverters. The installing conditions of a photovoltaic system including array types, tilting angles, azimuth, locations, quantities of sunshine, optimum angles of inclination and separated distance are analyzed using the SolarPro & Minitep SW simulation program, inorder to set up the installing conditions for improving system performance. The result from the simulation of the 500kWp PV system of Kochang with optimal installing conditions compared with normal conditions shows that the capacity factor has been increased from 11.02% to 12.06%.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
• /
• pp.29-32
• /
• 2017

보안 취약점을 악용하여 소프트웨어를 무력화하는 사이버 공격이 증가함에 따라, 조기에 소프트웨어의 취약점을 발견하고 분석하는 보안 테스팅에 대한 중요성이 높아지고 있다. 보안 테스팅의 자동화된 방법 중 하나인 퍼징 기법은 소프트웨어의 입력에 타당하지 않은 무작위 값을 삽입하여 해당 소프트웨어의 예외 즉, 잠재적인 취약점을 발견할 수 있다. 본 논문은 파일 퍼징 과정에서 효율적인 파일 변이 방법을 제안하고 이를 활용한 퍼징 기법을 통해 소프트웨어의 보안성을 높이고자 한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 춘계학술대회
• /
• pp.183-184
• /
• 2018

IMO(International Maritime Organization)에서는 2019년부터 e-Navigation 전략을 이행하는 것을 목표로 하고 있다. e-Navigation 전략 이행에 따라 해양 분야에서도 소프트웨어의 사용도와 품질의 중요성이 높아질 것으로 예상된다. 중소조선연구원에서는 이에 대한 대응으로 해양 임베디드 소프트웨어 사용성 평가 시험절차를 개발중이다. 본 논문에서는 해양 임베디드 응용 소프트웨어 사용성 평가 시험절차와 산출물 사례에 대해 기술한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.475-478
• /
• 2006

임베디스 소프트웨어의 품질시험을 통해 임베디드 시스템 구매자들의 요구에 부합되는 고품질의 시스템을 구현할 수 있다. 임베디드 시스템의 경우 아직까지 국내에서 품질에 대한 시험 인증서비스를 제공하지 못하고 있는 실정이다. 이에 한국정보통신기술협회(TIA) SW시험인증센터에서 GS시험 인증서비스를 통해 임베디드 소프트웨어에 대한 품질을 높이는 작업을 수행하고 있다. 본 논문에서는 임베디드 소프트웨어 품질 향상을 위해 중소기업청에서 의뢰한 임베디드 스프트웨어에 대한 GS인증 및 성능시험 적용사례를 기술하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.353-356
• /
• 2004

일반적으로 컴포넌트 기반의 SW는 바이너리 파일로 구성되어 있다. 즉, 블랙박스 형식이다. 따라서 컴포넌트 테스팅 시에 코드기반의 화이트박스 테스트 기법을 적용하기가 어렵다. 그래서 컴포넌트 테스팅 시에는 소스코드기반이 아닌 명세기반의 테스트를 수행해야 한다. 그러나 컴포넌트 제공자는 고객에게 바이너리 파일과 일부분의 명세만을 제공한다 즉, 컴포넌트 제공자는 컴포넌트 안에서의 테스트 범주와 테스트 메트릭에 대한 정보를 제공하지 않는다. 이에 따라 고객은 컴포넌트의 테스트 적절성, 테스트 커버리지, 그리고 테스트 품질을 이해하는 것이 어렵다. 그리고 효과적인 테스팅을 위해서는 적절한 테스팅 모델이 있어야 한다. 따라서 본 논문에서는 컴포넌트 테스팅을 효율적으로 하기 위하여 컴포넌트 테스팅 모델을 제안하였고, 테스팅을 위한 명세 요소를 식별하였다.

• EDISON SW 활용 경진대회 논문집
• /
• 제5회(2016년)
• /
• pp.86-89
• /
• 2016

The Zika virus, which is a member of the flavivirus genus, poses a serious threat to humanity because there is no vaccine or cure. Zika is suspected to cause microcephaly, and it is rapidly spreading throughout parts of Brazil. Surprisingly, there are no known protein structures for the virus which are essential for drug and vaccine development. This paper investigates the Zika virus's nonstructural proteins with template-based modeling by using GalaxyTBM/Refine/SC. GalaxyDock was used to examine the effectiveness of various known serine protease inhibitors in inhibiting the Zika viral protease. In testing five inhibitors, Kunitz soybean trypsin inhibitor showed the strongest binding affinity (-10.082 kcal/mol). This paper provides a rudimentary foundation for further drug discovery research regarding the Zika virus.

• 정보교육학회논문지
• /
• 제20권3호
• /
• pp.255-262
• /
• 2016

본 연구는 Computational Thinking 역량을 효과적으로 평가하기 위한 서술형 수행평가 방법에 관한 내용이다. 제안된 서술형 수행평가도구는 MIT에서 제시한 창의컴퓨팅 평가 문항들을 델파이 기법을 통해 조사한 후 문항을 선별 및 수정하였다. 이 서술형 수행평가 도구는 실험하기 및 반복하기, 테스팅과 디버깅, 재사용과 재구성, 추상화와 모듈화의 4가지 영역으로 구성되어 총 4문항으로 개발하여 예비교사를 대상으로 수업에 적용하였다. 적용결과 평가 도구는 $Cronbach-{\alpha}$값이 0.6 이상으로 신뢰도가 높았으며 전문가 대상의 델파이 검사 결과 타당도도 높게 나타나 제안된 평가 도구가 학생들의 CT 역량을 효과적으로 측정하는 유용한 평가 도구로 확인되었다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.148-153
• /
• 2015

국내의 소프트웨어 산업계는 고품질 소프트웨어를 위해, 개발/테스트 프로세스, 성숙도 측정등에 초점을 두고 있다. 그러나 실제 중소기업의 산업현장에서는 코드중심으로 개발되고 있다. 그리고 대부분의 기존 레거시 시스템은 설계의 부재 그리고 코드 패칭으로 코드 내부의 복잡도가 매우 높은 현실이다. 이를 해결하고자, 코드의 가시화(visualization)를 적용하였다. 이 가시화는 모듈간의 복잡도를 줄이려는 목적을 가지고 있다. 이를 위해 기존 공개 도구로 툴 체인 구성 방법을 제안한다. 제안한 방법은 NIPA의 SW Visualization 기법을 적용 확장하였다. 또한 코드 가시화내의 품질지표 중에 결합도 요소 중의 나쁜 지표에 대한 리팩토링 시도이다. 결과적으로 레가시 코드에 대해 역 공학 기법(from programming via model to architecture)적용과 이를 통한 소프트웨어 고품질화이다.