• Journal of Software Assessment and Valuation
• /
• v.16 no.2
• /
• pp.45-52
• /
• 2020

Traditional methods of detecting security vulnerabilities in source-code require a lot of time and effort. If there is good data, the issue could be solved by using the data with machine learning. Thus, this paper proposes a source-code vulnerability detection method based on machine learning. Our method employs the code2vec model that has been used to propose the names of methods, and uses as a data set, Juliet Test Suite that is a collection of common security vulnerabilities. The evaluation shows that our method has high precision of 97.3% and recall rates of 98.6%. And the result of detecting vulnerabilities in open source project shows hopeful potential. In addition, it is expected that further progress can be made through studies covering with vulnerabilities and languages not addressed here.

• Journal of Software Assessment and Valuation
• /
• v.16 no.1
• /
• pp.37-44
• /
• 2020

The similarity of the software is extracted by the verification of comparing with the source code. The source code is the intellectual copyright of the developer written in the programming language. And the source code written in text format contains the contents of the developer's expertise and ideas. The verification for judging the illegal use of software copyright is performed by comparing the structure and contents of files with the source code of the original and the illegal copy. However, there is hard to do the one-to-one comparison in practice. Cause the suspected source code do not submitted Intentionally or unconsciously. It is now increasing practically. In this case, the comparative evaluation with execution code should be performed, and indirect methods such as reverse assembling method, reverse engineering technique, and sequence analysis of function execution are applied. In this paper, we analyzed the effectiveness of indirect comparison results by practical evaluation . It also proposes a method to utilize to the system and executable code files as a verification results.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.420-420
• /
• 2023

