• 대한기계학회논문집
• /
• 제16권3호
• /
• pp.555-568
• /
• 1992

본 연구에서는 상기 연구의 연장으로서 내부 Rayleigh수가 1*$10^{4}$~1.5 *$10^{5}$ 범위 일때 Prandtl수가 6.05인 내부발열유체에 의해 자연대류가 일어나는 밀폐공간에서 종회비가 1/2, 1/3, 및 1/4로 변화할 때 유동, 온도분포 및 열전달특성 을 수치적인 방법 및 실험적인 방법으로 연구하였다.

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

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

• 한국도시철도학회논문집
• /
• 제6권4호
• /
• pp.243-248
• /
• 2018

전동차 하부전장품의 이상 고온은 열차 사고와 직결되며, 이에 대한 모니터링은 전동차의 안전운행을 위해 매우 중요하다. KTX 경우 차축의 이상 유무를 감지하고, 도시철도에서는 하부전장품의 온도를 스캔하는 이상검지장치가 선로변에 설치되어 이상발열이 발생할 경우 이를 검지하여 관제센터에 자동으로 알려주는 시스템이 설치되어 운영되고 있다. 시스템 구성은 비접촉식인 적외선 방사온도계가 필수적으로 사용되고 있다. 이 시스템에 사용되는 적외선 방사온도계는 빠른 응답성과 정확도가 생명이다. 본 논문에서는 온도계의 고속 응답성 검증방법에 대한 연구를 수행하였고, 실험 설비 제작을 통해서 데이터를 수집하여 응답성 검증 방법을 연구하였다.

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

최근 퍼징(Fuzzing, Fuzz Testing)이 소프트웨어의 취약점을 찾아내기 위한 방법으로 활발하게 사용되고 있다. 퍼징은 반복적으로 비정상적인 데이터를 무작위로 생성하여 대상 소프트웨어에 입력 값으로 전달해 오작동을 유도하고, 오작동의 원인을 분석하여 소프트웨어의 취약성을 찾아낸다. 퍼징에서 사용되는 입력 값인 테스트 케이스에 따라서 취약점 탐지율 및 탐지 시간이 결정된다. 따라서 어떻게, 어떤 테스트 케이스를 생성하여 퍼징을 실행 할 것인지가 퍼징 연구의 핵심이다. 퍼징을 위해 생성하는 테스트 케이스는 숫자가 굉장히 많기 때문에 최근에 테스트 케이스의 크기를 축약하여 퍼징 결과 분석을 위해 소요되는 시간을 줄이는 연구가 발하게 진행되고 있다. 본 논문에서는 테스트 케이스 축약에 이용되는 다양한 알고리즘들에 대해 소개하고, 그 각각을 비교 분석하여 향후 퍼징의 테스트 케이스 축약에 관한 연구에 기여하고자 한다.

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

오늘날 소프트웨어의 복잡화에 따라 그 테스트 방법 또한 다양화 되고 있다. 입력의 따른 결과 값을 비교하여 대상의 내부 구조에 대한 깊은 이해 없이 가능한 블랙박스 테스팅은 오늘날의 복잡한 소프트웨어의 테스팅에 있어 매우 적합한 방법이다. 하지만 이러한 테스트를 위한 테스트 케이스 생성을 위해서는 요구 명세와 더불어 이에 대한 깊은 이해를 필요로 한다. 이러한 문제를 해결하기 최근에는 UML과 같은 정형화된 명세 기반의 테스트 케이스 생성기법이 연구되고 있지만, 모델 기반의 개발 방법이 사용되지 않는 부분에서는 매번 이루어지는 코드 변경에 따라 모델을 다시 수정하는 번거로움이 필요하다. 이에 본 논문에서는 함수 레벨의 블랙박스 테스트를 위하여 코드를 이용하여 테스트 케이스를 생성하는 방법을 제안한다. 이를 위해 먼저 대상 함수를 추상화한 후 함수의 각 인자들을 이용하여 각 조건문 상의 인자의 쓰임을 분석하여 각 조건의 기준 값을 추출하고 이로부터 테스트 케이스를 추출하는 방법을 제안한다. 이러한 방법은 이미 구현되어 있는 코드를 사용함으로써 새로운 요구 명세에 대한 이해의 필요성을 줄이고 더불어 코드 기반의 테스트 케이스의 자동 생성연구의 초석이 된다.

• International Journal of Computer Science & Network Security
• /
• 제21권1호
• /
• pp.125-136
• /
• 2021

The development of systems that can generate automatically instructional material is a challenging goal for the e-learning community. These systems pave the way towards large scale e-learning deployment as they produce instruction on-demand for users requesting to learn about any topic, anywhere and anytime. However, realizing such systems is possible with the availability of vast repositories of web information in different formats that can be searched, reused and integrated into information-rich environments for interactive learning. This paradigm of learning relieves instructors from the tedious authoring task, making them focusing more on the design and quality of instruction. This paper presents a mobile learning system (Mole) that supports the generation of instructional material in M-Learning (Mobile Learning) contexts, by reusing and integrating heterogeneous hypermedia web resources. Mole uses open hypermedia repositories to build a Learning Web and to generate learning objects including various hypermedia resources that are adapted to the user context. Learning is delivered through a nice graphical user interface allowing the user to navigate conveniently while building their own learning path. A test case scenario illustrating Mole is presented along with a system evaluation which shows that in 90% of the cases Mole was able to generate learning objects that are related to the user query.

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

