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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.41-46
• /
• 2007

소프트웨어 테스팅을 위해서 테스트 케이스를 작성하는 작업은 어렵고 많은 비용을 요구한다. 예로 약 100,000라인의 코드를 테스트하기 위해서는 천문학적인 테스트 시나리오들이 필요할 수도 있다. 따라서 경험 있는 테스터들은 필요한 테스트 케이스들만을 선별적으로 사용하고자 한다. 그리고 이를 위한 많은 테스트 기법들이 연구되고 있다. 그러나 다수의 연구 자료들은 기법의 효과를 이론적으로만 제시한다. 일부 사례를 통해서 그 효과를 제시하는 자료들도 있으나 그 적용 과정이 구체적이지 않아 신뢰를 얻기가 어려운 경우가 많다. 본 논문에서는 업계에서 많이 사용되는 9가지 테스팅 방법들을 소개하고 이들을 실제 개발 과제에 적용 하였다. 그리고 각각의 결과를 비교하고 분석하였다. 본 논문의 결과를 일반화하기는 어려울 것이다. 하지만 하나의 사례 연구로서 참고되고 활용될 수 있을 것이다.

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

소프트웨어 테스팅은 소프트웨어의 개발 과정에 있어서 가장 중요하고 많은 비용이 드는 부분이다. 소프트웨어 테스팅을 수동으로 행하는 것은 많은 문제를 발생시킬 수 있다. 소프트웨어 자동 테스팅을 하기 위해서 최근 활발히 연구되고 있는 부분이 모델 기반 소프트웨어 자동 테스팅 기법이다. 본 논문에서는 UML 모델 기반 테스트 케이스 자동 생성 기법을 제안한다. UML state chart 로 모델링 된 테스트 대상 소프트웨어를 제안된 자료구조에 저장 한 후, 이를 flow graph 로 변환한다. 최종적으로 변환된 flow graph 에서 테스트 케이스를 생성한다.

• 한국인터넷방송통신학회논문지
• /
• 제12권1호
• /
• pp.123-132
• /
• 2012

이 논문은 콘콜릭 테스팅을 특화한 목적 지향 테스트 데이터 생성 방법을 제안한다. GCT(Goal-oriented Concolic Testing)라 불리는 제안된한 특정 목표를 실행하는 테스트 입력을 생성한다. 콘콜릭 테스팅은 요구되는 테스트 입력을 발견할 때 까지 모든 가능한 경로 공간을 탐색하는 브루트 포스 방식으로 간주할 수 있다. 대조적으로 GCT는 자료 흐름 정보를 활용하여 목표가 실행되기 위해 먼저 수행되어야 하는 문장들을 식별하여 탐색되는 프로그램 경로의 수를 제한한다. 플래그 변수가 있는 실험을 통해 GCT의 효과성을 보인다.

• 한국멀티미디어학회논문지
• /
• 제14권6호
• /
• pp.766-774
• /
• 2011

본 연구에서는 소프트웨어의 테스팅 과정을 통해서 발견된 결함을 품질 특성별로 분석하여 테스트케이스를 만들 경우 소프트웨어 테스팅의 기초 자료로 활용할 수 있도록 제시한다. 소프트웨어 테스팅 과정에서 발견된 결항은 기능성, 사용성, 신뢰성, 효율성, 유지보수성, 이식성 결함으로 시험 과정을 통해서 발견된 결함을 각 제품별 특색에 따라서 6개의 품질 특성별 결함으로 구분하였다. 소프트웨어 제품별로 발견된 결함을 분석하여 공통적인 결함의 요인을 찾고 본 연구를 위해서 사용된 결함리포트의 결함수를 조사하여 각 품질 특성별로 결함수에 대한 상대적 비교를 통해서 가중치를 적용할 수 있는 방안을 검토하였다.

• 한국수자원학회논문집
• /
• 제33권2호
• /
• pp.247-262
• /
• 2000

