• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.586-588
• /
• 2001

원전보호계통(RPS: Reactor Protection System)은 사고 시 치명적 피해를 입을 수 있다는 점에서 안전에 대한 중요도가 가장 높은 Safety 1E class로 분류되며, 이러한 보호계통을 디지털 라이즈 하는데 있어서 높은 신뢰도에 대한 보장이 필요하다. 따라서 본 논문에서는 DPPS(Digital Plant Protection System) 내에서 작동하는 내장형 소프트웨어의 높은 신뢰성을 보장하기 위한 테스팅 방법론을 제시하고자 한다. DPPS에서 작동하는 내장형 소프트웨어를 테스트하기 위한 방법은 크게 두 가지로 나누어진다. 첫 번째 단계는 절차중심의 프로그램에서 객체를 추출하고 이를 이용하여 클래스를 추출하는 제공학의 단계이다. 두 번째 단계는 이러한 클래스들을 이용하여 레벨별 테스팅을 수행하기 위한 테스트 아이템을 추출하고, 추출된 테스트 아이템을 이용하여 테스트 케이스를 선정하는 단계이다. 이렇게 각 레벨별로 선정된 테스트 케이스를 이용하여 단위 테스팅, 통합 테스팅, 시스템 테스팅 이렇게 3단계의 레벨별 테스팅을 수행한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.176-179
• /
• 2007

임베디드 시스템들은 빠르게 다양한 분야에 적용되고 있다. 이들 시스템들의 품질을 좌우하는 것은 소프트웨어이며, 제품 출시 시기와 제품의 품질 등에 매우 중요한 요소가 된다. 임베디드 소프트웨어 테스팅은 이러한 임베디드 소프트웨어에서 오류가 없음을 증명하는 것으로 전체 소프트웨어 개발에서 많은 부분을 차지한다. 임베디드 소프트웨어 테스팅은 소프트웨어의 기능적 부분을 주로 평가하며, 사용자가 필요로 하는 품질에 대한 평가 부분은 미흡하다. 본 논문에서는 임베디드 소프트웨어 테스팅 도구를 이용하여 임베디드 소프트웨어의 품질을 평가할 수 있는 방법에 대해 연구한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.451-453
• /
• 2001

인터넷의 폭발적인 성장은 웹 어플리케이션의 증가에 영향을 주었다. 웹 관련 기술의 발전과 다양한 비즈니스 요구사항은 웹 어플리케이션을 점점 더 복잡하게 했고, 따라서 품질과 신뢰성이 중요해졌다. 이 논문에서는 웹 사용자 인터페이스의 테스팅 자동화에 대한 방법을 제시한다. HTML페이지의 객체와 자바스크립트의 객체를 매핑시켜, 사용자 입력 폼에 대한 테스트 케이스를 자동으로 생성해서 UI 테스팅을 자동화하는 방법을 보여준다. 또한 제안된 방법으로 테스팅 자동화 사례를 보여준다.

• 정보처리학회논문지D
• /
• 제9D권1호
• /
• pp.103-110
• /
• 2002

컴포넌트 기반 소프트웨어 개발에서 컴포넌트 각각의 품질은 전체 소프트웨어의 품질을 결정하는 중요한 역할을 하므로 컴포넌트를 체계적으로 테스팅할 수 있는 전략이 필요하다. 일반적으로 컴포넌트를 테스팅하는 관점은 크게 컴포넌트 생산자 입장과 구매자 입장으로 구분할 수 있다. 본 논문에서는 컴포넌트 구매자 입장에서도 생산자의 산출물을 테스팅 근거 자료로 활용할 수 있도록 테스팅 도메인을 컴포넌트 생산자 입장에서 전개한다. 컴포넌트의 품질을 평가하기 위해 반복(Iteration) 테스팅 지침(Testing Guideline)에 중점을 두고 있는 현재의 RUP 테스팅 프로세스를 개선하여 컴포넌트 단위 테스팅에 초점을 맞춘 실질적인 프로세스를 구체적으로 제안하고 EJB 환경하에서 컴포넌트의 품질을 평가하는 사례 연구를 적용해 본다. 이를 통하여 본 논문에서 제시한 RUP기반 5단계 테스팅 프로세스가 컴포넌트의 품질평가를 위해 적용 가능한 것임을 보인다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2002년도 창립기념 학술대회
• /
• pp.226-230
• /
• 2002