SOA는 최근 급부상한 패러다임으로 개발단위의 상태 변화가 사라지고, 데이터 흐름 중심이 아닌 메시지 흐름 중심으로 변하는 등의 기존 전통적 개발방법들과 차이점을 가지고 있다. 이러한 변화는 상태 변화를 표기하는 FSM(Finite State Machine)을 사용할 수 없다는 문제점을 가져왔고, 따라서 새로운 테스트 케이스 생성방법이 필요하게 되었다. 본 논문에서는 이러한 문제점을 해결하기 위해 메시지 흐름을 이용하여 서비스의 테스트 케이스를 생성하는 기법을 제안한다. BPM(Business Process Modeling)을 사용하여 단순한 그래프로 만들고 기존의 단순 비순환 그래프를 만드는 기법을 적용하여 테스트 시퀀스를 만든다. 그리고 테스트 시퀀스마다 순차 다이어그램을 만들고 메시지 흐름을 추출하여 테스트 케이스를 완성한다. 이 기법을 통해 웹서비스 뿐만 아니라 일반적인 서비스에 대한 테스트 케이스 생성을 가능하게 하며, 모델링 재사용을 통해 테스트 케이스 생성에 소요되는 추가 비용을 감소 시킬 수 있다.

• Nuclear Engineering and Technology
• /
• 제55권4호
• /
• pp.1244-1249
• /
• 2023

Recently, the Kingdom of Saudi Arabia (KSA) announced the development of first-of-a-kind(FOAK) and most advanced futuristic vertical city and named as 'The LINE'. The project will have zero carbon dioxide emissions and will be powered by clean energy sources. Therefore, a study was designed to understand which clean energy sources might be a better choice. Because of its nearly carbon-free footprint, nuclear energy may be a good choice. Nowadays, the development of very small modular reactors (vSMRs) is gaining attention due to many salient features such as cost efficiency and zero carbon emissions. These reactors are one step down to actual small modular reactors (SMRs) in terms of power and size. SMRs typically have a power range of 20 MWe to 300 MWe, while vSMRs have a power range of 1-20 MWe. Therefore, a study was conducted to discuss different vSMRs in terms of design, technology types, safety features, capabilities, potential, and economics. After conducting the comparative test and analysis, the fuel cycle modeling of optimal and suitable reactor was calculated. Furthermore, the levelized unit cost of electricity for each reactor was compared to determine the most suitable vSMR, which is then compared other generation SMRs to evaluate the cost variations per MWe in terms of size and operation. The main objective of the research was to identify the most cost effective and simple vSMR that can be easily installed and deployed.

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

SOA는 최근 급부상한 기술로 발전된 웹서비스 기술과 접목되면서 특히 실시간 기업에게 각광받고 있다. 이에 따라 SOA를 위한 민첩성과 빠른 적응력이 충족되는 구체적인 기법 연구가 많은 진행 중에 있다. 이는 SOA에서의 테스트 역시 마찬가지이며, 본 논문에서는 민첩성과 적응력을 높일 수 있는 SOA를 위한 테스트케이스 생성 기법을 제안한다. SOA는 기존의 컴포넌트 기반의 개발과는 관점의 차이 때문에 절차나 기법의 접근 방법이 다를 수 있다. 따라서 본 논문에서는 SOA의 서비스를 하부 계층인 컴포넌트로 분할하여 기존의 연구를 활용한 후, 다시 서비스 단위로 합성하여 서비스의 테스트케이스를 생성한다. 그리고 제시한 기법을 인터넷 뱅킹 시스템의 계좌잔액조회 서비스에 적용함으로써 서비스 단위의 테스트케이스 생성 사례를 보인다. 제안 기법을 통해 서비스 단위의 테스트를 체계적으로 할 수 있으며, 빠른 릴리즈를 실현하여 SOA의 민첩성과 적응력을 높일 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권8호
• /
• pp.2178-2198
• /
• 2024

Graph-based document models have good capabilities to reveal inter-dependencies among unstructured text data. Natural language processing (NLP) systems that use such models as an intermediate representation have shown good performance. This paper proposes a novel fuzzy graph-based document model and to demonstrate its effectiveness by applying fuzzy logic tools for text summarization. The proposed system accepts a text document as input and identifies some of its sentence level features, namely sentence position, sentence length, numerical data, thematic word, proper noun, title feature, upper case feature, and sentence similarity. The fuzzy membership value of each feature is computed from the sentences. We also propose a novel algorithm to construct the fuzzy graph as an intermediate representation of the input document. The Recall-Oriented Understudy for Gisting Evaluation (ROUGE) metric is used to evaluate the model. The evaluation based on different quality metrics was also performed to verify the effectiveness of the model. The ANOVA test confirms the hypothesis that the proposed model improves the summarizer performance by 10% when compared with the state-of-the-art summarizers employing alternate intermediate representations for the input text.