• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.6
• /
• pp.247-252
• /
• 2015

As software has gotten bigger in magnitude and the complexity of software has been increased, the maintenance has gained in-creasing attention for its significant impact on the cost. Identifiers have an impact on more than 90 percent of the readability which accounts for a majority portion of the maintenance activities. For this reason, the existing works focus on domain-specific features based on identifiers. However, their approaches have a limitation when either a class name does not reflect the intention of its context or a class naming is incorrect. Therefore, this paper suggests a series of class name validation process by extracting properties of classes, building learning model by applying a decision tree technique of machine learning, and generating a validation report containing the list of recommendable postfixes of classes to be validated. To evaluate this, four open source projects are selected and indicators such as precision, recall, and ROC curve present the value of this work when it comes to five specific postfixes including functional information on class names.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.8
• /
• pp.631-640
• /
• 2020

Currently, aircraft simulator has drawn a great attention because it has significant advantages of economic, temporal, and spatial costs compared with pilot training with real aircraft. Among the components of the aircraft simulator, flight dynamic model plays a key role in simulating the flight of an actual aircraft. Hence, it is important to verify the fidelity of flight dynamic model with an automated tool. In this paper, we develop a software to automatically verify the fidelity of the flight mechanics model for the efficient development of the aircraft simulator. After designing the software structure and GUI based on the requirements derived from the fidelity verification process, the software is implemented with C # language in Window-based environment. Experimental results on CTSW models show that the developed software is effective in terms of function, performance and user convenience.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.10
• /
• pp.871-877
• /
• 2021

Aircraft defects are important matters directly related to the operation of the aircraft and the life of the pilot. The defects in the mission software that occur during aircraft control seriously affect the pilot's mission performance and safety. Therefore, the organization in charge of aircraft development or software defects are reinforced in the process to identify and eliminate defects in the early stages of development, and a lot of labor and time are spent, but due to the nature of the mission software, strong functional coupling with other avionics and high complexity, so there are restrictions on the identification and removal of software defects through the existing test method. This study analyzes the effect of securing mission software integrity and reducing test cost through data integrity verification by developing a tool that automates the verification of expected value of feedback data among communication data of mission computer interlocking equipment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.3
• /
• pp.310-315
• /
• 2021

In the case of weapon systems used by the military, defense standards are applied for economical and efficient procurement, management, and maintenance. Defense specifications are documents describing procedures and methods for determining whether technical requirements for products and services are consistent and apply to the production of weapon systems, quality assurance, and configuration management. Software is also subject to defense specifications, and is documented and managed in the same way as other defense specifications. Sometimes it happened to be standardized without some(or all) software. In this case, a competitive contract is impossible and it may affect the quality of weapon systems because the manufacturer arbitrarily changes the software without prior approval. So, software standardization is required, but it is very difficult to verify for firmware installed in hardware. This paper proposed a verification method for g software standardization, and we expect it will contribute to the efficient production and quality assurance of weapon systems.

• Smart Media Journal
• /
• v.13 no.8
• /
• pp.9-15
• /
• 2024

Software testing is essential in the software development process. Modified Condition / Decision Coverage (MC/DC) is a test case derivation technique that enhances the stability and reliability of software by effectively verifying complex conditions and decision structures. We propose the MCC Test Cases (MTC) generator in this study. This generator generates Multiple Condition Coverage (MCC) test cases using binary numbers to confirm the maximum coverage value of MC/DC testing. The proposed MTC generator utilizes some conditions from the Traffic Alert and Collision Avoidance System (TCAS)-II specification. It converts them into a Comma-Separated Values (CSV) file and then validates the coverage results through the VectorCAST program. So, MC/DC testing was performed using the MCC test case to confirm the maximum coverage value when performing MC/DC tests for each condition of the TCAS-II specification. This research is helpful for the verification of MC/DC test cases by confirming the maximum coverage value when performing MC/DC tests. Moreover, having more test cases increases the likelihood of discovering defects. Therefore, it can improve the efficiency of software test coverage verification, as well as the quality and stability of software.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.1
• /
• pp.7-18
• /
• 2014

Flight software operated on the on-board computers in the satellite has requirements such as real-time and high reliability. These requirements make dependency between the flight software and operating environments. Further, whenever a new system is built, such problem drives that all flight software are redeveloped. Thus, the dependency between them should be removed. And the work can be achieved by improving the portability of the flight software. In this paper, we propose a platform architecture based on the IMA architecture. The platform architecture is a hybrid one built by blending two kinds of realizations of the IMA architecture in order to maximize portability. In addition, we implement a prototype system and analyze the execution results of the system to justify the proposed architecture. The proposed architecture enables us to remove the dependency between fight software and operating environments.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.717-724
• /
• 2006

The cost estimation of software is getting more important as the portion of software is increasing in acquiring weapon systems. However, the cost estimation of embedded software in a weapon system follows the cost estimation method for general purpose softwares and uses the PRICE S model as a tool. However, any validation result of the estimated cost through an evaluated software size is not well known. Hence, we propose an approach to estimate the cost through evaluating the embedded software site in weapon systems. In order to achieve our research goal, we evaluate the software size of using the line of codes and function points which are produced by the PRICE S model. Finally, we compare the estimated cost data the actual cost data provided by the production company. As a result, we propose an approach to estimate the size and the cost of embedded software in weapon systems which are not easy to estimate objectively. We also expect that the Proposed approach is used for the cost validation and negotiation in the acquisition of weapon systems in the future.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.9
• /
• pp.275-284
• /
• 2016

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

• Annual Conference of KIPS
• /
• 2000.10b
• /
• pp.1405-1408
• /
• 2000

소프트웨어의 사용자층이 확대되면서 소프트웨어는 갈수록 많은 기능을 가진 복잡한 시스템이 되고 있다. 사용자의 요구 사항에 부응할 수 있도록 소프트웨어가 대형화되고 복잡해졌으며 이로 인해 품질의 중요성이 더욱 높아지게 되었다. 그러나 다수의 소프트웨어들이 품질관리의 미흡으로 인해 발견되지 못한 오류들을 지닌 채 상품화되고 있는 것이 현실이다. 소프트웨어의 오류를 최소화하기 위해 일반적으로 소프트웨어에 대한 시험 사례를 통해 검증하게 되며 구현 이후, 시험 단계에서 이루어지는 경우가 대부분이다. 그러나 소프트웨어의 오류는 생명주기 전단계에 걸쳐 발생될 수 있으므로 생명주기 전단계에 걸친 적절한 시험을 통해 문제점을 점검하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 소프트웨어 구현 단계의 테스트를 위한 시험 측정 항목을 개발하였다.

• The Magazine of the IEIE
• /
• v.33 no.3 s.262
• /
• pp.49-55
• /
• 2006

인간과 로봇의 자연스러운 상호작용을 위하여 영상과 음성을 기반으로 한 인간-로봇 상호작용 (HRI: Human Robot Interaction) 기술들을 소개한다. URC개념의 서버/클라이언트 구조를 갖는 소프트웨어 로봇에 수행 가능한 얼굴 인식 및 검증, 준 생체정보(semi biometrics)를 이용한 사용자 인식, 제스처인식, 화자인식 및 검증, 대화체 음성인식 기술들에 대하여 살펴본다. 이러한 인간-로봇 상호작용 기술들은 초고속 인터넷과 같은 IT 인프라를 이용하는 URC(Ubiquitous Robotic Companion) 기반의 지능형 서비스 로봇을 위한 핵심기술로서 사용되어진다.