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

본 논문에서는 임베디드 시스템 테스트에 많이 사용되는 테스트 항목이 기술된 체크리스트를 기반으로 테스트 케이스를 자동으로 생성하기 위한 방법을 제안한다. 일반적으로 체크리스트에는 테스트하고자 하는 항목이 정의되어 있다. 하지만 대부분의 테스트 케이스 생성 전략에서는 테스트 하고자하는 항목뿐만 아니라 다양한 변이 조건에서도 테스트하기를 권하고 있다. 제안하는 방법은 한글로 기술된 체크리스트를 분석하여 시스템 입출력과 연산 정보를 찾아낸다. 그리고 찾아낸 정보와 설정하는 테스트 케이스 생성 전략에 따라 테스트 케이스를 자동으로 생성한다. 이 방법은 테스트 케이스를 수동으로 생성할 때, 일으킬 수 있는 오류를 줄일 수 있을 뿐만 아니라, 체크리스트에는 기술되지 않는 다양한 변이 테스트 케이스도 생성할 수 있다. 제안된 방법은 구현되고, 실제 의료기기용 임베디드 시스템의 체크리스트를 사용하여 실험을 진행한다. 실험에서는 체크리스트로부터 여러 커버리지에 적절한 테스트 케이스가 오류 없이 통계적으로 정확히 생성되었음을 확인할 수 있어서 제안된 방법의 유용성을 보여준다.

• 정보과학회 논문지
• /
• 제42권9호
• /
• pp.1117-1123
• /
• 2015

소프트웨어의 규모측정 기법 중 하나인 유스케이스 점수(Use Case Points; UCP)는 고객 기능 요구사항에 기반하여 규모를 측정한다. 이 때 요구사항 분석자의 유스케이스 추상화 수준에 따라 유스케이스 수의 차이가 발생하고, 이는 UCP에 많은 영향을 미친다. 본 논문에서는 요구사항 분석자의 추상화 수준에 따른 유스케이스 수의 편차를 줄이기 위해 단위기능으로 분할하는 방법을 제안함으로써 측정자에 따른 UCP의 편차를 줄이고자 한다. 이 방법은 스텝, 트랜잭션, Narrative 중심으로 접근한 기존의 UCP 방법보다 측정자에 따른 UCP의 편차를 줄일 수 있어 신뢰성 있는 소프트웨어 규모측정이 가능하다.

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

기존 연구에서는 순차적, 상태, 엑티브 다이어그램 기반의 테스트케이스 추출을 초점을 두고 있다. 하지만 현재 최신의 모델링 언어인 UML2.4.1(Unified Modeling Language) 기반으로 한 테스트케이스 추출 메커니즘은 없다. 그래서 본 논문은 UML2.4.1 기반에 기존의 원인-결과 다이어그램의 접목을 통해 테스트케이스 추출 메커니즘을 제안 한다. 이를 위해 UML2.4.1 의 메시지-순차적 다이어그램에 ECA Rule(Event Condition Action)기법을 적용하고, 제안한 접목 알고리즘을 통해 확장된 메시지-순차적 다이어그램을 원인-결과 다이어그램과 접목한 후, 결정 테이블화로 테스트케이스를 발생한다. 이러한 절차를 통해 모델링 기반에서 테스트케이스 추출 가이드가 제공된다. 본 논문에서는 복잡한 메시지-순차적 다이어그램을 통해 테스트케이스 발생 사례연구로서 자동차 와이퍼 시스템을 적용한다.

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

최근 퍼징(Fuzzing, Fuzz Testing)이 소프트웨어의 취약점을 찾아내기 위한 방법으로 활발하게 사용되고 있다. 퍼징은 반복적으로 비정상적인 데이터를 무작위로 생성하여 대상 소프트웨어에 입력 값으로 전달해 오작동을 유도하고, 오작동의 원인을 분석하여 소프트웨어의 취약성을 찾아낸다. 퍼징에서 사용되는 입력 값인 테스트 케이스에 따라서 취약점 탐지율 및 탐지 시간이 결정된다. 따라서 어떻게, 어떤 테스트 케이스를 생성하여 퍼징을 실행 할 것인지가 퍼징 연구의 핵심이다. 퍼징을 위해 생성하는 테스트 케이스는 숫자가 굉장히 많기 때문에 최근에 테스트 케이스의 크기를 축약하여 퍼징 결과 분석을 위해 소요되는 시간을 줄이는 연구가 발하게 진행되고 있다. 본 논문에서는 테스트 케이스 축약에 이용되는 다양한 알고리즘들에 대해 소개하고, 그 각각을 비교 분석하여 향후 퍼징의 테스트 케이스 축약에 관한 연구에 기여하고자 한다.