본 연구에서는 낙동강유역의 주요 수위표지점중 진동수위표지점에서 홍수위를 예측하기위한 신경망모형인 WSANN모형이 제시되었다. WSANN모형은 모멘트방법, 초기조건의 개선 및 적응학습속도에 의해 보완되어진 개선된 역전파훈련 알고리즘을 이용하였고, 본 연구에 사용된 자료는 훈련자료와 테스팅자료로 분할하였으며, 최적 은닉층 노드수를 결정하기 위하여 은닉층노드와 임계학습횟수로부터 경험식이 유도되었다. 그리고 WSANN모형의 보정은 4개의 훈련자료에 의해 실시되었으며, WSANN22와 WSANN32모형이 모델의 검증에 사용될 최적모형으로 결정되었다. 모형의 검증은 훈련되지 않은 2개의 테스팅자료를 이용하여 모형의 적합성을 평가하기 위하여 이루어 졌으며, 통계분석의 결과를 통하여 홍수위를 합리적으로 예측하는 것으로 나타났다. 따라서 본 연구의 결과를 기본으로 신경망기법을 이용한 실시간 홍수예경보 시스템의 구축 및 홍수위의 제어에 관한 지속적인 연구가 필요것으로 사료된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.645-647
• /
• 2017

스마트팩토리 테스트베드 구축을 위해서는 생산 공정 및 제품 테스팅을 포함한 지속적 자료 수집 환경이 요구된다. 이 논문에서는 테스팅 환경의 장치 및 센서를 정의하기 위한 CDM(Common Device Model)을 기반으로 작성된 마크업언어인 SML(Sensor Markup Language)을 기술하고 이를 기반으로 구성된 소프트웨어 센서의 활용을 기술한다. 통지 모델을 기반으로 센서로부터 수집된 센싱자료와 상태 정보를 수집하기 위한 소프트웨어 아키텍처을 설계하였으며, 이는 테스트베드 시스템 개발의 참조모델로서 사용한다.

• 한국정보처리학회논문지
• /
• 제4권8호
• /
• pp.1987-1994
• /
• 1997

ATM 교환기 소프트웨어 품질 특성은 신뢰성이 높고 기능성, 확장성 및 유지 보수성이 조아야만 한다. 소프트웨어의 개발 과정이나 설계 후에 이러한 품질 특성이 만족되었는지의 여부를 평가하고 검증하는 테스팅 도구들은 많이 개발되어 왔으나 ATM 관련 소프트웨어의 품질 평가 도구는 기능성에서 뒤떨어지고 품질면에서도 부적합하다. 본 논문에서는 CHILL 언어로 작성된 ATM 교환기 소프트웨어를 대상으로 이를 평가하기 위한 테스팅 분석자료, 디버깅 및 유지 보수 정보를 제공하는 정적 도구를 설계하여 구현한다. 이 도구는 입력 프로그램에 대한 높은 가시성을 제공하여 병렬 프로세싱에 관한 정보를 통계표와 그래프로 나타내는 특성을 갖는다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.999-1010
• /
• 2003

프로그램 슬라이싱은 프로그램의 특정 지점에 나타난 변수의 값에 영향을 미치는 문장들을 프로그램으로부터 추출하는 방법이다. 프로그램 슬라이싱은 프로그램 디버깅, 프로그램 테스팅, 프로그램 통합, 병렬 프로그램 실행, 소프트웨어 메트릭스, 역공학, 유지보수 등 여러 응용 분야에 적용할 수 있다. 본 논문에서는 포인터 변수, 포인터 변수가 참조하는 객체, 배열, 구조체가 같은 복잡한 자료구조가 나타나는 프로그램에서 정확한 슬라이스를 추가하기 위한 알고리즘을 제안한다. 복잡한 자료구조가 나타나는 프로그램 상에서 객체의 보다 더 정확한 정적 분석 정보를 생성하기 위해 객체 참조상태 그래프를 제안하고, 그 효율성을 보였다.

• 전기의세계
• /
• 제45권2호
• /
• pp.25-31
• /
• 1996

본 고에서는 국내에서 대리점을 통해 구할 수 있는 전자계 관련 CAE 소프트웨어의 선택에 도움을 주고자, 가장 많이 사용되는 전자계 유한요소(FEM)해석에 관련된 전문 제품을 5개 선정하여 자료를 정리하고 장단점을 비교하였다. 자료의 입수는 우선 국내대리점에게 제품의 요약된 설명과 영문 카탈로그를 요청하였고, 인터넷의 WEB 사이트를 통해 직접 정보를 입수하였다. 독자에게 양해를 구하고자 하는 것은 본 자료가 엄밀한 Bench Mark 테스팅을 거치지 못했다는 것과 모든 소프트웨어를 실제 수행해서 얻은 정보가 아니라는 점이다. 본 기사의 의미는 소프트웨어의 순위가 아니라 비교적 정리된 데이터로서 선택을 위한 참조자료 정도로 생각해 주기 바란다.