• 응용통계연구
• /
• 제21권5호
• /
• pp.813-823
• /
• 2008

비동질적 포아송과정(NHPP) 모형은 신뢰성 공학에서 소프트웨어 내에 남아있는 결함발견현상을 설명하는데 자주 사용된다. 이때 결함발견율은 연속적이며 단조함수를 가정하였으나 현실적으로 소프트웨어 시험환경, 전략 및 자원할당 등으로 인해 결함발견율이 변하는 경우가 있다. 본 논문은 결함발견율이 변화하는 변화점 문제를 고려한 소프트웨어 신뢰도 성장모형(SRGM)을 고려하여 모수를 추정하는데 목적이 있다. 이를 위해 자료를 모의 생성한 후 평균값 함수의 각 모수를 최우추정법과 최소제곱법을 이용하여 추정하며, 결함발견구간이 일정하게 증가하는 경우와 일정하게 증가하지 않는 경우를 각각 고려한다. 이때 각 모수의 적합도 비교 평가를 통하여 변화점을 고려한 SRGM에서의 최적 추정법을 수치적 방법으로 판단한다.

• 정보보호학회논문지
• /
• 제28권6호
• /
• pp.1463-1474
• /
• 2018

퍼징이란 유효하지 않은 값이나 임의의 값을 소프트웨어 프로그램에 입력하여, 보안상의 결함을 찾아내는 소프트웨어 테스팅 기법 중 하나로 이러한 퍼징의 효율성을 높이기 위한 여러 방법들이 제시되어 왔다. 본 논문에서는 필드를 기반으로 퍼징을 수행하면서 커버리지, 소프트웨어 크래쉬와 연관성이 높은 필드가 존재한다는 것에 착안하여, 해당 필드 부분을 집중적으로 퍼징하는 새로운 방식을 제안한다. 이 때, Variational Autoencoder(VAE)라는 딥 러닝 모델을 사용하여 커버리지가 높게 측정된 입력 값들의 특징을 학습하고, 이를 통해 단순 변이보다 학습된 모델을 통해 재생성한 파일들의 커버리지가 균일하게 높다는 것을 보인다. 또한 크래쉬가 발생한 파일들의 특징을 학습하고 재생성 시 드롭아웃을 적용하여 변이를 줌으로써 새로운 크래쉬를 발견할 수 있음을 보인다. 실험 결과 커버리지가 퍼징 도구인 AFL의 큐의 파일들보다 약 10% 정도 높은 것을 확인할 수 있었고 Hwpviewer 바이너리에서 초기 퍼징 단계 시 발생한 두 가지의 크래쉬를 사용하여 새로운 크래쉬 두 가지를 더 발견할 수 있었다.

• 한국전문물리치료학회지
• /
• 제20권3호
• /
• pp.89-99
• /
• 2013

The purposes of this study were: 1) to show the item difficulty hierarchy of walking/moving construct of the International Classification of Functioning, Disability and Health-Activity Measure (ICF-AM), 2) to evaluate the item-level psychometrics for model fit, 3) to describe the relevant physical activity defined by level of activity intensity expressed as Metabolic Equivalent of Tasks (MET), and 4) to explore what extent the empirical activity hierarchy of the ICF-AM is linked to the conceptual model based on the level of energy expenditure described as MET. One hundred and eight participants with lower extremity impairments were examined for the present study. A newly created activity measure, the ICF-AM using an item response theory (IRT) model and computer adaptive testing (CAT) method, has a construct on walking/moving construct. Based on the ICF category of walking and moving, the instrument comprised items corresponding to: walking short distances, walking long distances, walking on different surfaces, walking around objects, climbing, and running. The item difficulty hierarchy was created using Winstep software for 20 items. The Rasch analyses (1-parameter IRT model) were performed on participants with lower extremity injuries who completed the paper and pencil version of walking/moving construct of the ICF-AM. The classification of physical activity can also be performed by the use of METs that is often preferred to determine the level of physical activity. The empirical item hierarchy of walking, climbing, running activities of the ICF-AM instrument was similar to the conceptual activity hierarchy based on the METs. The empirically derived item difficulty hierarchy of the ICF-AM may be useful in developing MET-based activity measure questionnaires. In addition to convenience of applying items to questionnaires, implications of the finding could lead to the use of CAT method without sacrificing the objectivity of physiologic measures.

• Journal of Information Technology Applications and Management
• /
• 제20권1호
• /
• pp.19-41
• /
• 2013

This study analyzed the users acceptance of e-Government services. Many IT(Information Technology) adoption studies appeared the TAM(technology adoption model) of Davis[1989] as a theoretical background. The TAM composed of three factors those are the perceived easy of use, the perceived usefulness, and intention to adoption of IT. However, TAM did not explain the consequences of intention to adoption and antecedents of the ease of use and usefulness in IT adoption. To overcome limitations of TAM, many technology acceptance studies done. In this study, the researcher suggested the IT acceptance model for explaining users adoption of e-Government service based on the model of IT acceptance of Wixom and Todd[2005]. The model of Wixom and Todd[2005] based on the TAM of Davis[1989], IT adoption model of Taylor and Todd[1995] and, IS(Information Systems) success model of Delone and Mclean[1992, 2003]. For testing our research model, the researcher collected data from 200 users of e-Government services. The researcher analyzed in measurement model and structural model using statistical software. This study analyzed relationships among interaction, information quality, Web systems quality, satisfaction, ease of use, usefulness, and attitude to explain and predict influences of the users acceptance of e-Government services. The results of this study will provide useful information about develop a strategy for usage spread of e-Government services.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2005년도 제17회 워크샵 및 추계학술대회
• /
• pp.575-578
• /
• 2005

