• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.445-447
• /
• 2004

최근의 정보시스템 개발은 컴포넌트 기반 소프트웨어 개발로서 반복적인 소프트웨어 개발 공정을 따른다 반복(Iteration)이란 정보시스템 개발 생명주기(SDLC)의 요구사항, 분석, 설계, 개발, 테스트 과정을 기존의 Waterfall방식으로 개발하지 않고, 각 단계들을 반복적으로 수행하여 시스템을 개발하는 방식이다. 따라서 기존의 단계, 액티비티 그리고 하위의 타스크에 해당하는 산출물 완성유무를 가지고 프로세스 측면의 공정 진척을 적용하게 되면 프로젝트 현 시정의 공정 상태를 명확하게 파악하는 것이 불가능하다. 본 연구에서는 최근의 컴포넌트 기반 소프트웨어 개발에서 요구되어지는 유스케이스 기반의 프로덕트 중심의 공정 진척 관리에 필요한 기법들을 연구하였다. 본 논문에서는 유스케이스가 분석, 설계, 개발, 테스트, 배포되는 과정에 있어서 산출물 기반 진척관리에 대한 기법을 제안함으로서 반복적인 소프트웨어 개발에서의 진척 관리 체계화를 증대할 수 있는 기법을 제시한다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2007년도 추계학술대회 논문집
• /
• pp.267-270
• /
• 2007

오존무 분사장치는 흡입구와 내에 소정의 공간이 형성된 케이스와 자동 손잡이와 $360^{\circ}$회전이 가능해 운반 및 이동이 간편한 케이스, 상기 케이스의 내부 소정 부위에 공기 흡입구로 흡입되는 공기 중에 포함된 먼지 및 습기를 제거하는 제습 장치와, 원료가스인 공기를 일정하게 제공하는 송풍기, 강력한 살균 소독기능을 지닌 오존발생기, 오존을 발생시키기 위한 고주파 펄스 전원장치, 입자경이 $3{\sim}40{\mu}m$이하의 이류체 미세 분사형 노즐, 살수통(물을 담는 용기) 및 기능 조절부(펄스전원제어, 타이머 조절, 송풍기 제어, 이류체 미세 분사형 노즐스위치 제어)로 성되어 작동하는 것으로 일반적인 가습기와는 다르다. 그리고 강력한 살균, 소독, 탈취 및 대기의 정화 기능이 있는 오존을 이용하는 동시에 기존의 방식보다 간단한 구조의 분무발생 수단을 구비함으로써 전체적으로 구성을 간단하게 하면서 대기 정화 효율을 향상시키는 장점이 있다.

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

소프트웨어와 인터넷 연결이 일반화되고 소프트웨어 규모가 복잡해짐에 따라, 소프트웨어 보안 취약점 발생 수 및 관련 보안 사고가 나날이 증가하고 있다. 소프트웨어 보안 사고를 예방하기 위한 하나의 방법은 소프트웨어 개발 단계에서 취약점을 발견하여 제거하는 것이다. 이에 본 논문에서는 취약점 발견에 사용되는 대표적 테스팅 기법인 퍼징에 대해 연구하였다. 먼저, 웹 애플리케이션 서버와 관련된 기존의 공개된 취약점 정보를 분석하여 퍼징에 필요한 오용 케이스(misuse case) 생성 방법을 보인다. 생성된 오용 케이스는 URL과 HTTP 요청 메시지의 각 필드에 대한 테스팅 정보를 포함하고 있으며, 이 오용 케이스를 웹 애플리케이션 서버에 퍼징하여 실제 보안 관련 결함이 나타남을 확인하였다.

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

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1891_1892
• /
• 2009

정밀한 소프트웨어 테스팅에서 테스트 케이스의 생성과 테스트 수행 작업은 많은 시간과 노력을 필요로 한다. 따라서 경험 있는 테스터 들은 적은 수의 테스트 케이스를 선택적으로 사용하여 보다 정확한 테스트를 수행할 수 있기를 요구한다. 테스트 케이스의 수를 줄이기 위해 수많은 연구가 진행되었다. 소프트웨어 테스팅에서 가장 기본이 되는 테스트는 단위 테스트이다. 본 논문에서는 블랙박스 테스팅에 사용되는 잘 알려진 테스트 후보 값 생성 및 조합 기법에 관한 기존 연구를 살펴보고 성능을 비교해 본다. 성능 비교를 위해 몇몇 예제 코드를 실험적으로 이용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.352-354
• /
• 2005

