• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.623-626
• /
• 2005

임베디드 소프트웨어가 날이 갈수록 그 규모가 커지고 복잡해짐에 따라 임베디드 소프트웨어의 품질에 대한 검증 및 테스트는 중요한 문제로 부각하고 있다. 임베디드 소프트웨어의 신뢰성을 확보와 비용절감을 위한 테스트 자동화 시스템의 개발이 필요하다. 이 문서는 테스트 자동화 시스템을 구축하는 과정에서 테스트 대상인 임베디드 시스템의 입출력 변수들의 조작을 통하여 시스템 의존적인 부분을 효과적으로 일반화 시키는 방법을 제시한다. 이 방법을 통하여 테스트 명령을 간소화 할 수 있었으며 테스트 자동화 시스템의 모델을 보다 일반적이고 쉽게 표현할 수 있었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.249-251
• /
• 2021

본 논문에서는 WEB대상으로 UI테스트를 최초 설계할 때, 웹로그를 분석하여 사용자들의 패턴을 파악하고 자동으로 테스트 시나리오와 케이스를 설계하여 제공하는 시스템을 제안한다. 이 시스템은 메세지큐를 활용하여 로그 데이터를 효율적으로 수집할 수 있고, 분석 시스템과 사용자들이 사용하는 웹서버를 분리하여 로그분석으로 인한 시스템 과부하 현상을 예방 할 수 있다. 또한 로그분석을 통해 추출된 데이터를 통해 사용자들이 실제로 자주 사용하거나 사용했던 사용 경로를 이용하여 자동으로 테스트 시나리오와 테스트 케이스에 대한 자료들을 접할 수 있어 테스트 분석, 설계 과정에서의 소요되는 시간이 감축되는 것을 기대할 수 있으며, 실제 사용자들이 자주 이용하는 패턴으로 테스트 대상을 정할 수 있기 때문에 후에 테스트를 통한 결함이 조치가 된다면 사용자들이 결함 경험을 줄일 수 있을 것이라 기대한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2003.11a
• /
• pp.657-665
• /
• 2003

ERP 시스템은 전사 통합 관점에서 기업 전체의 업무를 관리하기 때문에, 업무 집중도가 높고, 처리량이 많으며, 업무가 Waterfall 모델로 설계된 부분이 많은 특성이 있어, 어느 한 부분의 성능 문제가 전체 시스템 운영의 중대한 Issue로 확대될 가능성이 크다. 본 논문을 통해서 ERP 시스템의 성능 Issue를 사전에 점검할 수 있는 성능 테스트(Performance Testing) 방법을 연구했고, 실제 ERP 시스템 구축 Project에 투입되어 성능 테스트를 진행한 사례를 고찰하여, 발견된 Issue를 토대로 ERP 시스템의 성능을 최적화하고 시스템을 안정적으로 운영할 수 있는 방안을 연구해 보았다.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.803-806
• /
• 1999

고성능 시스템이 개발됨에 따라 실시간 테스트의 중요성이 증가하고 있다. 메모리의 경우 저장된 값을 보존하면서 테스트할 수 있는 Transparent 테스트 알고리듬들이 개발되고 있다. 본 논문에서는 테스트 시간과 오버 헤드를 줄일 수 있는 새로운 Transparent 테스트 알고리듬을 제안한다. 제안하는 알고리듬은 SRAM의 전이 쓰기 동작 중에 발생하는 동적 전원 전류를 이용하는 방법이다. 동적 전원전류와 고장 모델과의 상관 관계를 규명한 결과 기존의 알고리듬보다 많은 고장 모델들을 테스트 할 수 있음을 발견하였다. 또한 쓰기 동작 중의 전류를 감지하기 때문에 압축치를 생성할 필요가 없어 그에 따른 테스트 시간과 오버 헤드를 줄일 수 있다. 본 논문에서는 기존의 March 알고리듬들을 본 테스트 방법론에 적합하도록 변형하는 방법을 설명하고 기존의 transparent 알고리듬과의 테스트 시간 고장 검출률 그리고 BIST 구현시의 하드웨어 오버헤드 측면에서 비교를 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1597-1600
• /
• 2003

