• 정보과학회 논문지
• /
• 제44권6호
• /
• pp.595-600
• /
• 2017

안드로이드 어플리케이션은 하나 이상의 컴포넌트로 구성되어 있으며 컴포넌트들은 인텐트를 통해 동일 어플리케이션 또는 다른 어플리케이션의 컴포넌트를 호출하여 사용할 수 있다. 이와 같은 컴포넌트 상호작용을 악용한 BroadcastTheft, Activity Hijacking, Intent Spoofing 등과 같은 문제점들을 검사하기 위해서는 다양한 상호작용 시나리오를 생성하여 테스팅을 진행하여야 한다. 하지만 기존 상호작용 테스트 시나리오 생성 연구에서는 각 액티비티 설정에 따라 이전화면으로의 이동시 재실행 순서가 달라지는 안드로이드 특성을 고려하지 않아 실행 불가능한 테스트 시나리오들이 포함될 수 있는 문제점이 있다. 본 논문에서는 액티비티 스택 정보를 이용하여 상호작용 테스트 시나리오에서 실제 실행되지 않는 경로를 제거하는 방법을 제안한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권4호
• /
• pp.165-170
• /
• 2016

안드로이드 어플리케이션은 인텐트를 이용하여 다른 어플리케이션의 컴포넌트를 호출하여 실행시킬 수 있다. 하지만 컴포넌트들 사이의 상호작용이 정상적으로 처리되지 않으면 잘못된 컴포넌트가 실행되거나 전화 수신과 같은 시스템 브로드캐스트를 처리하지 못하는 문제점이 발생할 수 있다. 본 논문에서는 이와 같은 상호작용 문제점을 검사하기 위해 서로 연동하여 동작하는 어플리케이션들로부터 컴포넌트 기반의 다이어그램들을 생성하고 이를 하나의 병합된 다이어그램으로 변환하여 테스트 시나리오를 생성하는 방법을 제안한다. 제안된 방식은 기존의 테스팅 기법에서 고려하지 못한 어플리케이션간의 상호작용 검사를 효율적으로 수행할 수 있다.

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

안드로이드의 인텐트를 이용하여 주소록 어플리케이션에서 이메일 어플리케이션을 실행시킬 수 있다. 또한 어플리케이션 동작 중 배터리 부족 경고 또는 충전 케이블이 연결됨과 같은 시스템에서 브로드캐스트를 발생시킨다. 다른 어플리케이션의 컴포넌트를 실행시키고 시스템의 브로드캐스트를 처리하는 모든 것이 컴포넌트들 간의 상호작용이다. 컴포넌트들 간의 상호작용이 올바르게 이루어지지 않을 경우 다른 어플리케이션이 시작되거나, 보안상의 문제점 등이 발생할 수 있다. 본 논문에서는 위와 같은 문제점을 발견하기 위해 인텐트 기반의 안드로이드 상호작용 테스트를 위한 테스트 시나리오를 설계하는 기법에 대한 연구이다. 어플리케이션 내부의 컴포넌트 상호작용에 사용되는 명시적 인텐트와 다른 어플리케이션 또는 시스템의 컴포넌트들과의 상호작용에 사용되는 암시적 인텐트를 함께 고려하여 인텐트 목록을 생성하고 컴포넌트 상호작용 테스팅에 사용할 테스트 시나리오를 생성한다.

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

임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1027-1030
• /
• 2000

객체 지향 프로그램의 이해 및 테스팅을 효과적으로 수행하기 위해서는 객체 간의 상호 작용을 우선 이해하여야 한다. UML로 작성된 시스템 명세에서는 각각의 클래스에 대한 행동이 UML 상태 다이어그램으로 기술되어 있어 전체 시스템의 행동을 유추하는데 어려움이 따른다. 이 연구에서는 객체 지향 프로그램의 상태 다이어그램을 기반으로 객체간 행동 테스팅을 수행하기 위해서 UML 상태 다이어그램들을 합성하여 객체간 행동을 추출, 생성하는 과정을 기술한다. 추출, 합성된 객체간 행동 모델은 기존의 널리 알려진FSM 기반 테스팅 기법들을 그대로 이용할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권9호
• /
• pp.634-648
• /
• 2001