하천의 유량 자료는 하천 관리에 필수적인 요소로, 지속적인 유량측정을 위해 국가 유량 측정망을 구성하여 주요 지점을 대상으로 유량 측정을 수행하고 있다. 측정된 유량자료는 일반적으로 수위-유량 관계곡선식을 개발하여 제공되고 있으며, 홍수파와 배수 영향 등으로 인해 수위-유량 관계곡선식에서 발생하는 산포로 인한 신뢰도에 문제가 우려되는 경우에는 실시간의 정확한 유량자료를 제공하기 위해 H-ADCP를 설치하여 지표유속법 기반의 실시간 유량 자료 생산하여 제공하고 있다. 그러나 H-ADCP를 이용한 유량 측정 방법은 장비의 한계로 인해 상대적으로 규모가 작고 수심이 얕은 하천에 적용하기 어려운 문제가 있다. 따라서, 최근에는 자동유량관측소 지점 확대를 위해 비접촉식 유속계를 활용한 자동유량관측소 운영이 점차 고려되고 있다. 이에 따라 비접촉식유속계를 이용한 유량 측정 결과의 검증 및 유지 관리를 위한 소프트웨어가 필요하다. 이에 본 연구에서는 비접촉식유속계 중 전자파를 이용하여 수표면의 표면유속을 측정할 수 있는 장비인 RQ-30의 측정결과를 분석하기 위해 Microsoft Visual Studio(C#) 사용하여 측정결과의 검토 및 자료 관리를 위한 후처리 소프트웨어를 개발하였다. 개발한 소프트웨어는 측정 원시자료를 읽고, 도시하여 측정 결과를 확인할 수 있으며, 머신러닝 기반의 알고리즘을 적용하여 수위 및 유속 시계열 자료에서 발생하는 이상치를 탐색할 수 있도록 개발하였다. 그리고 탐지된 이상치에 대한 보정을 위해 선형보간, LOESS, SuperSmoother를 사용하여 이상치를 보정하여 결과를 도출할 수 있도록 개발하였다. 추후 본 연구를 통해 개발된 프로그램을 활용하여 측정 자료의 유지 관리 효율성을 증대시킬 수 있을 것으로 기대되며, 지속적인 프로그램의 개선을 통해서 실무적으로 활용이 가능할 것으로 판단된다.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Design Convergence Study
• /
• v.15 no.1
• /
• pp.37-48
• /
• 2016

Nowadays, CAD has became an essential tool for designers due to its easy edition and manipulation as well as the capability of communication between designers. Differences between design tool interfaces can cause gaps when visualize designer's ideas. This study is about the differences between various levels of metaphor interface language which is based on the theory of the Hutchins that high-level language interface can reduce the steps of process to visualize the idea of the designers than low-level language interface. This research is based on the assumption that high-level language interface will less interrupt the flow of the design thinking and make more various visual outcomes than the low-level language interface. We verified the hypothesis by analyzing differences of design thinking flow between user groups who used two different animation software. Hopefully, the verification of the hypothesis in this study can be able to guide the use pattern of the CAD tools.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.118-118
• /
• 2022

지속적인 학문의 발전을 위해서는 선행연구에 대한 재현성이 무엇보다도 중요하다고 할 수 있다. 하지만 컴퓨터와 소프트웨어의 급속한 발달로 인한 컴퓨터 환경의 다양화, 분석 소프트웨어의 지속적 최신화로 인해서 최근 구축된 모델도 짧게는 몇 달, 길게는 1~2년후면 다양한 에러로 인하여 재현성이 불가능해지고 있다. 이러한 재현성의 극복을 위해서 온라인을 통한 데이터와 소스코드의 공유의 필요성이 제시되고 있으나, 실제로는 개인마다 컴퓨터 환경, 버전, 소프트웨어 설치에 필요한 라이브러리의 버전 또는 디렉토리 등이 달라 단순히 온라인을 통한 데이터와 소스코드의 공유만으로 재현성을 개선하기는 힘든 것이 현실이다. 따라서 이러한 컴퓨터 모델링 환경의 공유는 과거의 형태와 같이 데이터, 소스코드와 매뉴얼의 공유만으로 불가능하다고 할 수 있다. 따라서 본 연구에서는 수자원 모델링의 재현성 개선을 위해 1) 온라인 저장소, 2) 클라우드기반 JupyterHub 모델링 환경과 3) 모델 APIs 3개의 핵심 구성요소를 제시하고, 최근 미국에서 개발된SUMMA(Structure for Unifying Multiple Modeling Alternative) 수자원 모델에 적용하여 재현성 달성을 위한 3개의 핵심 구성요소의 필요성과 용이성을 검증하였다. 첫 번째, 데이터와 모델의 온라인 공유는 FAIR(Findable, Accessible, Interoperable, Reusable) 원칙으로 개발된 수자원분야의 대표적인 온라인 저장소인 HydroShare를 활용하여 모델입력자료를 메타데이터와 함께 공유하였다. 두 번째, HydroShare에서 Web App의 형태로 제공되는 클라우드기반 JupyterHub환경인 CUAHSI JupyterHub(CJH)와 일루노이대학에서 제공하는 CyberGIS-Jupyter for water JupyterHub(CJW)환경에 수자원모델링 환경을 컨테이너(Docker) 환경을 통해 구축·공유하였다. 마지막으로, 클라우드에서 수자원모델의 효율적 이용을 위해 Python기반의SUMMA모델 API인 pySUMMA를 개발·공유하였다. 이와같이 구축된 3개의 핵심 구성요소를 이용하여 2015년 Water Resources Research에 게재된 SUMMA 논문의 9개 Test Cases 중에서 5개를 누구나 쉽게 재현할 수 있음을 증명하였다. 재현성의 중요성에 대한 인식의 증가로 Open과 Transparent Hydrology에 대한 요구가 증대되고 있으며, 이를 위해서 클라우드 기반의 모델링 환경구축 및 제공이 확대되고 있다. 본 연구에서 제시한 HydroShare와 같은 온라인 저장소, CJH와 CJW와 같은 클라우드기반 모델링환경, 모델의 효율적 이용을 위한 모델 APIs는 급속도로 발달하고 있는 컴퓨터 및 소프트웨어 환경에서 핵심구성요소이며, 연구의 재현성 개선을 통해 수자원공학 발전에 기여할 것으로 기대된다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.5
• /
• pp.867-876
• /
• 2023

