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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• 한국컴퓨터정보학회논문지
• /
• 제5권2호
• /
• pp.7-13
• /
• 2000

객체지향 프로그램의 테스트 적합성 기준에 근거한 구현기반 클래스 테스팅 방법을 제안한다. 데이터 멤버간 종속성과 테스트 데이터 적합성에 대한 공리들을 고려하여 흐름 그래프 기반 테스팅 기준을 만족시키는 테스트 케이스인 메소드의 시퀀스를 생성시킨다. 파생 클래스 테스팅을 위해서 유산관계와 실험을 통해 테스트 비용 절감을 검증한 부모 클래스에 대한 테스팅 정보의 재사용성을 고려한다.

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

기존에 위험기반 테스팅(Risk-based Testing) 방법은 널리 알려져 있다. 또한 가치기반의 소프트웨어 공학(Value-based SW engineering)이 고전적인 방법론과 더불어 대두되고 있다. 요구공학을 기반으로 하면서 소프트웨어의 생산절차를 가치(Value)를 기반으로 구성하고 있다. 본 논문에서는 위험기반 테스팅 기법을 Value-based Testing과 접목하여, 테스트케이스에 우선순위를 부여하고, 우선순위별로 적절한 테스트 기법을 도출, 적용하여 그 효과를 검증하고자 한다. 검증의 방법은 적용 전/후의 품질비용을 기준으로 한다.

• 디지털콘텐츠학회 논문지
• /
• 제18권3호
• /
• pp.457-463
• /
• 2017

주문형 비디오 서비스는 방송사 입장에서 기존 수신료와 광고 기반의 수익모델 외에 추가적인 수익모델을 제공하기 때문에 각 방송사들은 자신만의 주문형 비디오 서비스를 개발하고 매출 증대를 위하여 빈번하게 개선 작업을 수행하고 있기 때문에 개발업체는 주문형 비디오 서비스 개발의 효율성을 높이는 방법을 모색하고 있다. 본 연구는 이와 같은 개발업체의 요구를 근거로 주문형 비디오 서비스 개발에 피처지향 분석모델을 적용하기 위한 기반 연구를 수행하였다. 피처지향 분석모델은 다 수의 사례연구들을 통해 선택적 기능들이 많은 소프트웨어의 사용자 요구사항 분석에 효율적인 방법으로 인정받고 있다. 본 논문은 미국 카네기 멜론대학 SEI에서 개발한 FODA (Feature-Oriented Domain Analysis)를 활용하여 주문형 비디오 서비스의 피처모델을 개발하고, 피처모델에서 규명된 피처들과 피처들 간 논리적 관계를 바탕으로 주문형 비디오 서비스의 기능들을 명세하고, 그 기능들을 테스트할 수 있는 테스트케이스들을 설계하였다. 이런 일련의 연구는 주문형 비디오 서비스 개발에 피처지향 분석모델을 적용하기 위한 토대를 이룬다.

• 정보보호학회논문지
• /
• 제28권4호
• /
• pp.919-928
• /
• 2018

OOB(Out-Of-Bounds)는 힙 메모리에서 발생하는 취약점 중 가장 강력한 취약점 중 하나이다. OOB 취약점을 이용하면 Array의 길이를 속여 해당 길이만큼의 메모리를 읽기 혹은 쓰기가 가능하기 때문에 공격자는 기밀 정보에 대한 무단 액세스를 악용할 수 있다. 본 논문에서는 동적 기호 실행과 쉐도우 메모리 테이블을 활용하여 힙 메모리에서 발생하는 OOB 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 힙 메모리 할당 및 해제 함수 후킹을 통해 쉐도우 메모리 테이블을 구축한다. 이후 메모리 액세스가 발생할 때, 쉐도우 메모리를 참조하여 OOB가 발생할 수 있는지를 판단하고, 발생 가능성이 존재할 경우 크래시를 유발하는 테스트케이스를 자동으로 생성한다. 제안하는 방법을 활용할 경우, 취약한 블록 탐색에 성공한다면 반드시 OOB를 유발하는 테스트케이스를 생성할 수 있다. 뿐만 아니라 전통적인 동적 기호 실행과는 다르게 명확한 목표 지점을 설정하지 않더라도 취약점 탐색이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
• /
• pp.62-63
• /
• 2008

• 정보과학회지
• /
• 제29권10호
• /
• pp.72-78
• /
• 2011

• 정보처리학회논문지D
• /
• 제17D권5호
• /
• pp.337-346
• /
• 2010

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.2223-2231
• /
• 2010

최근 자동차, 철도, 선박, 항공기 등 교통수단의 핵심 장치가 CPU가 들어 있는 컴퓨터 제어장치로 전환되어 가고 있는 상황이다. 자동차 사고사례 중 상당 부분의 원인으로 컴퓨터 제어장치에 탑재된 내장형 소프트웨어의 결함이라고 분석한 보고서가 발표되고 있다. 내장형 탑재 소프트웨어에 대하여 결함 제거를 위한 시험이 충분하지 못한데서 문제가 있을 수 있다. 결국 이러한 내장형 소프트웨어의 시험 기준으로 안전성 평가 기준을 철저히 적용하고 이에 적합한 단위테스트 절차를 구축하는 것이 필요하다. 본 논문은 안전성평가 기준에 적합한 내장형 탑재 소프트웨어에 대한 단위테스트 절차에 대한 방안을 제시하는데 그 목적이 있다. 내장형 탑재 소프트웨어에 대한 테스트에는 단위 테스트, 통합테스트, 시스템테스트 등이 있으며, 이중 가장 많은 결함을 발견하는 것은 단위 테스트이다. 본 논문에서는 테스트계획, 테스트절차, 테스트케이스, 테스트시나리오, 테스트 도구, 재테스트 기준 등에 대한 효과적인 단위테스트 준비 과정과 단위테스트를 수행하면서 발생하는 업무, 즉 결함식별, 결함분류, 결함분석, 결함원인, 결함조치 및 확인, 재테스트 실시, 테스트보고 등의 활동을 체계적으로 구축하는 방안을 제시한다. 또한 개발된 내장형 탑재 소프트웨어의 프로그램 소스를 일일이 눈으로 검사하여 결함을 발견하기란 쉽지 않다. 안전성평가 기준이 내장된 테스트 도구를 활용함으로써 내장형 탑재 소프트웨어 단위테스트의 작업시간을 줄이고 결함발견 및 원인분석에 대한 자동화된 보고서를 얻음으로써 테스트 생산성 및 소스코드의 품질 향상을 달성할 수 있는 방안도 아울러 제시한다.