• Communications for Statistical Applications and Methods
• /
• 제20권6호
• /
• pp.467-474
• /
• 2013

It is common to measure multiple coverage metrics during software testing. Software reliability growth models and coverage growth functions have been applied to each coverage metric to evaluate software reliability; however, analysis results for the individual coverage metrics may conflict with each other. This paper proposes the virtual coverage metric of a normalized first principal component in order to avoid conflicting cases. The use of the virtual coverage metric causes a negligible loss of information.

• 한국정보통신학회논문지
• /
• 제10권3호
• /
• pp.496-502
• /
• 2006

최근에 CAD 툴의 비약적인 발전으로 인하여 대부분의 디지털 회로들은 VHDL 언어를 사용하여 설계된다. 그리고 IC 공정기술의 발달에 따라 하나의 칩에 많은 회로를 포함할 수 있으므로 VHDL 코드의 크기가 방대해져 이에 대한 검증(verification)은 칩 설계에 있어서 어렵고, 많은 시간을 소모하는 과정이 되고 있다. 본 연구에서는 SoC용 IP 사이에서 발생할 수 있는 자원충돌과 프로토콜의 오류를 검증하는 새로운 방법을 제시한다. VHDL 모델의 블록 또는 SoC용 IP 사이에서 발생할 수 있는 상위레벨 고장을 정의하고 분류하고, 하위 레벨 검증(low-level code verification)에 사용되는 검출률 측정 법을 사용하여 IP사이에서 발생하는 데이터 충돌과 프로토콜 또는 알고리즘의 오류를 검증하는 방법을 제안한다.

• International Journal of Quality Innovation
• /
• 제5권1호
• /
• pp.110-121
• /
• 2004

There is a new trend of incorporating software coverage metrics into software reliability modelling. This paper proposes a coverage-based software reliability growth model. Firstly, the failure rate function in coverage is analytically derived. Then it is shown that the number of detected faults follows a Nonhomogeneous Poisson distribution of which intensity function is the failure rate function in coverage. Practical applicability of the proposed models is examined by illustrative numerical examples.

• International Journal of Reliability and Applications
• /
• 제4권3호
• /
• pp.131-139
• /
• 2003

There is a new trend of incorporating software coverage metrics into software modelling. This paper proposes and empirically evaluates a software reliability growth model, which relates reliability to coverage. The proposed model is derived by modifying the assumptions on which Veevers and Marshall model is based.

• 한국조경학회지
• /
• 제23권3호
• /
• pp.80-93
• /
• 1995

The purpose of this study was to assess functioni fo urban greenspace to reduce atmospheric CO\sub 2\ concentration. The study quantified carbon storage in urban greenspace and carbon emission by fossil fuel consumptio in Chuncheon. The amount of carbon storage in vegetation by land use type was 0.02kg/$m^2$ for commercial land, 4.36kg/$m^2$ for natural land, and 0.54kg/$m^2$ for the other urban lands. In 1994, total amount of carbon emission by fossil fuel consumption was about 257,358 metric tons, and the per capita carbon emission was 1.4 metric ton. Total amount of carbon storage in vegetation was 42,942 metric tons, approximately 17% of the carbon emission. This study excluded quantification of carbon storage in soils. The role of urban greenspace to sequester atomspheric carbon might be much greater, if a soil greenspace to sequester atmospheric carbon might be much greater, if a soil greenspace to sequester atmospheric carbon might be much greater, if a soil carbon storage is included quantification of carbon storage is included. However, increasing coverage of trees and managing them for healthy growth would not be sufficient for avoiding adverse impacts by future climate change. Additional measures should be followed such as an increase of energy use efficiency and development of substitute energy.

• 대한전자공학회논문지SD
• /
• 제38권4호
• /
• pp.266-276
• /
• 2001

