• Title/Summary/Keyword: Source Code Analysis

Search Result 440, Processing Time 0.024 seconds

Refactoring Effectiveness Analysis for Software Quality Enhancement : using AIS Mediation Server Program (소프트웨어 품질 향상을 위한 리팩토링 효과 분석 : AIS 중개 서버 프로그램을 대상으로)

  • Lee, Seo-Jeong;Lee, Jae-Wook;Hwang, Hoon-Kyu;Lee, Jang-Se
    • Journal of Navigation and Port Research
    • /
    • v.36 no.5
    • /
    • pp.363-370
    • /
    • 2012
  • Recently, International Maritime Organization has been developing e-navigation implementation strategy plan, which is focused on various services for vessel safety navigation. Then, different kinds of software will be developed in maritime area and with this, the quality issues are to be expected becoming more important. In this paper, we adopt software refactoring techniques to reduce the complexity of structure on source code level. It makes software program more effective to understand and modify, without any change of outward behavior. The existing AIS broadcast server program is used as an example for our trial, and calculating coupling and cohesion metric are introduced to analyze the refactoring effect, taking account of the maintainability of IEC/ISO9126 software quality standards.

Technology Clustering Using Textual Information of Reference Titles in Scientific Paper (과학기술 논문의 참고문헌 텍스트 정보를 활용한 기술의 군집화)

  • Park, Inchae;Kim, Songhee;Yoon, Byungun
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.43 no.2
    • /
    • pp.25-32
    • /
    • 2020
  • Data on patent and scientific paper is considered as a useful information source for analyzing technological information and has been widely utilized. Technology big data is analyzed in various ways to identify the latest technological trends and predict future promising technologies. Clustering is one of the ways to discover new features by creating groups from technology big data. Patent includes refined bibliographic information such as patent classification code whereas scientific paper does not have appropriate bibliographic information for clustering. This research proposes a new approach for clustering data of scientific paper by utilizing reference titles in each scientific paper. In this approach, the reference titles are considered as textual information because each reference consists of the title of the paper that represents the core content of the paper. We collected the scientific paper data, extracted the title of the reference, and conducted clustering by measuring the text-based similarity. The results from the proposed approach are compared with the results using existing methodologies that one is the approach utilizing textual information from titles and abstracts and the other one is a citation-based approach. The suggested approach in this paper shows statistically significant difference compared to the existing approaches and it shows better clustering performance. The proposed approach will be considered as a useful method for clustering scientific papers.

A study on the polarization transmission characteristics of liquid crystal display devices by means of Berreman's $4{\times}4$ matrix method (베레만의 $4{\times}4$행렬방식을 이용한 액정표시소자의 편광투과특성 분석)

  • Yang, Byeong-Kwan;Kim, Gyu-Seok;Rho, Bong-Gyu;Kim, Jin-Seung;Par, Hee-Gap;Park, Chan;Lee, Hyong-Jong;Kim, Jae-Ki
    • Korean Journal of Optics and Photonics
    • /
    • v.8 no.3
    • /
    • pp.223-229
    • /
    • 1997
  • A source code is developed on the basis of Berreman's 4$\times$4 matrix formalism for the analysis of polarization transmission characteristics of twisted nematic liquid crystal display. By using the program, the polarization transmission characteristics of liquid crystal cells and polarizers are analyzed. For a normally white twisted nematic liquid crystal cell, we obtained a family of iso-contrast contours which helps to understand the viewing angle characteristics of the liquid crystal display device by using the cell. The program also help us to understand the variation of the degree of polarization as well as the deviation of the state of polarization of the light transmitted through the polarizer commonly used in the LCD according to the change in incidence angle. This result suggests the contrast of the images appearing on the LCD can be limited by the characteristics of the polarizer in addition to the liquid crystal cell.

  • PDF

