• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1235-1238
• /
• 2012

오늘날 소프트웨어가 가지는 규모와 복잡성은 날로 심화되고 있으며, 소프트웨어 개발 시 결함을 찾아 내기 위한 테스트에 많은 시간이 소모되고 있는 실정이다. 이러한 문제점을 해결하기 위해 중요한 기술 중 하나가 결함 위치 추적(Fault Localization)이다. 이 기법을 이용하여 결함을 추적하기 위해서는 다량의 테스트 케이스를 필요로 하며, 추가로 테스트 케이스를 작성하는 것은 또 다른 개발 부하이다. 본 논문에서는 이를 해결하기 위해서 분기별 입력 조합 기반 테스트 케이스 생성방법과 시드 결과 기반 테스트 케이스 생성방법을 제안하였다. 개발자는 본 생성방법을 통해 테스트 케이스 생성에 대한 비용 절감을 기대 할 수 있다. 제안하는 내용의 효용성을 검증하기 위해 실제 예제 코드에 적용하여 평가하였다. 두 가지 방법 모두 무작위 생성한 테스트 케이스에 비해 개발자가 직접 생성하는 것과 유사한 테스트 케이스를 생성하고, 제안 방법으로 생성한 테스트 케이스의 신뢰성을 확인하였다.

• 정보관리학회지
• /
• 제18권4호
• /
• pp.37-55
• /
• 2001

본 연구에서는 특정 주제분야의 텍스트를 대표할 수 있는 단어술어를 추출하고 기본문형을 형성 한 후 각 단서술어의 기본문형을 실례화하여 연결함으로써 요약문을 작성하는 자동요약시스템의 모형을 설계하고 구현하였다. 시스템은 학습과정과 요약과정을 구분되며, 학습과정에서는 술어와 격조사를 출현빈도를 이용하여 주제분야 텍스트집단을 대표하는 단어술어와 필수격 조사를 추출한 뒤 단어술어가 이루는 문장의 기본문형을 형성한다. 요약과정에서 실례화 규직을 요약 대상 문장의 구문 분석 결과에 적용하여 기본문형의 격조사와 결합될 논항을 찾아 단문을 생성하고 연결하여 요약문을 완성한다. ‘화재’및‘강도’와 관련된 신문기사를 대상으로 실험을 수행하였으며, 작성된 요약문은 단어술어가 포함된 주요 문장에서 추출한 필수 정보항목과 술어를 중심으로 생성된 문장들로서 문장간의 연결이 자연스러울 뿐 아니라 텍스트의 전체적인 의미를 표현할 수 있었다. 또한, 통계적 기법을 이용한 학습을 통해 주제영역의 확장이 가능하였다.

• 지능정보연구
• /
• 제17권4호
• /
• pp.37-58
• /
• 2011

데이터베이스를 사용하는 프로그램을 테스트하는 것은 일반 소프트웨어의 경우보다 훨씬 더 복잡하고 어렵다. 테스트 데이터에 더하여 데이터베이스 상태가 테스트의 절차와 결과에 결정적인 영향을 미치는 것이 주요 원인이다. 테스트에 적합한 데이터베이스 상태를 만들어주려면 많은 시간과 노력이 필요한 것은 물론이거니와 IT와 업무에 대한 상당한 지식이 있어야 한다. 이러한 어려움에도 불구하고 데이터베이스 응용 프로그램의 테스트에 대한 연구와 지원은 매우 부족하다. 이 논문은 테스트에 알맞은 데이터베이스 상태의 생성과 유지에 관한 연구 결과를 보고한다. 연구의 핵심은 프로그램에서 사용하는 SQL을 로그파일에서 추출하여 분석한 결과와 데이터베이스 스키마와 테이블, 로그, 전문 등의 다양한 원천(source)에서 수집한 정보를 결합하여 프로그램의 테스트에 적합한 사전, 사후 상태를 자동으로 만들어주는 테스트 지원도구의 개발이다. 연구에서 제시한 절차와 도구는 단위 테스트와 통합 테스트의 지원과 더불어 회귀 테스트의 수행에 따르는 어려움을 극복하는데 큰 도움이 될 것이다. 실무적으로는 연구의 결과가 데이터베이스 상태의 생성과 유지에 소요되는 시간과 노력을 줄여 개발인력의 생산성을 제고하고, 다양한 케이스의 테스트와 회귀 테스트를 지원하여 대상 프로그램의 품질 향상에 기여할 것으로 기대한다. 학문적으로는 프로그램에서 사용하는 SQL의 패턴을 분석할 수 있는 상태 전이 도형과, 패턴의 표현 및 추론이 가능한 문법을 정의하여 전사적 응용 프로그램 테스트에 대한 폭 넓은 이해와 새로운 접근 방식을 가능하게 하였다.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권2호
• /
• pp.227-232
• /
• 2016

To test the effectiveness of using an energy storage system for frequency regulation, the Energy New Business Laboratory at KEPCO Research Institute installed a 4 MW energy storage system (ESS) demonstration facility at the Jocheon Substation on Jeju Island. And after the successful completion of demonstration operations, a total of 52 MW ESS for frequency regulation was installed in Seo-Anseong (28 MW, governor-free control) and in Shin-Yongin (24 MW, automatic generation control). The control system used in these two sites was based on the control system developed for the 4 MW ESS demonstration facility. KEPCO recently finished the construction of 184 MW ESS for frequency regulation in 8 locations, (e.g. Shin-Gimjae substation, Shin-Gaeryong substation, etc.) and they are currently being tested for automatic operation. KEPCO plans to construct additional ESS facilities (up to a total of about 500 MW for frequency regulation by 2017), thus, various operational tests would first have to be conducted. The high-speed characteristic of ESS can negatively impact the power system in case the 500 MW ESS is not properly operated. At this stage we need to verify how effectively the 500 MW ESS can regulate frequency. In this paper, the effect of using ESS for frequency regulation on the power system of Korea was studied. Simulations were conducted to determine the effect of using a 524 MW ESS for frequency regulation. Models of the power grid and the ESS were developed to verify the performance of the operation system and its control system. When a high capacity power plant is tripped, a 24 MW ESS supplies power automatically and 4 units of 125MW ESS supply power manually. This study only focuses on transient state analysis. It was verified that 500 MW ESS can regulate system frequency faster and more effectively than conventional power plants. Also, it was verified that time-delayed high speed operations of multiple ESS facilities do not negatively impact power system operations. It is recommended that further testing be conducted for a fleet of multiple ESSs with different capacities distributed over multiple substations (e.g. 16, 24, 28, and 48 MW ESS distributed across 20 substations) because each ESS measures frequency individually. The operation of one ESS facility will differ from the other ESSs within the fleet, and may negatively impact the performance of the others. The following are also recommended: (a) studies wherein all ESSs should be operated in automatic mode; (b) studies on the improvement of individual ESS control; and (c) studies on the reapportionment of all ESS energies within the fleet.