• 제목/요약/키워드: test case generation

검색결과 340건 처리시간 0.03초

함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법 (A Structural Testing Strategy for PLC Programs Specified by Function Block Diagram)

  • 지은경;전승재;차성덕
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제35권3호
    • /
    • pp.149-161
    • /
    • 2008
  • 프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

임베디드 시스템의 결함 주입 기반 간접 상호작용 테스팅 기법 (Fault Injection Based Indirect Interaction Testing Approach for Embedded System)

  • ;이우진
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제6권9호
    • /
    • pp.419-428
    • /
    • 2017
  • 임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.

도인(桃仁) 껍질의 화장품약리활성 및 항염 효과 (Cosmeceutical activities and Anti-inflammatory effects of Shell from Persicae semen)

  • 조우아;장민정;천순주;성지연;최은영;강보연;정수현;정연숙;김영선;안봉전;이창언;이진태
    • 대한본초학회지
    • /
    • 제21권2호
    • /
    • pp.87-93
    • /
    • 2006
  • Objectives : In this paper, we tested the applicability of shell from Persicae semen in cosmetics through cosmeceutical activities including anti-oxidant, tyrosinase inhibition and anti-inflammatory effects. Methods : Persicae semen, which had been extracted, concentrated, and freeze drying with water and ethanol, have been used for the experiment. The effects on electronic donating ability, SOD-like activity, xanthine oxidase inhibition, whitening effect have been investigated in the cosmeceutical activity measurement of function experiment. Results : In the electron donating ability test, 1,000ppm of EPS (ethanol extract of shell from Persicae semen) showed an effect of 87%. SOD-like activities showed 93% at the 10,000ppm of WPS (water extract of shell from Persicae semen). In the xanthine oxidase inhibition test, 1,000ppm of BHA showed an effect of 27%, while EPS showed an effect of 62%. We were able to get an effect of 95% from EPS at 10,000 ppm in the tyrosinase inhibition test. In the anti-inflammatory test, the EPS inhibited the generation of nitric oxide. In the case of the EPS, there were no signs of cytotoxicity against raw 264.7 and anti-inflammatory effects could be identified when the manifestation of iNOS was decreased. Conclusion : Therefore, the EPS has potential as an effective raw materials for cosmetic.

  • PDF

나노실리카와 TEOS가 함유된 친수성 코팅액의 태양광 유리팬널에 미치는 표면 특성 연구 (Effect of nanosilica and TEOS in hydrophilic coating solution on the surface characteristics of solar cell glass panel)

  • 이수;김승혜;황헌
    • 한국응용과학기술학회지
    • /
    • 제34권1호
    • /
    • pp.152-162
    • /
    • 2017
  • 태양광 발전의 효율을 높이기 위한 실란 커플링제와 나노 무기산화물을 첨가한 계면활성제를 이용한 친수성 코팅액을 제조하여 태양광 모듈의 유리 표면에 도포하여 김서림 방지(antifogging) 및 내오염성(antifouling)을 부여하였다. 1% 친수성 코팅액에 나노 무기산화물인 $Ludox^{(R)}$를 첨가한 경우 $Ludox^{(R)}$의 농도에 관계없이 초친수성과 우수한 antifogging 효과를 나타내었다. 그러나 유리에 대한 antifouling 효과는 $Ludox^{(R)}$를 10% 이상 첨가하였을 때부터 발현되었다. 또한, pH 4에서 가수분해한 TEOS를 첨가한 코팅액의 경우 TEOS를 0.7% 첨가한 경우 steam test 결과 antifogging 효과를 유지하였으며, 코팅한 유리 표면을 젖은 킴와이프로 100회 문지른 후에도 pollution test 결과 antifouling 효과를 유지하였다. 또한, AFM을 이용하여 표면 거칠기($R_q$)를 확인한 결과 TEOS를 너무 많이 첨가하면 가장 높은 표면 거칠기 값을 보였으며 코팅된 표면의 상태도 매우 불규칙하였다. TEOS가 0.7% 첨가된 경우 비교적 높은 표면 거칠기 값과 안정된 표면 상태를 나타내었다. 결론적으로 김서림 방지 특성만을 위하여는 나노 무기산화물인 $Ludox^{(R)}$는 필요없으나, antifouling의 효과를 나타내기 위해서는 최소 10%의 $Ludox^{(R)}$가 첨가되어야 하며, 우수한 내구성을 나타내기 위해서는 0.7%의 TEOS를 첨가해야 한다.

