• 스마트미디어저널
• /
• 제13권8호
• /
• pp.9-15
• /
• 2024

소프트웨어 테스트는 소프트웨어 개발 프로세스의 필수적인 부분이다. 특히 MC/DC(Modified Condition / Decision Coverage)는 복잡한 조건과 결정 구조를 효과적으로 검증하여 소프트웨어의 안정성과 신뢰성을 높이는 데 사용된다. 본 연구에서는 MC/DC 수행의 최대 커버리지 값 확인을 위해 2진수를 활용한 MCC(Multiple Condition Coverage) 테스트 케이스 생성하는 MTC(MCC Test Cases) 생성기를 제안한다. 제안한 MTC 생성기는 TCAS(Traffic alert and Collision Avoidance System)-II 명세서 조건의 일부를 사용하여 CSV(Comma-Separated Values) 파일로 변환 후, VectorCAST 프로그램을 통해 커버리지 결과를 확인하였다. 그 결과 MCC 테스트 케이스로 MC/DC를 수행하여 TCAS-II 명세서의 각 조건들의 MC/DC 수행 시 최대 커버리지 값을 확인하였다. 이는 MC/DC 수행 시 커버리지 최댓값을 확인 함으로써 MC/DC 테스트 케이스 검증 연구에 도움이 된다. 또한 더 많은 테스트 케이스를 통해 결함발견 가능성도 증가시킨다. 이를 통해 소프트웨어 테스트의 커버리지 검증의 효율성과 소프트웨어의 품질 및 안정성을 향상하는 데 기여할 수 있다.

• 한국강구조학회 논문집
• /
• 제20권2호
• /
• pp.247-258
• /
• 2008

본 연구에서는 다단계 온도프리스트레싱이 도입된 강재보의 정적거동을 평가하기 위하여 H형강 시험체에 다단계 온도프리스트레싱을 도입한 후 정적 재하시험을 수행하였다. 도입한 온도 프리스트레싱력들의 차이 및 강재보와 커버플레이트 이음 형태에 따른 영향을 비교하기 위하여, 커버플레이트의 두께 및 커버플레이트와 강재보의 이음형식에 따라 높이 400mm, 길이 6,000mm의 시험체를 제작하였다. 정적재하 실험결과, 커버플레이트와 H형강을 볼트 이음하여 프리스트레싱한 시험체는 온도프리스트레싱이 도입되지 않은 시험체와 비교하여 항복하중은 13~18%, 강성은 27~34% 증가하였고, 볼트 및 용접 이음한 시험체는 항복하중이 18~29%, 강성이 43 ~51% 증가하는 것으로 나타났다. 또한 다단계 프리스트레싱의 도입으로 하중재하상태에서 시험체에 작용하는 응력상태가 다단계로 나타났다. 따라서 다단계 프리스트레싱의 도입은 강재보의 항복하중 및 강성을 증가시킬 수 있고, 단면 효율 및 프리스트레싱 효율의 증대가 가능할 것으로 판단된다.

• 한국융합학회논문지
• /
• 제9권2호
• /
• pp.151-156
• /
• 2018

본 논문에서는 효율적인 가역 워터마킹 알고리즘을 제안하였다. 제안된 기법을 사용하여, 커버 이미지에 은닉할 수 있는 저작권관련 정보의 양을 증가시킬 수 있다. 공간적 지역성과 표면 특성에 따라, 주변 픽셀들을 사용하여 픽셀 값을 정밀하게 예측할 수 있다. 예측된 픽셀 값과 커버 이미지의 원본 픽셀 값이 거의 같게 되면, 커버 이미지의 원본 픽셀 값과 예측 픽셀 값의 차이가 매우 적게 된다. 그러므로 차분 시퀀스에 대한 히스토그램의 피크 포인트에서의 빈도수가 크게 증가하게 된다. 따라서 커버 이미지에 은닉할 수 있는 기밀 데이터의 양이 크게 증가하게 된다. 실험 결과를 통하여 제안된 워터마킹 알고리즘이 기존의 알고리즘보다 우수함을 확인 할 수 있다.

