• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권7호
• /
• pp.249-258
• /
• 2018

국방 무기체계에서의 소프트웨어 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 이에 따른 신뢰성 검증이 매우 중요하다. 특히 무기체계 시스템을 구성하는 소프트웨어 구성 요소 들의 상호 작용에 따라 발생하는 결함은 정적 시험 및 코드 실행률 점검 수준의 동적 시험만으로는 예방하기가 어렵다. 본 논문에서는 소프트웨어의 동적 결함 유형을 분류 개발한다. 미 국방부 무기체계에 사용하는 오픈 소스 소프트웨어(OSS)에서 보고된 이슈 분석을 통하여 본 논문에서 분류한 동적 결함이 실제로 발생하며, 이들은 대체로 통합 이후 발생하는 결함이며, 재현이 어렵고, 결함 원인 파악이 어려웠음을 보인다. 이 분석 결과를 기반으로 무기체계 신뢰성 검증을 위하여 소프트웨어 통합 시험 개선의 중요성을 도출한다.

• Computers and Concrete
• /
• 제16권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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.576-580
• /
• 2010

임베디드 소프트웨어는 하드웨어 소프트웨어의 결합력이 매우 높기 때문에 전체 시스템에 대한 사용 시나리오 기반의 블랙박스 테스트가 주로 수행된다. 본 논문은 블랙박스 테스트로 발견된 결함에 대한 디버깅이 쉽지 않음에 착안하여 테스트와 디버깅 활동 연계를 지원하는 자동화 방안을 제안한다. 제안하는 방안은 테스트 결과로부터 결함 원인과 위치 추적이 가능한 디버깅 전략을 수립하는 방안과 이를 기반으로 이뮬레이터 환경에서 자동 수행되는 테스트 스크립트 자동 생성하는 방안으로 구현된다.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.423-430
• /
• 2010

소프트웨어가 대형화 및 복잡화되고 품질보증 및 관리에 대한 요구가 한층 커짐에 따라 소프트웨어 테스트 활동이 중요시되고 있다. 소프트웨어 테스트 활동은 시스템에 존재하는 결함 발견과 처리가 주요 목적이지만, 현재 시스템의 위험요소를 관리하기 위한 요구 또한 존재한다. 하지만 일반적인 테스트 자동화 도구에서는 테스트케이스를 이용하여 동일한 순서로 테스트를 수행하며, 이러한 테스트 방식은 빈번하게 변경되는 소프트웨어를 테스트함에 있어 결함을 조기에 발견할 가능성이 낮아지고 처리되는 시간이 늦어지게 된다. 이에 따라 본 논문에서는 과거 테스트 이력을 이용하여 테스트케이스에 동적인 가중치를 부여함으로써 위험도가 높은 테스트케이스를 우선적으로 테스트 하여 결함을 빠르게 발견할 수 있도록 가중치를 이용한 테스트케이스 동적 관리 기법을 설계하였다.

• Steel and Composite Structures
• /
• 제34권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.

• 한국소음진동공학회논문집
• /
• 제18권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권3호
• /
• pp.212-218
• /
• 2007

아직까지 소프트웨어 개발조직에서는 사전검증 활동 및 충분한 테스트 설계가 수행되지 않고 있으며, 따라서 개발 초기에 식별, 수정될 수 있는 결함들까지 테스트시 검출되기 때문에 투입 노력 대비 테스트의 효율성은 떨어진다. 이러한 문제의식을 바탕으로 본 논문은 구현이전단계에서의 사전검증이 수행 되지 않고, 테스트 케이스 설계가 충분히 진행되지 않은 경우에 테스트의 효율성을 향상시킬 수 있는 방법을 실사례를 통해 제안하고 있다. 테스트 단계에서의 코드 리뷰와 코드 품질 분석을 통해 테스트 우선순위 선정, 테스트별 테스트 케이스 설계 등의 주요 활동과 테스트팀과 개발팀과의 역할을 구체적으로 제시한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권9호
• /
• pp.564-571
• /
• 2017

프로세스 구동시마다 캐시 이미지를 메모리로부터 버스트 로딩하여 초기 캐시 실패를 줄이는 방법은 프로그램의 시작으로부터 초기화 부분의 지연을 줄이고 에너지 소모를 줄이는 데 효과적이다. 하지만 로딩에 사용하기 위한 적절한 캐시 이미지는 컴파일러와 인스톨러 등 소프트웨어적인 접근 방법을 이용하여 적절한 캐시 이미지를 생성하는 과정이 필요하며, 동적인 수행 특성을 보이는 프로세스의 경우 비효율적이다. 본 논문은 이러한 손실에 주목하여, 하드웨어를 부가하여 캐시 이미지를 동적으로 생성하고 관리하는 방법을 제안하고자 한다. 시뮬레이션 결과에 따르면 제안한 방법을 사용할 경우 프로그램의 캐시 필요량에 따른 적절한 이미지 크기를 유지할 수 있어 기존의 캐시 이미지 로딩 기법을 더욱 효율적으로 개선할 수 있었다.

• International Journal of Vascular Biomedical Engineering
• /
• 제1권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.