• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.57-66
• /
• 2007

소프트웨어 산업의 발전에 따라 소프트웨어 개발조직에서는 소프트웨어 품질이 중요한 이슈로 부각되었다. 특히 여러 종류의 테스트 성숙도 모델을 통해 조직의 소프트웨어 테스트 성숙도 향상에 대해 다양한 방면으로 시도하고 있다. 하지만 현재 테스트 성숙도를 측정할 수 있는 모델들은 기존의 개발 성숙도 측정 모델을 기반으로 개발하여 테스트 부분에 대한 언급이 부족하고 단지 테스트 성숙도 레벨만을 측정하였다. 이러한 문제점을 해결하기 위해 소프트웨어 개발프로세스와 한께 테스트 프로세스를 수행할 수 있도록 이중 V모델과 테스트 성숙도의 용이한 평가를 위한 테스트 평가 속성과 레벨을 정의한 테스트 속성과 상호관련 매트릭스를 제안하였다. 테스트 프로세스 개선(Test Process Improvement: TPI)의 개선제안(Improvement Suggestion) 방법을 통해 테스트 성숙도 모델 확장하고, 측정된 성숙도를 향상시킬 수 있는 개선방향을 제시한다. 또한, 본 연구에서 제안하는 테스트 성숙도 상호관련 매트릭스는 테스트 성숙도를 정량적으로 평가하기 위해 사용하였다. 결과적으로는 확장된 테스트 성숙도 모델을 통해 조직의 테스트 성숙도를 높이는데 기여 할 수 있으리라 생각한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권6호
• /
• pp.235-242
• /
• 2019

본 논문에서는 제어기 기능이 표현 된 변경된 MATLAB Simulink/Stateflow(SL/SF) 모델의 재사용 가능한 테스트 케이스 도출 기법을 제안한다. 자동차의 ECU(Electrical Control Unit)와 같이 복잡한 SL/SF 모델의 테스트 케이스를 작성하는데 많은 시간과 노력이 필요하다. 모델이 수정 될 때마다 새로 만들어낼 테스트 케이스를 줄이기 위한 직관적인 방법은 수정 전 모델에서 생성한 테스트 케이스 중 일부를 재사용하는 것이다. 본 논문에서는 모델 행동을 정의하고 테스트 케이스 별 모델 동등성을 판단하여 수정 후 SL/SF에 재사용 가능한 테스트 케이스를 도출하는 방법을 제안한다. 제안된 테스트 케이스 재사용 기법은 상용 자동차 제어기 모델을 이용하여 성능을 평가한다.

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

본 논문에서는 소프트웨어 테스트 단계중에 발생되는 테스트노력 소요량을 고려한 소프트웨어 신뢰도 성장 모델을 제시하여 시간종속적인 테스트 노력소요량 동태를 일정 테스트 노력일 때와 웨이블 테스트 노력일 때를 비교하여 연구한다. 테스트 단계중에 소요되는 테스트노력의 양에 대한 결함 검출비를 현재의 절함 내용에 비례하는 것으로 가정하여 모델을 NHPP로 공식화하되, 이 모델을 이용하여 소프트웨어 신뢰도 척도에 대한 데이터 분식기법을 개발한다. 테스트 시간의 경과와 신뢰도와의 관계를 연구한다. 목표신뢰도를 만족시키는 최적발행시각을 정한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.19-30
• /
• 2015

스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.345-348
• /
• 2005