In this study, the attributes of the NHPP software development cost model applying the Gamma family distribution (Erlang, Log-Logistic, Rayleigh) were newly analyzed, and after comparing with the Goel-Okumoto basic model to verify the properties of the model, the optimal model was also presented based on this. To analyze software reliability, failure time data that occurred randomly during system operation was used, and the calculation of the parameters was solved using the maximum likelihood estimation. As a result of comprehensive evaluation through various attribute analysis (mean value function, development cost, optimal release time), it was confirmed that the Rayleigh model had the best performance. Through this study, the attributes of the software development cost model applying the Gamma family distribution, which has no previous research case, were newly identified. Also, basic design data could also be presented so that developers can efficiently utilize this research data at an early stage.

• Proceedings of the KIPE Conference
• /
• 2016.07a
• /
• pp.127-128
• /
• 2016

본 논문에서는 모듈형 멀티레벨 컨버터(Modular Multi-level Converter)의 전고조파 왜곡률(Total Harmonic Distortion)을 개선하기 위한 새로운 모듈레이션 기법에 대해서 기술하고 있다. 제안하는 모듈레이션 기법의 타당성을 검증하기 위해 PSCAD/EMTDC 소프트웨어를 이용하여 시뮬레이션을 수행하였으며, 한 암당 12개의 서브모듈로 구성된 모듈형 멀티레벨컨버터 모델을 개발하였다. 이를 통하여 제안하고자하는 옵셋 전압 방식의 모듈레이션 기법을 적용하고 타당성을 분석하였다. 또한 시뮬레이션을 통해 분석한 내용을 실험적으로 검증하기 위해 10kVA 용량의 하드웨어 축소모형을 제작하고 실험을 실시하였다.

• Proceedings of the KIPE Conference
• /
• 2011.11a
• /
• pp.185-186
• /
• 2011

본 논문에서는 최근 직류송전용 컨버터로 많은 관심이 집중되고 있는 모듈형 멀티레벨 컨버터(Modular Multi-level Converter)에서 출력파형의 고조파를 저감하는 모듈레이션 방법과 각 모듈의 직류전압 불평형을 해소하는 알고리즘에 대해 기술하고 있다. 먼저 본 논문에서 임의의 개수로 반브리지 모듈이 주어졌을 때 고조파 레벨이 최소화되도록 다펄스 형태로 출력파형을 형성하는 방식을 제안하고 그 타당성을 PSCAD 소프트웨어를 이용한 시뮬레이션으로 검증하였다. 이 방식은 다펄스 출력파형의 각 계단을 형성하는 모듈의 턴온과 턴오프 시점을 보편화된 수식으로 정하는 방식으로 알고리즘 구현이 매우 용이하다. 또한 각 모듈의 직류전압 불평형을 바로잡는 알고리즘을 제안하고 그 타당성도 시뮬레이션으로 검증하였는데, 이 방식은 각 모듈이 교류 매 반주기마다 생성하는 펄스의 크기를 순차적으로 형성하는 것으로 알고리즘의 구현이 용이하다. 본 논문에서 제안하는 알고리즘은 향후 국내에서 모듈형 멀티레벨 컨버터를 개발할 때 유용하게 활용될 것으로 보인다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1108-1113
• /
• 2005

한국정부가 제조물책임법을 2002년 7월에 도입한 이래, 많은 제조업체가 설계해석 툴의 도입을 검토하고 있다. 또한, 원청업체의 요청에 의해 설계해석 툴을 도입하기도 한다. 일반적으로 설계 해석 툴들은 엄청나게 복잡하고 방대한 지식을 포함하고 있기 때문에, 이 툴을 사용하는 해석 전문가 역시 전문가는 설계 및 분야에 관한 방대한 지식을 터득해야 한다. 따라서, 중소기업에 이런 툴을 도입하기 위해서는, 도입비용 뿐 아니라, 운용 인력 확보에도 상당한 애로를 겪고 있다. 본 연구에서는, 신축관을 설계하는 업체를 대상으로 하여, 신축관의 특성을 이해하기만 하면 해석이 가능한 시스템을 구축하여, 해석 툴의 사용자 범위를 확대하고자 한다. 이 목표를 달성하기 위하여, MS-Excel, MDT, ANSYS를 통합하였으며, 이 연구결과로, 특별한 교육을 받지 않은 설계자도 이 통합 시스템을 운용할 수 있고, 설계 및 검증 시간을 획기적으로 단축할 수 있음을 확인하였다.