A Primary Study on the Potential of Floodplain Filtration in Korea (우리나라에서 홍수터여과의 가능성에 대한 기초조사)

  • Choi, Myung-Ho;Kim, Kyeong-Soo;Kim, Seung-Hyun
    • Journal of Korean Society of Environmental Engineers
    • /
    • v.31 no.1
    • /
    • pp.70-78
    • /
    • 2009
  • Floodplain areas of major South Korean rivers were determined by analyzing topographical maps and hydraulic properties of floodplain soil were measured using disc tension infiltrometer. To assess the possibility of treating secondary effluents of municipal wastewater with floodplain soil, a computer code for the analysis of unsaturated flow in soil was employed along with searches conducted in the literature. Based on the data generated, an estimate of total floodplain filtration capacity in Korea was obtained. The results of our study reveal that Korean floodplains have surface soil that is adequate for treating water. Moreover, the distributions of floodplains are substantial over the entire reaches of the rivers, indicating that the conditions are favorable for floodplain filtration as additional treatment of secondary effluent. The capacity of floodplain filtration in Korea is circa 182,000,000 $m^3$/day and most of the rivers are estimated to have enough capacity of floodplain filtration to meet all the secondary effluent, indicating that this technology may be expected to make further improvements on river water quality. Furthermore, this method may also be applied to better the source-water quality for drinking water.

Effect of pH, Redox Potential (Eh) and Carbonate Concentration on Actinides Solubility in a Deep Groundwater of Korea

  • Keum Dong-Kwon;Lee Han-Soo;Lee Chang-Woo
    • Nuclear Engineering and Technology
    • /
    • v.36 no.2
    • /
    • pp.196-202
    • /
    • 2004
  • KAERI (Korea Atomic Energy Research Institute) is at present preparing a preliminary performance assessment to set up the HLW disposal concept of Korea. The solubility of the radionuclides contained in HLW is necessary as a source term in order to predict their potential migration in both the near and far fields. The solubility of actinides (Th, Am, U, Np and Pu) for a reference deep groundwater of Korea has been calculated using a geochemical code with thermodynamic data selected by a peer review of existing thermodynamic databases and literature. The solubilities from the experimental study and/or field observations from natural analogue studies are compared. The sensitivity of solubility to the variability of three main parameters of groundwater (pH, Eh, and carbonate concentration) is also investigated. The results of the sensitivity analysis show that the solubility of actinides strongly depends on the parameters considered. Within the range of parameter values studied (pH=7 to 10, Eh=-0.4 to -0.1V, and carbonate concentration=1.E-5 to 1.E-2 mol/L), the solubility of each actinide exists between 1.4E-10 and 1.6E-6 mol/L for Am, 4.9E-9 and 2.8E-6 mol/L for Th, 3.2E-9 and 5.7E-4 mol/L for U, 1.1E-9 and 1.0E-7 mol/L for Np, and 4.0E-11 and 2.8E-6 mol/L for Pu, respectively.

A Software Complexity Measurement Technique for Object-Oriented Reverse Engineering (객체지향 역공학을 위한 소프트웨어 복잡도 측정 기법)

  • Kim Jongwan;Hwang Chong-Sun
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.9
    • /
    • pp.847-852
    • /
    • 2005
  • Over the last decade, numerous complexity measurement techniques for Object-Oriented (OO) software system have been proposed for managing the effects of OO codes. These techniques may be based on source code analysis such as WMC (Weighted Methods per Class) and LCOM (Lack of Cohesion in Methods). The techniques are limited to count the number of functions (C++). However. we suggested a new weighted method that checks the number of parameters, the return value and its data type. Then we addressed an effective complexity measurement technique based on the weight of class interfaces to provide guidelines for measuring the class complexity of OO codes in reverse engineering. The results of this research show that the proposed complexity measurement technique ECC(Enhanced Class Complexity) is consistent and accurate in C++ environment.