1990년대 후반에 들어서면서 않은 기업들이 기업의 생산성 향상 및 고객 서비스를 위해 IT투자를 확대해감에 따라 기업 내에서도 다수의 이질적인 시스템 도입을 추진하게 되었다. 그 결과 않은 기업 내에는 호환성이 없는 시스템이 산재해 업무추진에 어려움을 주고 있으며, 이러한 복잡하고 까다로운 분산화된 시스템을 통합하고자 업계에서는 많은 노력을 기울이게 되었다. 그 결과로 등장한 기술이 웹서비스이며 이것은 분산화된 시스템을 통합하는 기존의 통합기술들의 문제점을 해결하고 분산된 애플리케이션을 저비용${\cdot}$고효율로 통합하기 위한 대안이 되었다. 본 논문에서는 웹서비스기반 시스템 개발을 위한 웹서비스 개발 절차를 제시하고 비즈니스 도메인에서 요구사항 분석을 통해 생성된 유스케이스모델을 기반으로 하는 웹 서비스 식별 방법을 제안한다. 유스케이스를 기반으로 서비스를 식별하므로 서비스에 도메인의 비즈니스가 잘 반영되도록 할 수 있으며 적절한 입도(granularity)을 갖는 서비스를 식별할 수 있다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2011년도 제37회 추계학술대회논문집
• /
• pp.523-526
• /
• 2011

본 연구는 재료물성치의 불확실성을 고려한 구조신뢰성 해석 기법에 대한 내용이다. 설계변수의 확률분포 및 상태한계방정식을 구하고 이에 대한 확률밀도함수와 누적분포함수 계산 시 근사화 기법인 크리깅을 적용하여 구조신뢰성에 대한 계산 및 해석시간을 단축하고자 하였다. 이에 대한 예제로 알루미늄을 소재로 하는 로켓모터케이스의 재료물성치의 분포를 고려한 구조신뢰성 해석을 수행하고 그 결과를 몬테카를로 시뮬레이션과 비교함으로써 제안된 기법에 대한 정확성과 효율성을 판단하고자 한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(2)
• /
• pp.318-323
• /
• 1998

사용 후 핵연료 수송용기의 충돌사고에 대한 안전성은 층격완충체의 층격흡수특성에 지배되며, 충격완충체의 충격홉수특성은 외부의 케이스와 내부 격막판 둥의 철제 구조물과 내부에 삽입된 충격흡수재의 변형특성에 지배를 받는다. 충격흡수재를 감싸주는 철제 케이스와 내부 격막판의 용접 접합부는 일부 부분이 제작공정상 부득이 부분용접의 접합형태를 갖기 때문에 판재나 완전 접된 부분에 비해 강도가 약해 충돌사고시 취약부위가 파단된다. 이러한 케이스 용접부의 파단은 충격완충체의 변형특성을 변화시켜 충격흡수거동이 달라지는 원인이 된다. 따라서, 본 연구에서는 용접 접합부의 강도특성을 수송용기의 자유낙하 충돌해석에 적용할 수 있는 해석모델을 구성하고 부분용접된 접합부의 파단강도가 수송용기의 충돌거동에 미치는 영향을 분석하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.507-510
• /
• 2008

본 논문에서는 유스케이스 모델링에 사용되는 유스케이스 명세에서 시나리오 편집을 위한 처리방법을 제안하고자 한다. 시나리오 작성에서 자동화된 번호 매기기를 위한 시나리오 단계들 간의 상호작용을 정의하고, 시나리오 저장에 필요한 시나리오 단계와 확장 요소 및 자료구조 식별하고 저장 시 시나리오 단계와 확장간의 관계를 정의한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.575-579
• /
• 2006

컴파일러에 결함이 있다는 것은 곧 잘못된 코드를 생성한다는 것을 의미하므로 양질의 컴파일러 구성은 양질의 소프트웨어 생산을 위한 기본 요구조건이 된다. 임베디드 시스템이 널리 사용되면서 더욱 다양하고 복잡한 임베디드 프로세서가 개발되었고 이는 새로이 설계된 프로세서를 위한 새로운 컴파일러 개발의 필요를 야기하고 있다. 본 논문에서는 프로그램의 중간 표현을 기반으로 하는 효율적인 테스팅 방법을 제안한다. 언어의 구문 규칙을 모두 사용하는 테스트 케이스를 통해 컴파일러를 테스트하는 방법이 이미 연구되었으나, 기존의 소스 코드 수준의 방법으로는 테스트 케이스의 중복성이 존재하는 단점이 있다. 본 논문에서는 중간 표현의 구문 규칙을 이용해서 중복된 테스트 케이스를 제거하여 테스팅 효율을 증가시킬 수 있음을 기술한다. 또한 본 논문에서 제안하는 방법을 GCC의 중간 언어인 RTL에 적용한 예를 통해 설명한다.