• 정보와 통신
• /
• 제12권9호
• /
• pp.153-159
• /
• 1995

본 논문은 대규모 교환기의 연구 개발에 있어서 임의의 연구 개발 단계마다 발생되는 시스템 시험과 관련하여 보다 효율적인 시스템 시험이 될 수 있도록 시험 항목 선정 방법을 체계화한 것으로, 일반적인 시험 항목 선정 방법을 Top Down 방식과 Bottom Up 방식의 두 가지 형태로 분류하여 각각의 장단점을 제시하였으며, 시험 항목의 일관성 및 객관성을 위해 고려해야 될 내용과 시험 항목의 번호 부여 방법 및 항목명 작성 방법, 시험 절차 크기 결정 등을 여러 가지 모형으로 체계화하여 그 중에서 가장 효율적인 방법을 제안하였다. 이러한 방법은 향후 교환기뿐만 아니라, 하드웨어 및 소프트웨어로 이루어지는 모든 시스템의 시험시 활용될 수 있을 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1033-1034
• /
• 2011

공작기계에 유압동력을 공급하는 유압동력발생장치의 신뢰성은 공작기계 전체의 신뢰성과 밀접한 관계를 가진다. 전기모터에 의해 유량을 직접제어하는 유압펌프의 시제품에 대한 신뢰성을 평가하기 위해서 성능시험, 내환경시험, 그리고 수명내구시험을 실시할 필요가 있다. 본 연구에서는 2단계 품질기능 전개를 통해 전기모터에 의한 직접유량 제어방식 유압펌프의 신뢰성평가 시험항목을 결정하였다. 시험항목에는 전기모터에 대한 항목, 유압펌프에 대한 항목, 하우징 및 냉각시스템에 대한 항목이 포함되어 있다. 신뢰성평가 시험 항목 중, 가장 큰 비중을 차지하는 수명내구시험에 대해 무고장수명시험을 산출하고, 시험소요시간 단축을 위한 가속모델을 제안하고, 실제 구동 조건을 적용하여 가속수명시험시간을 산출하였다.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3176-3184
• /
• 1998

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (중)
• /
• pp.871-874
• /
• 2003

본 논문은 LDAP 클라이언트와 서버사이에서의 상호운용성 시험을 위한 시험도구 구현에 대한 것이다. 여러 벤더에 의해 구현된 LDAP 제품들을 업무에 적응하기 위해서는 상호간의 접속 운용이 가능한지를 시험하기 위한 것으로 표준적합성 시험과 함께 상호운용성 시험이 선행 되어야 한다. 이러한 시험을 위한 시험도구로 이미 구현된 것이 있으나, 이들은 OS 에 따른 설치 시 제약조건이 많으며, 시험 실행방법의 어려움과, 시험 시 시험항목 및 LDAP 서버에 저장된 데이터가 한정되어 불편한 점이 있다. 이를 보완하기 위해 BLITS를 기반으로 한 OS의 제약이 적고, 사용자가 시험 항목을 수정 가능한 시험도구를 구현하였다. 구현한 시험도구의 타당성 검증을 위해 두 개의 LDAP 서버를 대상으로 하여 실제 상호운용성 시험을 수행 하였다. 시험 결과 203.241.249.185 의 주소를 가지는 서버는 선정된 시험항목과 사용자가 정의한 시험에 대해 모두 정상적인 시험결과를 출력하였으며 www.openldap.com 주소를 가지는 서버는 관리자 권한이 필요치 않은 항목에 대해서는 정상적인 시험결과를 출력하여 구현한 시험도구가 정상적으로 동작함을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.469-480
• /
• 2014

소프트웨어 제품라인은 제품들 간의 공통성 및 가변성을 전체 개발라이프사이클에 걸쳐 체계적으로 계획하고 재사용하여 생산성 향상, 비용절감, 시장적시성 향상을 꾀하는 소프트웨어 개발 패러다임이다. 소프트웨어 제품라인이 가져다 주는 이익을 최대화하기 위하여 시험은 도메인 공학과 어플리케이션 공학의 두 라이프사이클을 구성하는 프로세스들과 일관된 방식으로 통합되어야 하며, 더불어 시험 노력을 절감할 수 있어야 한다. 본 논문에서는 조합 시험 설계를 적용하여 제품라인 플랫폼을 시험할 시험항목을 생성함으로써 시험항목 개수를 상당히 줄이면서 동시에 재사용이 용이한 시험항목 생성을 지원하여 시험노력을 절감할 수 있는 조합 시험 설계를 이용한 제품라인 시험항목 생성 방법을 제안한다. 또한, 사례연구를 통하여 제안한 방법이 조합 설계를 이용하거나 그렇지 않은 기존의 다른 방법들 보다 효율적임을 보인다.