• 정보보호학회논문지
• /
• 제30권3호
• /
• pp.443-454
• /
• 2020

자바스크립트 엔진은 주로 웹 브라우저에 적재되어 웹 페이지를 표시하는 여러 기능 중 자바스크립트 코드를 입력으로 받아 처리하는 모듈이다. 자바스크립트 엔진 내 취약점은 종단 사용자의 시스템 보안을 위협할 수 있어 많은 퍼징 테스트 연구가 수행되었다. 그중 일부 연구는 자바스크립트 엔진 내 테스트 커버리지를 유도하는 방식으로 퍼징 효율을 높였으나, 최적화되어 동적으로 생성된 기계어 코드에 대한 커버리지 유도 퍼징은 시도되지 않았다. 최적화된 자바스크립트 코드는 예외적인 흐름 발생 시 코드를 해제하는 런타임 가드의 기능으로 인해 퍼징을 통한 충분한 반복 테스트가 어렵다. 본 논문은 이러한 문제점을 해결하기 위해 최적화 해제를 회피하여 최적화된 기계어 코드에 대해 퍼징 테스트를 수행하는 방법을 제안한다. 또한, 동적 바이너리 계측 방식으로 수행된 런타임 가드의 커버리지를 계측하고 커버리지 증가를 유도하는 방식을 제안한다. 실험을 통해, 본 연구가 제안하는 방식이 런타임 가드 커버리지, 시간당 테스트 횟수의 두가지 척도에서 기존의 방식보다 뛰어남을 보인다.

• Korean Chemical Engineering Research
• /
• 제43권1호
• /
• pp.136-139
• /
• 2005

집먼지진드기에 의한 호흡기 알레르기 질환의 예방 및 치료를 위해 고려할 수 있는 가장 효율적인 방법 가운데 하나는, 항원이 통과할 수 없는 특수 재질의 커버로 직접 침구류를 씌우는 것이다. 따라서 본 연구에서는 특수 커버 사용 후 먼지 양의 감소와 집먼지진드기 allergen 노출에의 감소 정도를 측정하여 특수 커버의 효과를 검증하였다. 본 연구 결과 우리나라의 일반적인 생활환경에서는 특수 커버의 사용이 집먼지진드기 allergen에 대한 노출을 완전히 막아 주지는 못하였다. 그러나 노출되는 양은 감소시킬 수 있었으며 먼지 양이 감소하는 효과도 있었다.

• 한국통신학회논문지
• /
• 제29권5C호
• /
• pp.737-749
• /
• 2004

분산 네트워크 환경에서 커버로스는 시스템간의 신뢰를 바탕으로 대칭키를 사용하여 사용자를 인증한다. 그러나, 인증(authentication)과 함께 허가(authorization)는 보안의 필수적인 요소다. 본 논문에서는 기존의 커버로스에 프록시 권한 서버(proxy privilege server)를 두고 공개키/개인키를 적용하여 효율적이고 안전한 인증 및 허가 메커니즘을 설계하였다. 제안한 메커니즘에서는 사용자 인증을 위해 미리 정해진 long-term 키와 공개키를 통해 교환한 랜덤 수에 MAC 알고리즘을 적용하여 암호화에 사용하는 세션키 값을 매번 바꾸어주기 때문에 안전성을 높였다. 또한, 전체적인 인증 절차를 간소화하여 사용하는 키의 수를 줄였다. 프록시 권한 서버는 사용자의 권한 요구를 확인하고 권한 속성 인증서(privilege attribute certificate)를 발행한다. 권한 속성 인증서는 사용자의 권한 요구를 응용 서버에 전달하고 권한 위임에 사용된다. 제안한 메커니즘을 사용하여 기존의 커버로스에서 동작하는 효율적이고 안전한 인증 및 허가 알고리즘을 설계한다.

• 한국통신학회논문지
• /
• 제33권10B호
• /
• pp.911-918
• /
• 2008