빠른 반도체 기술의 발전으로 인하여 VLSI 회로의 복잡도는 크게 증가하고 있다. 그래서 복잡한 회로를 테스팅하는 것은 아주 어려운 문제로 대두되고 있다. 또한 집적회로의 증가된 집적도로 인하여 여러 가지 형태의 고장이 발생하게 됨으로써 테스팅은 더욱 중요한 문제로 대두되고 있다. 이제까지 일반적으로 지연 고장 테스팅에 대한 신뢰도는 가정된 고장의 개수에 대한 검출된 고장의 개수로 표현되는 전통적인 고장 검출율로서 평가되었다. 그러나 기존의 교장 검출율은 고장 존재의 유무만을 고려한 것으로써 실제의 지연 고장 테스팅에 대한 신뢰도와는 거리가 있다. 지연 고장 테스팅은 고착 고장과는 달리 경로의 진행 지연과 지연 결함 크기 그리고 시스템 동작 클럭 주기에 의존하기 때문이다. 본 논문은 테스트 중인 경로의 진행 지연과 지연 결함 크기를 고려한 새로운 고장 검출율 메트릭으로서지연 결함 고장 검출율(delay defect fault coverage)을 제안하였으며, 지연 결함 고장 검출율과 결함 수준(defect level)과의 관계를 분석하였다.

• 한국통신학회논문지
• /
• 제37권3B호
• /
• pp.204-211
• /
• 2012

무선 메쉬 네트워크(Wireless Mesh Network; WMN)는 넓은 지역에 저렴한 비용으로 인프라 구축을 통해 무선 인터넷 서비스를 제공할 수 있는 기술로 많은 관심을 받고 있다. 하지만 무선 메쉬 네트워크에서는 무선 통신환경의 특성인 높은 오류율, 불안정한 채널 특성, 제한적인 대역폭 등의 문제를 가지고 있다. 이러한 문제점을 최소화하기 위해 다양한 라우팅 기술들이 연구되고 있다. 기존 라우팅 기술들의 경로 설정 기술은 채널 품질이 우수한 노드에 트래픽이 집중되거나 특정 노드에 부하가 집중되어 네트워크 성능이 저하되는 문제가 야기되었다. 따라서 본 논문에서는 실제 전송 가능한 대역폭 정보와 링크 당 부하 정보를 고려한 새로운 라우팅 메트릭을 제안하고, 이를 기존 링크 품질 기반 라우팅 알고리즘에 적용하여 성능 평가를 위한 모의실험을 수행하였다. 성능평가 결과 기존의 라우팅 메트릭을 사용할 때 보다 전송 지연, 전송률 패킷 손실 등의 성능 향상이 가능함을 확인할 수 있었다.

• 한국인터넷방송통신학회논문지
• /
• 제10권6호
• /
• pp.55-62
• /
• 2010

모니터링 시스템은 특정 영역에서 발생하는 사건을 신속히 보고하여 적절한 대응을 할 수 있도록 해주는 시스템을 말한다. 로봇화된 산업 생산라인의 공정 모니터링에서부터 산불감지, 침입탐지, 스마트그리드, 환경오염 경보에 이르기 까지 다양한 산업군에서 널리 사용되고 있으며 무선통신의 발달과 저가의 센서를 활용가능하게 되면서 센서네트워크로 대표되는 지능형 또는 스마트 모니터링 시스템으로 발전하게 되었다. 모니터링 시스템의 목적이 다양하고 구축비용, 구성 방식, 구축 후 효과 등 많은 부분이 센서 또는 모니터링 디바이스가 설치된 장소에 영향을 받게 되지만 제한된 방식에 대해서만 배치 기법에 대해 관심을 받아 왔다. 모니터링 시스템의 종류에 따라 활용할 수 있는 다양한 방식의 배치 기법을 소개하고 배치 시의 성능을 객관적으로 비교할 수 있는 성능척도들 또한 소개하여 기존의 모니터링 시스템을 평가하고 개선할 수 있는 지점을 확인가능하게 하며 모니터링 시스템 설계 시에도 활용가능하다. 성능 척도는 배치과정에서의 효율성과 배치된 이후의 모니터링 시스템의 유용성을 평가할 수 있어야 한다. 배치과정에서의 효율성은 배치에 소요된 시간, 에너지 소모량, 비용, 안전성, 센서노드 손상율, 확장성(Scalability) 등이며 배치 이후의 모니터링 시스템의 유용성은 목표지역(ROI) 커버리지(Coverage), 연결성(Connectivity), 균일도(Uniformity), 목표 밀도(target density) 유사성, 단위기간 에너지 소모율 등이다.

