• Journal of KIISE
• /
• v.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.4
• /
• pp.165-170
• /
• 2016

Using the intent of the Android application, an application can execute other application's components. However, if interaction between these components are not processed normally, such problems as incorrect component execution and unhandled system broadcast may be occurred. In this paper, to generate test scenarios for inter application interaction, a testing approach is proposed using a merged intent list and a single merged diagram. The proposed method can effectively be carried out to check the abnormal interaction among the applications which was not considered in existing testing approaches.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.955-957
• /
• 2013

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

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.9
• /
• pp.419-428
• /
• 2017

In an embedded system, modules exchange data by interacting among themselves. Exchanging erroneous resource data among modules may lead to execution errors. The interacting resources produce dependencies between the two modules where any change of the resources by one module affects the functionality of another module. Several investigations of the embedded systems show that interaction faults between the modules are one of the major cause of critical software failure. Therefore, interaction testing is an essential phase for reducing the interaction faults and minimizing the risk. The direct and indirect interactions between the modules generate interaction faults. The direct interaction is the explicit call relation between the modules, and the indirect interaction is the remaining relation that is made underneath the interface that possesses data dependence relationship with resources. In this paper, we investigate the errors that are based on the indirect interaction between modules and introduce a new test criterion for identifying the errors that are undetectable by existing approaches at the integration level. We propose a novel approach for generating the interaction model using the indirect interaction pattern and design test criteria that are based on different interaction errors to generate test cases. Finally, we use the fault injection technique to evaluate the feasibility and effectiveness of our approach.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1027-1030
• /
• 2000

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

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.564-566
• /
• 2015

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.388-390
• /
• 2003

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

• KIISE Transactions on Computing Practices
• /
• v.22 no.8
• /
• pp.393-398
• /
• 2016

Collective Adaptive System is an adaptive multi-agent system which accomplishes its goal by collaborating various agents. Because the collective property of the Collective Adaptive System is accomplished by the goal of the system being based on collaboration, testing the goal accomplishment and their interactions among heterogeneous agents is important. This paper presents a feasibility study of applying a model-based testing approach using task-based test model to a Collective Adaptive System. This paper describes additional information to be applied for Collective Adaptive System for future studies. To analyze our approach, we applied the proposed approach to a smart home system as a case study; our results indicated that we can systematically derive test cases to check whether the Collective Adaptive System successfully achieved its goals by modifying and extending the existing task model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.347-350
• /
• 2001

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