전사적 응용시스템 테스트를 위한 DB이미지 생성에 관한 연구 (Automatic Generation of DB Images for Testing Enterprise Systems)

  • 권오승;홍사능
    • 지능정보연구
    • /
    • 제17권4호
    • /
    • pp.37-58
    • /
    • 2011
  • 데이터베이스를 사용하는 프로그램을 테스트하는 것은 일반 소프트웨어의 경우보다 훨씬 더 복잡하고 어렵다. 테스트 데이터에 더하여 데이터베이스 상태가 테스트의 절차와 결과에 결정적인 영향을 미치는 것이 주요 원인이다. 테스트에 적합한 데이터베이스 상태를 만들어주려면 많은 시간과 노력이 필요한 것은 물론이거니와 IT와 업무에 대한 상당한 지식이 있어야 한다. 이러한 어려움에도 불구하고 데이터베이스 응용 프로그램의 테스트에 대한 연구와 지원은 매우 부족하다. 이 논문은 테스트에 알맞은 데이터베이스 상태의 생성과 유지에 관한 연구 결과를 보고한다. 연구의 핵심은 프로그램에서 사용하는 SQL을 로그파일에서 추출하여 분석한 결과와 데이터베이스 스키마와 테이블, 로그, 전문 등의 다양한 원천(source)에서 수집한 정보를 결합하여 프로그램의 테스트에 적합한 사전, 사후 상태를 자동으로 만들어주는 테스트 지원도구의 개발이다. 연구에서 제시한 절차와 도구는 단위 테스트와 통합 테스트의 지원과 더불어 회귀 테스트의 수행에 따르는 어려움을 극복하는데 큰 도움이 될 것이다. 실무적으로는 연구의 결과가 데이터베이스 상태의 생성과 유지에 소요되는 시간과 노력을 줄여 개발인력의 생산성을 제고하고, 다양한 케이스의 테스트와 회귀 테스트를 지원하여 대상 프로그램의 품질 향상에 기여할 것으로 기대한다. 학문적으로는 프로그램에서 사용하는 SQL의 패턴을 분석할 수 있는 상태 전이 도형과, 패턴의 표현 및 추론이 가능한 문법을 정의하여 전사적 응용 프로그램 테스트에 대한 폭 넓은 이해와 새로운 접근 방식을 가능하게 하였다.

SPR(Stereo Pattern Recognition) 기법을 이용한 동축 로터 블레이드의 변형에 대한 실험적 연구 (An Experimental Study on Blade Deformation of Coaxial Rotor System Using SPR(Stereo Pattern Recognition) Technique)

  • 유찬호;윤병일;채상현;김도형;김덕관
    • 한국항공우주학회지
    • /
    • 제48권8호
    • /
    • pp.597-609
    • /
    • 2020
  • 동축 로터 시스템은 기존의 헬리콥터뿐만 아니라 드론, PAV, 차세대 고속 회전익기 및 화성탐사용 헬리콥터에 적용되는 등, 활용 분야가 점점 넓어지고 있다. 로터 시스템의 성능 연구는 기존 연구에서 동축 로터를 대상으로도 여러 차례 수행되었으나, 로터 블레이드의 변형에 대한 연구는 주로 단일 로터 시스템만을 대상으로 진행되었다. 하지만 동축 로터 시스템에서는 주변에서 발생하는 유동이 복잡하며, 두 로터의 간격이 로터 시스템 전체의 성능에 주요한 영향을 주므로 블레이드의 변형 연구가 더욱 중요하다. 이에 본 연구에서는 최신식 고속 영상촬영 기법 중 하나인 SPR(Stereo Pattern Recognition) 기법을 사용해 동축 로터 블레이드의 변형 측정에 대한 실험적 연구를 수행하였다. 본 연구에는 한국항공우주연구원에서 개발한 축소 동축 로터 시험장치가 사용되었으며, 로터 블레이드의 변형과 성능의 연관성을 고찰하기 위해 동축 로터 시스템의 성능시험이 선행되었다. 해당 시스템의 로터 블레이드 변형을 SPR 기법으로 측정한 결과는 사전에 진행된 성능시험 결과와 함께 본 논문에 제시되었다.

빅데이터 기반 인공지능 교육프로그램 연구: 일반계 고등학교 사례를 중심으로 (A Study of AI Education Program Based on Big Data: Case Study of the General Education High School)

  • 정예희;김형범;박기락;유상미
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권1호
    • /
    • pp.83-92
    • /
    • 2023
  • 이 연구의 목적은 일반고등학교를 대상으로 빅데이터 기반의 인공지능을 활용한 창의교육 프로그램을 개발하고, 그 효과성을 알아보는 것이다. 연구의 목적을 달성하기 위해 일반계 고등학교 1학년 학생을 대상으로 빅데이터 기반 인공지능 교육프로그램을 개발하였고, 학교 현장 수업과 전문가를 통한 타당화 과정을 실시하였다. 고등학생들의 창의적 문제해결력 및 수업 만족도를 측정하기 위해 프로그램 적용 전·후에 창의적 문제해결력 검사를 실시하였고, 프로그램 후에는 수업 만족도 검사를 적용 및 분석하였다. 이 연구의 결과는 다음과 같다. 첫째, 빅데이터 기반 인공지능 교육프로그램이 '실행', '여학생과 남학생의 차이'를 제외한 '문제발견 및 분석', '아이디어 생성', '실행계획', '설득과 소통', '혁신성향'의 독립표본 t 검정에서 고등학교 1학년 학생의 창의적 문제해결력 향상에 효과가 있는 것을 확인하였다. 둘째, 수업 후에 실시한 수업 만족도 검사에서 '만족도', '흥미도', '참여도', '지속성'의 평균은 3.56 ~ 3.92이며 전체 평균은 3.78로 나타났다. 따라서 이 연구에서 개발한 빅데이터 기반 인공지능 교육프로그램의 수업 효과가 있는 것을 확인하였다.