본 논문에서는 방향성 안테나를 이용하여 3섹터 구조를 갖는 Narrow-Beam Trisector Cell (NBTC)과 Wide-Beam Trisector Cell (WBTC) 구조의 WiBro 시스템에 IEEE802.16j 기반의 멀티홉 중계기를 도입하여 커버리지를 확장하는 새로운 형태의 NBTC와 WBTC 구조를 제안한다. 제안한 구조는 최적화 모델을 통해 트래픽 분포에 따른 최적 배치된 기지국과 멀티홉 중계기의 수, 각 기지국의 확장되는 커버리지, 그리고 설치비용 등을 기지국만 배치하는 기존의 전형적인 구조와 비교 분석하였다. 분석 결과를 통해 주어진 전체면적에 중계기를 효율적으로 배치한다면 절약되는 설치비용을 알 수 있었고, 제안하는 멀티홉 중계기가 도입된 NBTC와 WBTC 방식 중에서 트래픽 분포가 높은 지역에서는 WBTC 방법을 이용하고, 트래픽 분포가 적은 지역에서는 NBTC 방법을 이용한다면 커버리지 확장과 설치비용 절약 측면에서 보다 효율적임을 알 수 있었다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2015년도 제49회 하계 정기학술대회 초록집
• /
• pp.252.2-252.2
• /
• 2015

야외에 설치 운영되는 태양광발전 시설과 설비들은 여러 요인들로 인해 쉽게 오염이 되고 이로 인한 효율 저하 및 유지 비용증가로 인하여 경제성이 저하되는 문제점을 가지고 있다. 본 연구에서는 기능성 나노코팅을 이용한 태양광 묘듈의 표면 코팅으로 내오염 특성을 향상시켜 오염에 의한 태양광 발전효율과 유지비용의 절감에 대한 방안을 제시하였다. 기능성 나노코팅은 태양광 모듈 커버글라스와 재질이 같은 유리 기판위에 코팅하였고, 코팅 방식에 따른 변화를 실험하였고, 코팅 방식으로는 딥핑(dipping), 스프레이, 천, 브러쉬를 사용하여 수행하였다. 유리 기판 위에 합성된 기능성 나노코팅의 특성분석은 내오염 특성, 광투과도, 접촉각, 부착력을 수행하였고, 실험에 활용된 기능성 나노코팅이 유리 기판 표면 오염방지에 탁월한 효과를 가짐을 확인하였다.

• KIEAE Journal
• /
• 제9권4호
• /
• pp.37-42
• /
• 2009

Photovoltaic-thermal(PVT) collectors are a combination of photovoltaic modules with solar thermal collectors, forming one device that receives solar radiation and produces electricity and heat simultaneously. The PVT collectors can produce more energy per unit surface area than side by side PV modules and solar thermal collectors. There are two types of water type PVT collectors, depending on the existence of glass cover over PV module; glass-covered(glazed) PVT module, which produces relatively more thermal energy but has lower electrical yield, and uncovered(unglazed) PVT module, which has relatively lower thermal energy with somewhat higher electrical performance. In this paper, the experimental performance of two types of the water-based PVT combined collectors, glazed and unglazed, was analyzed. The electrical and thermal performances of the PVT combined collectors were measured in outdoor conditions, and the results were compared.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.382-384
• /
• 2005

현재 무선 네트워크를 통한 패킷 데이터 서비스의 수요가 증가하고 있다. CDMA2000 이동통신망의 패킷데이터 서비스는 넓은 영역을 커버하는 대신에 비용이 높고 대역폭이 낮다. 반면에 802.11b 무선 LAN의 경우 작은 지역만을 커버할 수 있지만 대역폭이 크고 비용이 낮은 특성이 있다. 따라서 무선 LAN과 CDMA2000 이동통신망과 효율적으로 연동하여 사용한다면 많은 성과를 얻을 수 있다. 이에 본 논문은 기존 CDMA2000 이동통신망과 무선 LAN의 효율적인 연동을 통해서 끊김 없는 서비스를 받을 수 있는 이중모드 단말의 구현을 제안한다. 본 논문에서 제안하는 이중모드 단말은 무선 네트워크의 상태를 파악하여 네트워크를 선택하고 자동으로 연결을 관리한다. 또한 끊김 없는 핸드오프를 위한 동작을 통해 사용자가 끊김 없는 데이터 서비스를 받을 수 있도록 한다.