컴퓨터시스템은 여러 가지 복잡하고 민감한 시스템을 제어하는데 광범위하게 쓰이고 있다. 최근에 와서는 운영시스템, 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱더 복잡화 및 대형화되고 있기 때문에 신뢰성이 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 소프트웨어 제품개발에 있어서 소프트웨어의 신뢰도가 핵심사항이다. 1970년대 이후 소프트웨어의 신뢰성을 향상시키기 위한 여러 가지 소프트웨어의 신뢰도 모델이 제시되고 검토되었으며, 특히, 소프트웨어 개발 후 테스트단계에 적용하는 신뢰도를 추정하고 예측하는 모델이 많이 개발되었다. 소프트웨어가 주어진 시간간격동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트과정을 계속해서 반복 및 수정하면 더욱 더 증가된다. 그러한 결함검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장 모델(SRGM)이라 한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1877-1878
• /
• 2008

고품질, 고 신뢰도를 지향하는 미래 지능형 전력시스템에 대한 기대와 함께 전력 기기 및 설비의 디지털화에 관심이 집중되면서, 전력시장에서는 전력정보의 양방향 교환 표준을 위한 공통정보모델(CIM : Common Information Model)의 개발 및 활용이 새로운 화두로 부상하였다. CIM은 차세대 전력시스템과 미래형 부가서비스 등의 전반적인 운영측면에서 혁신을 이루는데 사용할 수 있도록 표준화된 데이터교환 모델이다. 이는 전력시스템 내 모든 다양한 객체(변전소, 송전선, 변압기, 차단기, 설비자산, 작업지시, 작업원 등)들이 어떻게 상호 연결되는지를 표현하는 방식이다. 최근 CIM/GID(GID : Generic Interface Definition)에 대한 관심이 고조되면서 CIM/GID를 어떻게 도입하고 활용할 것인가에 대한 논의가 활발하다. 그 활용 방안의 일환으로 개발된 시스템에 대한 상호 운용성 테스트를 수행함으로써 제품 또는 시스템의 표준화 준수 여부와 활용성에 대한 검증이 가능하다. CIM/GID 상호운용성 테스트는 UCA International Users Group에서 가입 회원들을 대상으로 지속적으로 진행되고 있다. 본 논문에서는 미국 클리블랜드에서 2003년 11월 18일$\sim$20일 사이에 진행되었던 5차 CIM/GID 상호운용성 테스트 결과를 토대로 CIM/GID와 CIM XML의 상호 운용성 테스트 방안을 소개하고자 한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2000.11a
• /
• pp.453-460
• /
• 2000

S/W 신뢰도는 보통 NHPP와 같은 신뢰도모델에 의해서 평가한다. S/W 시스템은 테스트 단계에서 품질이 향상되고 운영단계에서는 거의 변화가 없다. 신뢰도를 테스트 단계에서 추정할 것인가 아니면 운영단계에서 추정할 것인가의 여부에 따라서 그 추정방법이 달라져야한다. 본 논문에서는 두 가지의 상이한 신뢰도개념 즉 운영신뢰도와 테스트 신뢰도를 명확히 구분하여 자세히 고찰한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.307-309
• /
• 2005

빠른 산업 발전 속에서 조직과 시스템이 복잡하고 대형화되면서 소프트웨어 품질을 향상시키고 그들의 신뢰성을 측정하기 위한 성숙도 모델들이 개발되었다. 그 중에서도 CMM와 이를 발전시킨 CMMI는 많은 조직에서 적용하기 위해 노력을 기울이고 있다. 하지만 두 모델들은 테스트 속성과 테스트 프로세스에 대한 언급이 부족하다. 본 논문에서는 모든 영역을 고려한 새로운 모델을 만들기 보다는 테스트 중심으로 개발된 TMM을 사용하여 CMMI과의 매핑을 통해 소프트웨어 조직의 생산품질과 신뢰성을 향상 시키는 방법을 제안한다. 논문에서는 CMMI 단점과 이를 보완하는 방법을 제안하고 이를 위해 TMM과 CMMI의 매핑전략에 언급한다. 이를 통해 기대되는 효과를 제시한다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.843-852
• /
• 2001

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.