• 한국통신학회논문지
• /
• 제30권5B호
• /
• pp.247-252
• /
• 2005

현재 국외의 LDAP (Light-weight Directory Access Protocol) 상호운용성 시험을 위한 시험 도구가 있으나 이들은 소스가 개방 되어 있지 않아 시험 환경에 맞추기 위한 시험 항목의 수정이 어렵고, 차후 새로운 시험 항목의 추가 또한 힘든 상황이다. 그러므로 새로운 시험 도구에서는 개발 시간 단축과 시험 항목의 추가 및 변경의 용이성을 위해 객체지향 접근이 요구된다. 따라서 객체 지향 접근을 위해 객체 지향 언어인 자바를 이용해 시험도구를 구현하였다. 구현한 시험도구는 시험 항목 정보 중에서 이미 저장되어 있는 데이터에 알맞게 일부를 수정하여 시험이 가능하다. 또한 한번의 동일한 설정으로 최대 5개의 LDAP 서버를 동시에 시험 가능하다. 구현한 시험도구를 사용하여 두 대의 LDAP 서버를 대상으로 상호운용성 시험을 수행한 결과 정상적으로 동작됨을 확인하였으며, 시험 환경에 알맞도록 시험항목의 변경과 새로운 시험 항목의 추가가 용이함을 확인하여, 설계한 아키텍처의 유용성을 검증하였다.

• 한국통신학회논문지
• /
• 제22권8호
• /
• pp.1823-1832
• /
• 1997

본 논문은 유한 상태 기계 모델로 표현된 통신 프로토콜의 시험항목에 대한 오류 발견 능력 분석 방법을 제시한다. 시험항목에 대한 오류 발견 능력의 평가는 생성된 시험항목으로 어느 정도까지 오류를 발견해 낼 수 있는지를 측정하는 것이다. 시험항복의 오류 발견 능력 평가 방법은 주로 수학적 분석과 시뮬레이션을 이용한 방법이 사용되고 있다. 본 논문에서는 동신 프로토콜 시험항목의 오류 발견 능력 분석음 위해 시뮬레이터를 설계, 구현하였다. Inres 프로토콜을 시뮬레이터에 적용한 결과, 출력 오류와 상태 병합. 분리 오류는 100%의 높은 오류 발견율을 보였다. 구현된 오류 발견 능력 분석 시뮬레이터는 다양한 프로토콜에 적용 가능함으로써 새로운 오류 발견 능력 분석 도구로 사용될 수 있다.

• 한국통신학회논문지
• /
• 제21권8호
• /
• pp.1948-1957
• /
• 1996

통신 프로토콜의 적합성 시험은 구현된 프로토콜이 표준규격과 동일하게 구현되었는지를 검사하는 과정을 말한다. 생성된 시험 항목이 어느 정도의 오류를 발견해 낼 수 있는지를 평가함으로써 적합성 시험의 효율성을 평가하는 하나의 기준으로 사용될 수 있다. 시험 항목의 오류 발견 능력의 평가 방법은 주로 수학적 평가 방법과 시뮬레이션을 이용한 연구가 이루어져 왔다. 본 논문에서는 기존 평가 방법의 문제점을 지적하고 오류 모델을 사용하여 생성된 시험항목에 대한 새로운 오류 발견 평가 모델을 제시하였다. 그리고 제안된 평가 모델을 기존의 방법과 비교, 분석하여 타당성을 입증하였다.

• 한국정보전자통신기술학회논문지
• /
• 제10권4호
• /
• pp.325-332
• /
• 2017

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회 방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출 성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.

• 한국통신학회논문지
• /
• 제22권2호
• /
• pp.241-249
• /
• 1997

본 논문은 통신 프로토콜의 적합성 시험시 외부 동기와 입출력 시험 항목의 비용이 고려되어야 할 분산 시험 환경에서 적용될 수 있는 동기적 시험 항목 생성을 위한 새로운 방법을 제시한다. 이 방법은 유한 상태 기계로 표현된 프로토콜의 명세로 부터 이중 방향 그래프를 구성한 후 최소 길이의 동기적 시험 항목을 생성하기 위해 rural Chinese postman tour(RCPT) 알고리듬을 적용한다. 또한 시험시 주어진 유한 상태 기계의 각 상태에 대한 상태 식별 항목으로써 synchronizable distinguishing sequence(SDS)들을 사용한다. 본 논문의 방법은 원거리 시험기들을 사용하는 프로토콜 시험 구조에서 기 결정된 시험 항목을 적용할 때 시험 대상과 이들 시험기들간에 발생할 수 있는 동기화 문제에 대한 해결책으로 제시될 수 있다.