Analysis on the creep response of bolted rock using bolted burgers model

  • Zhao, Tong-Bin;Zhang, Yu-Bao;Zhang, Qian-Qing;Tan, Yun-Liang
    • Geomechanics and Engineering
    • /
    • v.14 no.2
    • /
    • pp.141-149
    • /
    • 2018
  • In this paper, the creep behavior of bolted rock was analyzed by using the unconfined creep tests and the numerical results. Based on the test results, the Bolted Burgers creep model (B-B model) was proposed to clarify the creep mechanism of rock mass due to rock bolts. As to the simulation of the creep behaviour of bolted rock, a new user-defined incremental iterative format of the B-B model was established and the open-source $FLAC^{3D}$ code was written by using the object-oriented language (C++). To check the reliability of the present B-B creep constitutive model program, a numerical model of a tunnel with buried depth of 1000 m was established to analyze the creep response of the tunnel with the B-B model support, the non-support and the bolt element support. The simulation results show that the present B-B model is consistent with the calculated results of the inherent bolt element in $FLAC^{3D}$, and the convergence deformation can be more effectively controlled when the proposed B-B model is used in the $FLAC^{3D}$ software. The big advantage of the present B-B creep model secondarily developed in the $FLAC^{3D}$ software is the high computational efficiency.

Radiological analysis of transport and storage container for very low-level liquid radioactive waste

  • Shin, Seung Hun;Choi, Woo Nyun;Yoon, Seungbin;Lee, Un Jang;Park, Hye Min;Park, Seong Hee;Kim, Youn Jun;Kim, Hee Reyoung
    • Nuclear Engineering and Technology
    • /
    • v.53 no.12
    • /
    • pp.4137-4141
    • /
    • 2021
  • As NPPs continue to operate, liquid waste continues to be generated, and containers are needed to store and transport them at low cost and high capacity. To transport and store liquid phase very low-level radioactive waste (VLLW), a container is designed by considering related regulations. The design was constructed based on the existing container design, which easily transports and stores liquid waste. The radiation shielding calculation was performed according to the composition change of barium sulfate (BaSO4) using the Monte Carlo N-Particle (MCNP) code. High-density polyethylene (HDPE) without mixing the additional BaSO4, represented the maximum dose of 1.03 mSv/hr (<2 mSv/hr) and 0.048 mSv/hr (<0.1 mSv/hr) at the surface of the inner container and at 2 m away from the surface, respectively, for a 10 Bq/g of 60Co source. It was confirmed that the dose from the inner container with the VLLW content satisfied the domestic dose standard both on the surface of the container and 2 m from the surface. Although it satisfies the dose standard without adding BaSO4, a shielding material, the inner container was designed with BaSO4 added to increase radiation safety.

Automated Applying Greybox Fuzzing to C/C++ Library Using Unit Test (유닛테스트를 활용한 c/c++ 라이브러리 그레이박스 퍼징 적용 자동화)

  • Jang, Joon Un;Kim, Huy Kang
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.29 no.4
    • /
    • pp.807-819
    • /
    • 2019
  • Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

A Study on the Development Method of Android App GUI Test Automation Tool (안드로이드 앱 GUI 테스트 자동화 툴 개발 방법에 관한 연구)

  • Park, Se-jun;Kim, Kyu-jung
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.8
    • /
    • pp.403-412
    • /
    • 2021
  • As the number of mobile apps increases exponentially, automation of tests performed in the app development process is becoming more important. Until the app is released, iterative verification is performed through various types of tests, and this study was conducted focusing on the GUI test among various types of tests. This study is meaningful in that it can contribute to the stable app distribution of the developer by suggesting the development direction of the GUI test. To develop Android's GUI test tool, I collected basic data before presenting the development method by researching Android's UI controls and Material design guideline. After that, for the existing GUI test automation tool, two tools based on screen capture test and four tools based on source code analysis test were studied. Through this, it was found that existing GUI test tools don't consider visual design, usability, and component arrangement. In order to supplement the shortcomings of existing tools, a new GUI test automation tool development method was presented based on the basic data previously studied.