• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.4
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Journal of Ocean Engineering and Technology
• /
• v.21 no.1 s.74
• /
• pp.69-74
• /
• 2007

This paper is concerned about the dynamic analysis of an underwater test miner, which operates on cohesive soil. The test miner consists of tracked vehicles and a pick-up device. The motion of the pick-up device, relative to the vehicle chassis, is controlled by two pairs of hydraulic cylinders. The test miner is modeled by means of commercial software. A terramechanics model of cohesive soft soil is implemented with the software and applied to a dynamic analysis of the test miner model. The dynamic responses of the test miner are studied with respect to four different types of terrain conditions.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.423-430
• /
• 2010

As software becomes large-scale and complicated, the need for Quality Assurance and management is increased and software testing is becoming more important. The main aims of software testing are not only detecting and handling the defects in the system but also investigating and managing the present system. But automatic testing tools require lots of time and efforts to detect and manage the risk in the system because test-cases used in the general automatic testing tools have the simply static information. In this thesis, the dynamic management technique for weighted testcases is designed to test the high-risk testcases preferentially by giving the testcases dynamic weight.

• 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 Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.811-820
• /
• 2017

Software automatic technology research recently focuses not only on generating a single path test-case, but also on finding an optimized path to reach the vulnerability through various test-cases. Although Dynamic Symbolic Execution (DSE) technology is popular among these automatic technologies, most DSE technology researches apply only to Linux binaries or specific modules themselves. However, most software are vulnerable based on input files. Therefore, this paper proposes an input file based dynamic symbolic execution method for software vulnerability verification. As a result of applying it to three kinds of actual binary software, it was possible to create a test-case effectively reaching the corresponding point through the proposed method. This demonstrates that DSE technology can be used to automate the analysis of actual software.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.11a
• /
• pp.277-282
• /
• 2004

This paper concerns about dynamic analysis of an underwater test miner, which operates on cohesive soil. The test miner consists of tracked vehicle and pick-up. device. The motion oj pick-up device relative to the vehicle chassis is controlled by two pairs of hydraulic cylinders. The test miner is modeled by means of a commercial software. A terramechanics model of cohesive soft soil is implemented to the software and applied to dynamic analysis of the test miner model. The dynamic responses of test miner are studied with respect to of four different types of terrain conditions.

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.431-439
• /
• 2015

This paper introduces analysis technique and test procedure for verifying the reliability of the multi-function radar software. Also the process of software development and reliability test method for reducing the development period are described. Test results show that the verified software has reduced errors and improved reliability compared to the unverified software.