• 대한전자공학회논문지SD
• /
• 제38권4호
• /
• pp.24-24
• /
• 2001

빠른 반도체 기술의 발전으로 인하여 VLSI 회로의 복잡도는 크게 증가하고 있다. 그래서 복잡한 회로를 테스팅하는 것은 아주 어려운 문제로 대두되고 있다. 또한 집적회로의 증가된 집적도로 인하여 여러 가지 형태의 고장이 발생하게 됨으로써 테스팅은 더욱 중요한 문제로 대두되고 있다. 이제까지 일반적으로 지연 고장 테스팅에 대한 신뢰도는 가정된 고장의 개수에 대한 검출된 고장의 개수로 표현되는 전통적인 고장 검출율로서 평가되었다. 그러나 기존의 교장 검출율은 고장 존재의 유무만을 고려한 것으로써 실제의 지연 고장 테스팅에 대한 신뢰도와는 거리가 있다. 지연 고장 테스팅은 고착 고장과는 달리 경로의 진행 지연과 지연 결함 크기 그리고 시스템 동작 클럭 주기에 의존하기 때문이다. 본 논문은 테스트 중인 경로의 진행 지연과 지연 결함 크기를 고려한 새로운 고장 검출율 메트릭으로서지연 결함 고장 검출율(delay defect fault coverage)을 제안하였으며, 지연 결함 고장 검출율과 결함 수준(defect level)과의 관계를 분석하였다

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.653-662
• /
• 2016

본 논문에서는 경로탐색 분야에서 많이 사용되는 RRT 알고리즘을 기반으로 한 테스트 케이스 생성 알고리즘을 제안한다. RRT 알고리즘 성능에 영향을 주는 가장 중요한 요소는 RRT 공간 내 노드 사이의 거리를 계산하는 거리 함수이다. Simulink/Stateflow (SL/SF) 모델의 테스트 케이스는 모델의 특정 상태에서 특정한 조건(본 논문에서 테스트 타겟이라 명명함)을 검사하기 위해 필요한 입력 시퀀스이기 때문에, 특정 조건을 검사하기 위해서는 먼저 모델을 특정 상태로 이끌어가는 것이 필요하다. 여기서 모델의 상태는 RRT의 노드로 표현된다. 일반적으로 어느 한 상태의 경우 다수의 조건을 검사할 필요가 있다. 예를 들어, 모델의 특정 상태가 다수의 전이가 발생 가능한 SL/SF model의 한 상태로 표현될 때, 전이 커버리지를 측정하기 위해서는 반드시 다수의 조건을 모두 검사해야 한다. 본 논문에서는 테스트 타겟들이 키 노드라 불리는 SL/SF 상태로 표현되는 특정 상태에서 다수 발견되는 점에 착안해서 만든 거리 계산 함수를 제안한다. 제안된 거리 함수는 키 노드가 아닌 노드에 페널티를 부과해서 RRT가 키 노드로부터 확장될 확률을 증가시킨다. 본 논문에서는 제안된 거리 함수를 이용한 테스트 케이스 생성 알고리즘을 제안한다. 성능 평가를 위해 상업용 자동차에 들어가는 3가지 전자제어장치 모델이 사용된다. 제안된 테스트 케이스 생성 알고리즘의 성능은 페널티 측면에서 평가되고 기존의 RRT 알고리즘을 사용한 테스트 케이스 생성 알고리즘의 성능과 비교한다.