• 한국중재학회지:중재연구
• /
• 제22권3호
• /
• pp.93-118
• /
• 2012

본 연구는 지적재산분쟁의 중재에 대한 미국 케이스에 관한 연구입니다. 본 연구의 목적은 한국의 지적재산분쟁의 중재에 대한 추후 연구와 가까운 장래에 비교연구를 위해서 지적재산에 관련된 케이스들에 관하여 미국의 연구들을 논하는데 있습니다. 본 연구에서 지적재산 관련 사건들의 중재에 관한 미국케이스들을 채택하였습니다. 그리고 본 연구의 목적 달성과 효과적인 연구를 성취하기 위해 그 케이스들을 인용하였습니다. 그러므로, 본 연구의 구성은 특히, 라이센싱분쟁의 중재, 특허분쟁의 중재, 저작권분쟁의 중재를 위하여 지적재산분야와 중재 분야에 있는 케이스로 이루어져 있습니다. 중재조항은 분쟁에 관해 누가 결정할 것인가 그리고 분쟁이 중재 가능한가 아닌가에 관하여 법원에서 중재적격 문제들을 분석할때에 계약 원칙을 적용하게 됩니다. 일반적으로, 중재적격의 의문은 사법적 분야의 질문에 관한 것 입니다. 그러나, 중재조항이 분명하고, 명백하고, 오해없는 문구들인 곳에서 법원은 연방 중재법이 중재조항과 중재범위를 포함하고 있기 때문에 중재를 존중합니다. 그러므로, 저런 경우에 중재인은 중재적격을 판단 할 수 있습니다. 그러나, 미국에서 법원은 어떤 케이스들은 ICC 룰로 구속되어지고 그리고 다른 케이스들은 AAA 룰로 구속 되어지는 것을 발견했습니다. 어떤 룰이던지 간에 중재조항은 주의깊게 만들어야만 하고 그리고 분명하고 명백한 구문을 제공하여야만 한다는 것을 법원에 의해 요구되어지고 있습니다. 본 연구에서 발견한 점들은, 라이센싱분쟁의 중재에 있어서, 중재합의의 범위가 광범위 또는 제한적일지라도 양 당사자의 중재조항을 위해 계약에서 분명하고 명확한 문구를 만드는 것이 중요합니다. 이것은 우리에게 계약의 원칙이 분쟁에서 적용 되어지고 있다는 것을 보여 주고 있습니다. 그래서, 중재조항의 조문은 법원이나 중재인에게 논쟁 또는 오역이 없게 확실하고 분명하게 명시하여야 합니다. 특허분쟁의 중재에 있어서, 대부분 법원들은 케이스들을 분석할때에 광범위한 중재조항에 따라오고 있습니다. 중재적격 결정의 테스트로서 계약에서 "arising under" or "relating to" 구절은 ADR을 위해 그리고 분쟁의 예방을 위해 중재가 광범위한 문구를 포함하고 있는가 아닌가를 보는데 중요합니다. 더구나, 특허 또는 특허관련 권리들 하에서, 중재는 연방중재법에 의해 지배되기 때문에 계약은 특허 유효성 또는 침해 문제들이 중재를 통한 분쟁을 해결하도록 하나의 문구를 포함해도 됩니다. 그러므로, 이 분석은 미국의 케이스들을 비교한 결과로서, 한국중재법도 또한 모든 필요한 조문들이 그것들이 광범위하건 제한된 범위이건 간에 모호한 이슈들을 피하기 위해 분명하고 오해없는 문구들이여야 한다는 것을 제시합니다. 지적재산분쟁의 중재에 있어서, 케이스에 근거하여 발견한 점들은 저작권법을 포함한 광범위한 중재조항이 있는 경우 저작권의 유효성은 법원이 독점할 수 없다고 법원은 판단했습니다. 그리고 연방중재법은 법원이 청구취지가 중재가능한 클레임들에(arbitrable claims) 관하여 중재를 강요하도록 지원하고 있습니다. 이것은 저작권 케이스일지라도 계약에 있어서 중재조항이 법원이 중재를 강요하도록 중재가능한가 아닌가 결정하는데 분쟁에 있어 중요한 역학을 한다는 것을 제시합니다. 그러므로, 본 연구는 계약에서 광범위한 중재조항은 중재인이 지적재산 클레임에 대해 판정 또는 룰을 결정하게 허용한다는 것을 발견했습니다. 본 연구의 결과들은 계약에 있어 중재의 범위는 계약의 원칙을 적용한다는 것입니다. 그리고 중재조항에 있어서 침해와 유효성 문제들의 결정은 계약 해석에 관련되어 있다는 것을 제시합니다. 그러므로, 양 당사자가 분명하고 명확하게 달리 결정하지 않았다면, 양 당사자가 중재에 대해 동의했는가 아닌가의 의문점은 법원에 의해 결정되어지는 것입니다. 이것은 분명하고 명확한 문구가 중재조항에 존재하지 않는다면 중재인에 의해 결정되지 않는다는 것을 뜻합니다. 중재조항은 명백하게 중재인에게 결정의 권한을 주어야만 한다는 것입니다.

