• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.11
• /
• pp.961-968
• /
• 2018

Airborne display systems provide pilots with a variety of information needed to operate aircraft. Software faults in the display system can seriously affect the operation of the aircraft, because it can provide inaccurate information to the pilot. Therefore, the software faults are identified and eliminated through ground testing and flight testing. This paper presents an analysis tool called FDR (flight data replay) for flight test of airborne display software. This tool works in real time with the mission computer of aircraft. Also, the tool reproduces the functional error conditions that appear in the display systems by applying flight test data to the display software.

• Journal of the Korea Convergence Society
• /
• v.11 no.11
• /
• pp.25-31
• /
• 2020

This study is to study a method of applying weights for quality characteristics in software test evaluation. The weight application method analyzes the text of the test report and uses the ratio according to the frequency of the text as a weight for the quality characteristics of the software test score. The feasibility review of the results of this study was conducted by comparing the results of the questionnaire survey, which made the developers and users to evaluate the importance of software, and the results of the frequency analysis of text analysis. When measuring quality based on the eight quality characteristics presented in ISO/IEC 25023, the result of this study is the software quality measurement result considering software characteristics, whereas the result of this study is the software quality measurement result by applying the same weight when measuring quality.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.231-242
• /
• 2013

Recently, automated software testing methods such as fuzzing have been researched to find software vulnerabilities. The purpose of fuzzing is to disclose software vulnerabilities by providing a software with malformed data. In order to increase the probability of vulnerability discovery by fuzzing, we must solve the test suite reduction problem because the probability depends on the test case quality. In this paper, we propose a new method to solve the test suite reduction problem which is suitable for the long test case such as file. First, we suggested the length of test case as a measure in addition to old measures such as coverage and redundancy. Next we designed a test suite reduction algorithm using the new measure. In the experimental results, the proposed algorithm showed better performance in the size and length reduction ratio of the test suite than previous studies. Finally, results from an empirical study suggested the viability of our proposed measure and algorithm for file fuzzing.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.1
• /
• pp.87-93
• /
• 2021

As the portion of modern weapons systems equipped with electronic components increases, the presence of embedded software has also increased, subsequently drawing interest in quality management and development methods. Unlike mechanical systems, software is logically intangible, hard to troubleshoot, and hard to reuse, making it hard to utilize limited resources when exposed to failures. The United States had successful results in establishing the Capability Maturity Model (CMM) by studying and applying separate processes for development and quality management of defense software. South Korea has also established, and utilizes, a standard of development and quality management for defense software based on international standards. However, some say those standards still remain at a basic level, and should be modified along with the progress in software. If the standard stays at a basic level, compared to software progression, the cost to reuse and restore resources will increase exponentially. This paper discusses improvement in the test processes for defense software through the Test Maturity Model-integration (TMMi)-derived from the CMM-and presents a blueprint for defense software quality management.

• Nuclear Engineering and Technology
• /
• v.52 no.7
• /
• pp.1462-1470
• /
• 2020

Reliability in safety-critical systems and equipment is of vital importance, so the probabilistic safety assessment (PSA) has been widely used for many years in the nuclear industry to address reliability in a quantitative manner. As many nuclear power plants (NPPs) become digitalized, evaluating the reliability of safety-critical software has become an emerging issue. Due to a lack of available methods, in many conventional PSA models only hardware reliability is addressed with the assumption that software reliability is perfect or very high compared to hardware reliability. This study focused on developing a new method of safety-critical software reliability quantification, derived from hardware-software integrated environment testing. Since the complexity of hardware and software interaction makes the possible number of test cases for exhaustive testing well beyond a practically achievable range, an importance-oriented testing method that assures the most efficient test coverage was developed. Application to the test of an actual NPP reactor protection system demonstrated the applicability of the developed method and provided insight into complex software-based system reliability.

• Journal of the Korea Convergence Society
• /
• v.8 no.10
• /
• pp.37-43
• /
• 2017

In this paper, we propose a method for estimation software quality in terms of software test data, and it is necessary to predict the period of time required for software test evaluation. We need a model to understand of estimation of software quality. In this paper, we propose a model to estimate the number of days for software test using the data obtained through the tester's sex, and present a model for analysing the number of errors according to six quality characteristics by software type.

• Journal of Ocean Engineering and Technology
• /
• v.11 no.1
• /
• pp.106-112
• /
• 1997

This paper describes the development of a test-bed vehicle named TAUV which can be a tool to evaluate the performance of a new control algorithm, operating software and the characteristics of sensors for an AUV. The test-bed AUV is designed to operate at depth of ten meters. It is 19.5kg in air and neural buoyancy in water and the dimension is $535{\times}400{\times}102mm$. TAUV is equipped with a magnetic compass, a biazial inclinometer, a rate gyro, a pressure sensor and an altitude sonae for measuring the motion of the vehicle. Two horizoltal thursters and two elevators are installed in order to propel and control the AUV. This paper persents the control system of TAUV which is based on a 16 bit single-chip microprocessor, 80c196kc, and the software architecture for the operating system. Experimental results are included to verify the performance of the TAUV.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.659-670
• /
• 2004

It is possible to implement high quality system which coincided with embedded system purchaser's requirements by quality test. The concrete quality test system applicable within our country for embedded software was not constructed yet. Recently, various embedded systems are developed, but they have many problems such as recall by defect. In this paper, we developed evaluation modules and quality test fables which can implement duality test based on ISO/IEC 12119 for embedded software evaluation.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.353-360
• /
• 2009

Software, once developed, has a long life and evolves through numerous additions and modifications because of the faults, the changes in user requirements, the changes in environments, and so forth. With the evolution of the software, assuring the quality of the software is getting more difficult because of numerous versions of the software. Meanwhile, regression testing has been used to support the software testing activities and assure acquiring appropriate quality through several versions of software. Regression testing, however, is too expensive because it requires lots of test cases executions and the number of test cases increases sharply as the software evolves. For this reason, several techniques are suggested to help conducting regression testing then test case prioritization technique is understood the most effective and efficient technique to support regression testing. In this paper, we propose an approach, Historical Value-Based Approach, which is based on the use of historical information to estimate the current cost and fault severity for cost-cognizant test case prioritization. As a result of the proposed approach, software testers who perform regression testing prioritize their test cases more effectively so that the test effectiveness of them can be improved in terms of APFDc.