• 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.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.7
• /
• pp.249-258
• /
• 2018

The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.

• Computers and Concrete
• /
• v.16 no.4
• /
• pp.531-544
• /
• 2015

The objective of this study was to examine the effect of repair mortar on the dynamic properties such as natural frequencies, mode shape and damping ratios of two story single span scale reinforced concrete building. To this end, two story single span scale reinforced concrete building having dimensions of 150 cm (width), 150 cm (length) and 135 cm (height) was constructed. Workmanship defects such as separation of material, faulty vibration application and bad gradation of the structure were properly evaluated. Dynamic properties of damaged structure were experimentally determined using Operational Modal Analysis (OMA). Detected defects in the structure were fixed by plastering with repair mortar. Dynamic properties of repaired structure were reevaluated by using the OMA method. Finite element software called Abaqus was used to numerically determine dynamic properties of the structure. Structure modeled as solid was subjected to Linear Perturbation Frequency Method. The changes in dynamic properties of structure after the repair process were comparatively studied by evaluating experimental and numerical results.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.576-580
• /
• 2010

Generally, due to the strong coherence between embedded software and hardware or peripheral software, embedded software is tested by using black-box test based on user scenario for the whole system. This paper suggests the method to coordinate between testing and debugging under consideration for difficulties on solving out the defects detected from black-box test. First of all, from test result analysis, it builds up the debugging strategies enable to trace the locations of the defect's causes. And along with the strategies, it implements the generator of test scripts to be performed on the emulator environment. Through these steps, it can coordinate embedded software testing and debugging activities.

• 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.

• Steel and Composite Structures
• /
• v.34 no.2
• /
• pp.261-277
• /
• 2020

The main objective of this research paper is to consider vibration analysis of vacancy defected graphene sheet as a nonisotropic structure via molecular dynamic and continuum approaches. The influence of structural defects on the vibration of graphene sheets is considered by applying the mechanical properties of defected graphene sheets. Molecular dynamic simulations have been performed to estimate the mechanical properties of graphene as a nonisotropic structure with single- and double- vacancy defects using open source well-known software i.e., large-scale atomic/molecular massively parallel simulator (LAMMPS). The interactions between the carbon atoms are modelled using Adaptive Intermolecular Reactive Empirical Bond Order (AIREBO) potential. An isogeometric analysis (IGA) based upon non-uniform rational B-spline (NURBS) is employed for approximation of single-layered graphene sheets deflection field and the governing equations are derived using nonlocal elasticity theory. The dependence of small-scale effects, chirality and different defect types on vibrational characteristic of graphene sheets is investigated in this comprehensive research work. In addition, numerical results are validated and compared with those achieved using other analysis, where an excellent agreement is found. The interesting results indicate that increasing the number of missing atoms can lead to decrease the natural frequencies of graphene sheets. It is seen that the degree of the detrimental effects differ with defect type. The Young's and shear modulus of the graphene with SV defects are much smaller than graphene with DV defects. It is also observed that Single Vacancy (SV) clusters cause more reduction in the natural frequencies of SLGS than Double Vacancy (DV) clusters. The effectiveness and the accuracy of the present IGA approach have been demonstrated and it is shown that the IGA is efficient, robust and accurate in terms of nanoplate problems.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.18 no.4
• /
• pp.465-472
• /
• 2008

An automotive windshield wiper system is modeled mainly for vibration analysis purpose. The model is composed of solid links, ideal joints, imperfect joints to simulate unavoidable manufacturing defects and bushings having stiffness, contact between a wiper blade and a wind screen glass, friction, a spring and an actuator. Main stream of wiper dynamics analysis has been obtaining a closed form of system of equations using Newton's or Lagrange's formula and doing a numerical simulation study to understand and predict the behavior of it. However, the modeling process is complex since a wiper system is of multibody and a contact problem occurs. When imperfection, such as dead zone of a joint and stiffness of a rubber bushing, should be included, the added complexity makes the modeling difficult. Since the imperfection is understood as main cause of problematic vibration, the dynamics model of a wiper system aiming vibration analysis should include such unavoidable manufacturing defects in the model. An open form of dynamic model of a automotive windshield wiper system with imperfect joints using a commercial software is obtained and a simulation analyssis is conducted for vibration reduction study.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.212-218
• /
• 2007

Not enough verification or enough design of test is not performing in many software developments organization as yet. Therefore, defects that can be detected and corrected during the beginning phases of development are usually found during dynamic testing, it is often observed that testing is inefficient compared to effort for testing. This study aims to suggest a method for effective testing through case study. It is useful in case of not verification and not enough design of test in the previous phase than coding. We show in a concrete way major activities that determine prioritization of testing and level of test case design through static testing, i.e. code review and analysis of code quality. And also we show role between test team and development team.

• KIISE Transactions on Computing Practices
• /
• v.23 no.9
• /
• pp.564-571
• /
• 2017

The burst loading of a pre-created cache-image is an effective method to reduce the instruction cache misses in the early stage of the program execution. It is useful to alleviate the performance degradation as well as the energy inefficiency, which is induced by the concentrated cold misses at the instruction cache. However, there are some defects, including software overhead on the compiler and installer. Furthermore, there are several mismatches as a result of the dynamic properties for specific applications. This paper addresses these issues and proposes a cache-image maintenance/recreation policy that can conduct dynamic management using a hardware-assisted method. The results of the simulation show that the proposed method can maintain the cache-image with a proper size and validity.

• International Journal of Vascular Biomedical Engineering
• /
• v.1 no.2
• /
• pp.36-41
• /
• 2003

Both flow visualizations and computational fluid dynamics were performed to determine hemodynamics in a total cavopulmonary connection (TCPC) model for surgically correcting congenital heart defects. From magnetic resonance images, an anatomically correct glass model was fabricated to visualize steady flow. The total flow rates were 4, 6 and 8L/min and flow rates from SVC and IVC were 40:60. The flow split ratio between LPA and RPA was varied by 70:30, 60:40 and 50:50. A pressure-based finite-volume software was used to solve steady flow dynamics in TCPC models. Results showed that superior vena cava(SVC) and inferior vena cava(IVC) flow merged directly to the intra-atrial conduit, creating two large vortices. Significant swirl motions were observed in the intra-atrial conduit and pulmonary arteries. Flow collision or swirling flow resulted in energy loss in TCPC models. In addition, a large intra-atrial channel or a sharp bend in TCPC geometries could influence on energy losses. Energy conservation was efficient when flow rates in pulmonary branches were balanced. In order to increase energy efficiency in Fontan operations, it is necessary to remove a flow collision in the intra-atrial channel and a sharp bend in the pulmonary bifurcation.