• 정보화사회
• /
• 통권181호
• /
• pp.59-61
• /
• 2006

휴대폰.PMP.MP3P 등 디지털기기 시장이 커지면서 주변기기들도 소비자들의 관심을 받고 있다. 이들 기기를 보호하는 케이스 판매량이 최근 크게 늘고 있는 것. 휴대폰의 경우, 슬림폰과 컬러폰의 유행으로 온라인 시장에서 케이스 매매가 급증하고 있다. PMP도 제품 보호를 위한 가죽소재 가방(파우치)과 아머케이스(armorcase)가 필수품으로 인식되면서 판매량이 늘고 있다. PMP제조사들은 신제품 출시 때, 이를 포함한 팩키지 상품을 판매하는 게 현재 추세다. 가격대가 떨어지면서 보급화되다시피한 MP3P에서는 패션을 강조하는 케이스가 젊은층에게서 인기를 끌고 있다.

• 베이커리
• /
• 8호통권349호
• /
• pp.72-73
• /
• 1997

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.44-57
• /
• 2006

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호 운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다.

• 정보처리학회논문지D
• /
• 제12D권2호
• /
• pp.283-288
• /
• 2005

테스트 케이스 우선 순위화는 회귀 테스팅이 시간 제약 하에서 주어진 모든 테스트 케이tm를 수행할 수 없을 때 테스트 케이스의 실행 순서를 스캐쥴링하는 것이다. 본 논문에서는 장기적인 회귀 테스팅 환경에서 과거의 테스트 실행 및 오류 검출 정보를 활용한 HED우선 순위화 방법을 제안하고, 이를 기존의 Random 및 LRU 방법과 비교하였다. 본 실험을 통해 몇 가지 중요한 통찰을 얻을 수 있었다. 첫째, 우선 순위화 방법들이 프로그램의 특성에 따라 성능 면에서 상호 보완적이라는 점이다. 오류를 찾는 테스트 케이스들을 많이 갖고 있는 프로그램의 경우에는 Random이 효과적이고, 상대적으로 오류를 찾는 테스트 케이스의 비율이 작은 경우에는 제안된 HED방법이 좋은 성능을 보였으며, 중간 정도인 경우에는 LRU 방법이 효과적이었다. 둘째, 전체적인 성능이 테스트 스위트의 크기에 영향을 많이 받는다는 점이다. 테스트 스위트의 크기를 달리하여 실험한 결과 오류의 수명 값과 그 성능 순위에 차이를 보였다. 마지막으로 전체 테스트 케이스의 $20\%$만을 실행하여도 전체 테스트 케이스 모두를 실행하는 것과 성능 면에서 유사한 결과를 얻을 수 있다는 점 등이다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제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) 모델을 이용하여 성능을 평가한다.