MSC는 통산 소프트웨어에서의 병행 수행 테스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스크 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치 정보만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스크 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미 있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존인 FSM 기반의 테스팅 기법을 적용하여 테스크 시퀀스를 추출할 수 있다.

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

안드로이드 어플리케이션은 인텐트를 이용하여 다른 어플리케이션의 컴포넌트를 실행시킬 수 있다. 이러한 상호작용이 정상적으로 호출되거나 처리되지 않으면 기대한 컴포넌트가 실행되지 않는 등의 문제점이 발생할 수 있다. 본 논문에서는 이와 같은 어플리케이션간의 상호작용 문제점을 검사하기 위해 어플리케이션들의 소스코드와 매니페스트 파일로부터 컴포넌트 다이어그램과 인텐트 목록을 각각 추출하여 결합된 액티비티 다이어그램을 생성하고 이로부터 테스트 시나리오를 생성하는 기법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.388-390
• /
• 2003

멀티미디어 시스템의 사용이 일반화되고, 그 영향범위가 넓어짐에 따라 이러한 시스템의 개발과 테스트는 매우 중요한 요소가 된다. 멀티미디어 시스템은 기존의 시스템과 달리 시간-의존적이고 연속적인 미디어를 포함하여 다양한 미디어를 통합한 컨텐츠 기반 실시간 시스템이며, 사용자와의 상호작용과 네트워킹이 중요한 요소라는 점에서 기존의 시스템과 다른 개발주기. 품질 평가 척도를 가지게 된다. 이에 본 논문은 멀티미디어 시스템이 어떻게 구성되어 있으며 그 특성이 무엇인지 분석하고, 이에 기반하여 기존의 시스템과 다른 시스템 개발주기, 품질평가 척도 및 이에 따라 요구되는 테스팅 영역에 대하여 제시하고자 한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권8호
• /
• pp.393-398
• /
• 2016

군집 적응형 시스템(Collective Adaptive System, CAS)은 다수의 에이전트를 포함하는 적응형 시스템으로, 에이전트들 간의 헙업을 통해 목표를 수행한다. 협업을 기반으로 시스템의 목표를 수행하는 CAS는 복수의 에이전트들 간의 상호작용에 대한 테스트가 필수적이다. 본 연구에서는 CAS를 테스트하기 위한 하나의 방법으로 태스크 기반의 테스트 모델을 적용하여 모델 기반 테스팅을 하는 것에 대한 타당성을 분석한다. 분석을 위해 CAS의 한 사례로 스마트 홈 시스템을 적용하였고, 그 결과 태스크 모델을 수정 및 확장하면 CAS의 목표 달성 여부를 판별할 수 있는 체계적인 테스트 케이스 생성이 가능한 것을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.347-350
• /
• 2001

이 논문은 기존의 Use Case 방법론을 개선하려는데 초점을 두고 있다. Use Case 방법론의 설계단계 중, 설계 프랙티스(Design practices)단계에 소프트웨어 테스팅 개념을 적용하였다. 이 방법은 먼저 사용자의 요구 사항을 상호작용 다이어그램을 통해 분석하고, 설계 컴포넌트(Design Component Units)라고 불리는 기능적 컴포넌트들로 새롭게 정의하고 추출한다. 추출된 기반을 바탕으로 생성된 설계 컴포넌트들을 설계 스키마(Design schema)에서 계층구조로 분할하는 방법이다. 여기서 개발자들의 목적에 따라 선택한 수 있도록, 다양한 기준에 적용한 수 있는 여러 가지 설계 컴포넌트들을 정의하였다. 개선된 Use Case 방법론을 토대로 변환 알고리즘[11]을 이용해 새로운 Use Case 툴을 개발하고자 한다.