Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System


KIPS Transactions on Software and Data Engineering, Vol. 8, No. 7, pp. 265-274, Jul. 2019
https://doi.org/10.3745/KTSDE.2019.8.7.265, Full Text:
Keywords: Dynamic Software Defects, Weapon System Software, Dynamic Test
Abstract

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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
J. Park and B. Choi, "Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System," KIPS Transactions on Software and Data Engineering, vol. 8, no. 7, pp. 265-274, 2019. DOI: https://doi.org/10.3745/KTSDE.2019.8.7.265.

[ACM Style]
Jihyun Park and Byoungju Choi. 2019. Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System. KIPS Transactions on Software and Data Engineering, 8, 7, (2019), 265-274. DOI: https://doi.org/10.3745/KTSDE.2019.8.7.265.