오늘날 우리가 개발하는 소프트웨어 시스템은 사람의 실수로 인하여 문제가 생기는 경우가 너무나도 많다. 소프트웨어 테스팅은 품질보증에서 가장 중요한 부분이며, 특히 소프트웨어의 명세, 디자인, 코드 구현 부분에 대한 객관적인 평가를 가능하게 한다. 국내에서는 아직까지는 소프트웨어 테스팅 및 품질보증 활용의 경우가 미흡한 실정이지만 외국의 경우 개발비용의 40% 이상이 테스팅에 소요되는 경우도 있다. 본 고에서는 해외 IT 기업의 테스팅 수행 현황을 조사함으로써 IT 분야에 있어서 소프트웨어 테스팅 및 품질보증의 역할이 무엇인가를 살펴보도록 하겠다.

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

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

• 한국철도학회논문집
• /
• 제12권1호
• /
• pp.81-87
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프트웨어에 의존성이 더욱 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성에 대한 테스팅이 더욱 중요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 코딩규칙의 테스팅 자동화 도구의 적용을 제안하였으며, 코딩규칙 테스팅 자동화 도구의 구현 및 적용결과를 제시하였다. 구현 툴에서의 테스팅 항목은 철도시스템 소프트웨어 관련된 국제규격과 MISRA-C 기준을 참조하였다. 본 열차제어시스템 테스팅 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.475-477
• /
• 2004

네트워크의 발달과 함께 현대의 시스템들은 다른 시스템들과 서로 연동되어 운영되는 경우가 증가하고 있다. 그래서 시스템 자체의 테스팅 뿐만 아니라 다른 시스템과의 연동에 관한 상호운용성 테스팅 또한 중요하게 인식되고 있다. 기존 상호운용성 테스팅에 관련된 연구들에서는 EFSM(Extended Finite State Machines)을 기반으로 행위를 모델링 한 상태전이 정보를 토대로 테스트 케이스를 생성하는 연구가 많이 진행되어 왔다. 그러나 모든 범위의 상호운용성 테스팅에 적용할 수 있는 체계적인 테스트 프로세스에 대한 연구 및 테스트 케이스 생성의 기반이 되는 EFSM 모델 생성에 관한 체계적인 연구 또한 미흡한 실정이다. 본 논문은 완전한 상호운용성 테스팅을 위해 EFSM 기반 행위 모델링 기법을 제안하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.271-273
• /
• 2003

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제24권1호
• /
• pp.1-7
• /
• 2011

MVC는 유지보수가 쉬워 효율적인 개발이 가능한 아키텍처이다. 웹과 PC환경의 애플리케이션뿐만 아니라 모바일 애플리케이션 개발에 많이 적용됨에 따라 그에 대한 테스팅 또한 중요하다. 기존에 MVC 아키텍처를 적용한 개발에 초점을 둔 연구는 많았으나 MVC 아키텍처의 특성을 고려한 효율적인 테스팅을 위한 연구는 많지 않았다. 따라서 본 논문에서는 MVC 아키텍처 기반 애플리케이션의 효율적이고 정확한 테스팅을 위한 연구를 진행한다. 모델-뷰-컨트롤러의 융합된 상태를 담았던 기존의 상태 다이어그램을 뷰 상태와 모델-컨트롤러 상태 다이어그램으로 분리하고 테스트 케이스를 작성한 후, 테스트를 진행한다.