The optimum design and the performance analysis software called POSEIDON for the HAWT (Horizontal Axis Wind Turbine) was developed by use of BEMT. The Prandtl's tip loss theory was adopted to consider the blade tip loss. The lift and the drag coefficient of S-809 airfoil were predicted via X-FOIL and also the post stall characteristics of S-809 were estimated by the Viterna's equations. All the predicted aerodynamic characteristics are fairly well agreed with the wind tunnel test results, performed by Sommers in Delft university of technology. The rated power of the testing rotor is 20kW(FIL-20) at design conditions. The experimental aerodynamic parameters and the X-FOIL data were used for the power prediction of the FIL-20 respectively. The comparison results shows good agreement in power prediction.

• Journal of Information Technology Applications and Management
• /
• 제11권1호
• /
• pp.69-82
• /
• 2004

The role of switching costs in customer retention has been posited, but has not been subjected to rigorous empirical testing. Therefore, our main focus is on the factors that influence whether consumers will have intention to switch or stay with an incumbent technology (e.g., MS-Windows). Based on consumer survey with MS-Windows users, we find empirical support for the link between the existence of compactible software, consumer's expertise in MS-Windows and intention to stay with MS-Windows. Specifically, switching costs are found to be positively associated with the existence of compatible software. Further, the lack of expertise in MS-Windows on the part of consumers tends to increase the likelihood that they will rely on current MS-Windows, rather than switch to other alternative operating systems.

• 신재생에너지
• /
• 제1권4호
• /
• pp.38-42
• /
• 2005

The optimum design and the performance analysis software called POSEIDON for the HAWT [Horizontal Axis Wind Turbine] was developed by use of BEMT. The Prandtl's tip loss theory was adopted to consider the blade tip loss. The lift and the drag coefficient of S-809 airfoil were predicted via X-FOIL and also the post stall characteristics of S-809 were estimated by the Viterna's equations. All the predicted aerodynamic characteristics are fairly well agreed with the wind tunnel test results, performed by Sommers in Delft university of technology. The rated power of the testing rotor is 20kW[FIL-20] at design conditions. The experimental aerodynamic parameters and the X-FOIL data were used for the power prediction of the FIL-20 respectively. The comparison results shows good agreement in power prediction.

• 한국정보통신학회논문지
• /
• 제21권6호
• /
• pp.1218-1224
• /
• 2017

액화천연가스운반선(LNGC) 건조 시 증가하는 리스크로 인해 시스템 통합 및 안전 운용에 다양한 시나리오의 사전 시뮬레이션이 필요하다. 특히, LNGC에서 전력관리시스템은 중요한 장비이고, 전력 제어 시스템과의 오류없는 통합이 이루어져야 기대하는 성능 및 안전성이 보장된다. 본 논문에서는 LNGC에서 발생하는 오류를 개선하기 위해 Software-In-the-Loop(SIL) 기반의 PMS 테스트용 전력 발생원과 소모원에 대한 시뮬레이션 모델을 구현하였다. PMS 제어 및 검증을 위해 MATLAB/Simulink를 활용하여 수치적 물리 시뮬레이션 모델링을 수행하였고, 시뮬레이션 모델을 검증하기 위하여 시운전 시나리오를 대상으로 부하 분배 테스트를 하였다. PMS SIL 시뮬레이션은 고부가가치 선박 및 해양플랜트의 시운전, 설치, 유지보수 시장 진출에 크게 기여할 것으로 사료된다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.148-153
• /
• 2015

국내의 소프트웨어 산업계는 고품질 소프트웨어를 위해, 개발/테스트 프로세스, 성숙도 측정등에 초점을 두고 있다. 그러나 실제 중소기업의 산업현장에서는 코드중심으로 개발되고 있다. 그리고 대부분의 기존 레거시 시스템은 설계의 부재 그리고 코드 패칭으로 코드 내부의 복잡도가 매우 높은 현실이다. 이를 해결하고자, 코드의 가시화(visualization)를 적용하였다. 이 가시화는 모듈간의 복잡도를 줄이려는 목적을 가지고 있다. 이를 위해 기존 공개 도구로 툴 체인 구성 방법을 제안한다. 제안한 방법은 NIPA의 SW Visualization 기법을 적용 확장하였다. 또한 코드 가시화내의 품질지표 중에 결합도 요소 중의 나쁜 지표에 대한 리팩토링 시도이다. 결과적으로 레가시 코드에 대해 역 공학 기법(from programming via model to architecture)적용과 이를 통한 소프트웨어 고품질화이다.