• 인터넷정보학회논문지
• /
• 제9권5호
• /
• pp.85-97
• /
• 2008

최근 서비스 지향 시스템이 시스템 기능적 단위인 서비스들을 재사용함으로 해서 개발 시간과 노력을 줄이는 특성 때문에 더욱 중요하게 부각되고 있다. 서비스의 재사용은 서비스들 간의 느슨한 결합에 의하여 효과적으로 이루어질 수 있고 서비스의 느슨한 결합은 컴포넌트 기반 시스템에 의존된다. 즉, 컴포넌트 기반 시스템은 클래스 간의 상호 의존이 강한 클래스들을 그룹화 하여 도출하고 서비스 지향 시스템의 서비스는 컴포넌트 기반 시스템에 의존되어 설계된다. 따라서 효율적인 컴포넌트 기반 시스템 및 서비스 지향 시스템 설계를 위해서는 클래스 간의 결합도를 좀 더 정확히 측정할 수 있는 메트릭이 요구된다. 본 논문에서, 우리는 클래스 간의 구조적 특성, 동적 특성 그리고 미 사이로 정규화된 값을 적용한 클래스 간의 결합 척도를 제안한다. 우리는 Briand이 제안한 공리에 의해서 제안된 메트릭이 이론적으로 타당함을 증명하고 사례 연구를 통하여 정확성과 실용성을 제시한다. 우리는 기존 메트릭스와의 비교 분석을 통해서 제안된 메트릭의 평가 결과를 제시한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제2권2호
• /
• pp.132-140
• /
• 2002

This paper presents an ARM-based SOC bus transaction verification IP and the usage experiences in SOC designs. The verification IP is an AMBA AHB protocol checker, which captures legal AHB transactions in FSM-style signal sequence checking routines. This checker can be considered as a reusable verification IP since it does not change unless the bus protocol changes. Our AHB protocol checker is designed to be scalable to any number of AHB masters and reusable for various AMBA-based SOC designs. The keys to the scalability and the reusability are Object-Oriented Programming (OOP), virtual port, and bind operation. This paper describes how OOP, virtual port, and bind features are used to implement AHB protocol checker. Using the AHB protocol checker, an AHB simulation monitor is constructed. The monitor checks the legal bus arbitration and detects the first cycle of an AHB transaction. Then it calls AHB protocol checker to check the expected AHB signal sequences. We integrate the AHB bus monitor into Verilog simulation environment to replace time-consuming visual waveform inspection, and it allows us to find design bugs quickly. This paper also discusses AMBA AHB bus transaction coverage metrics and AHB transaction coverage analysis. Test programs for five AHB masters of an SOC, four channel DMAs and a host interface unit are executed and transaction coverage for DMA verification is collected during simulation. These coverage results can be used to determine the weak point of test programs in terms of the number of bus transactions occurred and guide to improve the quality of the test programs. Also, the coverage results can be used to obtain bus utilization statistics since the bus cycles occupied by each AHB master can be obtained.