소프트웨어 개발 후 인도 전 테스트 단계중에 발생되는 테스트 노력 소요량을 고려한 소프트웨어 신뢰도 성장 모델을 제시하여 테스트 노력소요량 동태를 시간함수인 로지스틱 곡선으로 설명한다. 테스트 단계중에 소요되는 테스트노력의 양에 대한 결함 검출비를 현재의 결함 내용에 비례하는 것으로 가정하여 소프트웨어 신뢰도 성장 모델을 비동차 포아송 프로세스(NHPP)로 공식화하여, 이 모델을 이용하여 소프트웨어 신뢰도 척도에 대한 데이터 분석기법을 개발한다. 그간 여러 문헌에서 소프트웨어 신뢰도 향상 모델을 연구할 때 소프트웨어 테스트 중에 소요되는 테스트노력의 양으로서 지수함수 곡선, 레일레이 곡선, 웨이불 곡선을 사용해 왔다. 그러나, 모든 소프트웨어 개발 환경에서 지금까지 제시된 그러한 곡선중 하나에 의해서 테스트노력 소요 곡선을 표현하는 것은 적절하지 못하다는 것이 밝혀지고 있다. 본 논문에서는 로지스틱 테스트노력 곡선이 소프트웨어의 개발/테스트 노력곡선으로 적절하게 표현될 수 있다는 것과 실제 데이터를 근거로 하여 적용하여서 예측성이 매우 좋은 능력을 가지고 있다는 것을 보이고자 한다.

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

소프트웨어 품질의 중요성이 커짐에 따라, 기업들은 품질을 높이기 위해 테스트에 많은 노력을 기울이고 있다. 최근에는 테스트 성과를 높이기 위한 방법중의 하나로 테스트 프로세스 개선이 주목 받고 있다. 이를 위해 기업들은 SW-CMM(Capability Maturity Model for Software), CMMI(Capability Maturity Model Integration)와 같은 일반적인 프로세스 개선 모델들이나, TMM (Test Maturity Model), TPI (Test Process Improvement Model), TCMM (Testing Capability Maturity Model)과 같은 테스트 프로세스 개선 모델들을 적용하고 있다. 그러나 일반적인 프로세스 개선 모델들은 테스트 관련 이슈를 충분히 다루고 있지 않고, 테스트 프로세스 개선 모델들은 구조가 불완전하거나 내용이 충분하지 않아 적용 시 많은 어려움이 있다. 이에 본 논문에서는 TMM 과 CMMI 를 기반으로 조직들의 테스트 프로세스 확립이나 개선을 지원할 수 있는 새로운 테스트 프로세스 성숙도 모델인 TPMM(Test Process Maturity Model)을 연구, 개발하였다. 개발된 TPMM 을 통해 조직에서 테스트 프로세스를 개선하고, 심사하는 것을 지원할 수 있을 것으로 기대된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.593-594
• /
• 2020

본 논문은 급격하게 발전하는 IT기술의 발전과 그로 인한 기업들의 경쟁 속에서 수 많은 프로젝트들이 생성되는 현대 사회에서 이런 프로젝트들이 경쟁에서 이길 수 있도록 프로젝트가 빠르고 완성도 있게 만들어질 필요를 느끼고 기존의 프로젝트 개발 방법론과 테스트 설계 방법론 중 V모델을 연구해서 프로젝트 관리 시스템에 등록된 데이터를 기반으로 테스트가 자동 설계될 수 있게 함으로써 프로젝트 전체 기간을 줄이고 프로젝트 비용을 줄일 수 있는 방법을 제안한다. 이 논문에서 제안하는 모델을 확장시켜서 프로젝트 테스트 관리에 불필요한 설계 시간과 테스트 관리에 수월할 것이라 기대한다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권6호
• /
• pp.293-302
• /
• 2017

본 논문에서는 SMT (Satisfiability Modulo Theories) Solver인 Yices와 Simulink/Stateflow (SL/SF)의 모델 정보를 이용한 SL/SF 모델의 테스트 케이스 생성 기법을 제안한다. SL/SF 모델로부터 테스트 케이스 생성 시 발생하는 가장 어려운 점은 도달 가능성 문제를 해결하는 것이다. 제안하는 방법에서는 Yices와 모델 정보로부터 만들어진 테이블로 도달 가능성 문제를 해결한다. 제안하는 방법에서는 SL/SF 모델을 Yices의 입력 언어로 변환한 SMT 모델을 사용하여 테스트 케이스를 생성한다. SL/SF 모델로부터 생성된 정보들은 제안하는 테스트 케이스 생성 알고리즘의 Backward 프로세싱에 사용되어 테스트 케이스 생성 효율을 증가시킨다. 제안된 테스트 케이스 생성 기법은 상용 냉장고 제어시스템 모델과 자동차의 ECU (Electrical Control Unit) 모델을 이용하여 성능을 평가한다.