자동 혈구분석기(XE-2100)를 이용한 WBC 과다측정의 확인방법 및 사례 분석 (Methodology and Case Analysis of the Erroneously High Counts in Automated Hematology Analyzer(XE-2100) using WBC)

  • 조영국;동경래
    • 한국콘텐츠학회논문지
    • /
    • 제9권4호
    • /
    • pp.275-285
    • /
    • 2009
  • 2007년 1월부터 8월까지의 8개월 동안 삼성서울병원에서 병동 및 외래에서 의뢰된 전 혈구검사 검체를 대상으로 하여 S사의 자동혈액장비의 4 Diff channel과 WBC channel의 결과 비교를 통해 총 백혈구의 과다측정 여부를 판단하였다. 장기적 임상치료를 밟는 환자 중 8개월간의 백혈구 수 비교를 통해 over count라고 판단된 증례는 총 25건이었다. 해당 검체와 동일한 날짜에 실시한 생화학적 검사 중 간 기능(liver function test)의 지표가 되는 AST와ALT에서 정강범위를 벗어나는 경우가 전체 환자의 68%였으며, 총 별리루빈 범위도 전체 검체 중 60%가 허용범위를 넘는 결과를 보였다. 백혈구가 과다 측정된 시점에 환자의 임상정보 결과 Cephalosporin계 4세대 항생제인 cefepime을 98%의 환자들이 투여 받은 상태에 있었다. 백혈구 과다측정은 하나의 원인보다 다양한 원인들이 복합적으로 작용하여 발생하는 것으로 사료된다.

Analysis of Improved Cyclostationary Spectrum Sensing with SLC Diversity over Composite Multipath Fading-Lognormal Shadowing Channels

  • Zhu, Ying;Liu, Jia;Feng, Zhiyong;Zhang, Ping
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제8권3호
    • /
    • pp.799-818
    • /
    • 2014
  • Spectrum sensing is a key technical challenge for cognitive radio (CR). It is well known that multi-cycle cyclostationarity (MC) detector is a powerful method for spectrum sensing. However, conventional MC detector is difficult to implement due to its high computational complexity. This paper pays attention to the fact that the computation complexity can be reduced by simplifying the test statistic of conventional MC detector. Based on this simplification process, an improved MC detector is proposed. Compared with the conventional one, the proposed detector has the low-computational complexity and sufficient-accuracy on sensing performance. Subsequently, the sensing performances are further investigated for the cases of Rayleigh, Nakagami-m, Rician, composite Rayleigh fading-lognormal shadowing and composite Nakagami fading-lognormal shadowing channels, respectively. Furthermore, the square-law combining (SLC) is introduced to improve the detection capability over fading-shadowing channels. The corresponding closed-form expressions of average detection probability are derived for each case by the moment generation function (MGF) approach. Finally, illustrative and analytical results show that the efficiency and reliability of proposed detector and the improvement on sensing performance by SLC over composite fading-shadowing channels.

Hybrid Technique for Locating and Sizing of Renewable Energy Resources in Power System

  • Durairasan, M.;Kalaiselvan, A.;Sait, H. Habeebullah
    • Journal of Electrical Engineering and Technology
    • /
    • 제12권1호
    • /
    • pp.161-172
    • /
    • 2017
  • In the paper, a hybrid technique is proposed for detecting the location and capacity of distributed generation (DG) sources like wind and photovoltaic (PV) in power system. The novelty of the proposed method is the combined performance of both the Biography Based Optimization (BBO) and Particle Swarm Optimization (PSO) techniques. The mentioned techniques are the optimization techniques, which are used for optimizing the optimum location and capacity of the DG sources for radial distribution network. Initially, the Artificial Neural Network (ANN) is applied to obtain the available capacity of DG sources like wind and PV for 24 hours. The BBO algorithm requires radial distribution network voltage, real and power loss for determining the optimum location and capacity of the DG. Here, the BBO input parameters are classified into sub parameters and allowed as the PSO algorithm optimization process. The PSO synthesis the problem and develops the sub solution with the help of sub parameters. The BBO migration and mutation process is applied for the sub solution of PSO for identifying the optimum location and capacity of DG. For the analysis of the proposed method, the test case is considered. The IEEE standard bench mark 33 bus system is utilized for analyzing the effectiveness of the proposed method. Then the proposed technique is implemented in the MATLAB/simulink platform and the effectiveness is analyzed by comparing it with the BBO and PSO techniques. The comparison results demonstrate the superiority of the proposed approach and confirm its potential to solve the problem.