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

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

• 산업기술연구
• /
• 제32권A호
• /
• pp.125-128
• /
• 2012

In this paper, we proposed a prioritization method of test cases using a value estimation model of test sets, that are key elements for highly effective software testings as well as involve a large cost factor in software developments and maintenances. Based on previous studies, our idea includes introducing some practical factors of the test case prioritization which critically influence the value of a test case: Relative values of test sets before and after the test running, Average value of these two relative values, Severity of the defect, Risks that are covered, Frequency of use, Change related values, Systematic elicitations, etc. Finally we discussed the usefulness and the expected effects of the proposed scheme.

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

인터넷을 사용하는 인구가 증가함에 따라 그들을 공략하기 위한 여러 형태의 비즈니스 모델이 구현되어 웹 상에서 유무형의 상품 및 서비스에 대한 거래가 활성화 되었다. 또한 통신 기술의 발달로 웹 성능에 대한 신뢰도가 높아져 기존에는 클라이언트/서버 아키텍쳐로 구축하던 기업의 전산 업무 환경을 웹 기반의 분산 환경으로 구축하거나 전환하고 있는 것이 현 소프트웨어 산업계의 추세이다. 이에 따라 웹 어플리케이션의 기능 및 성능을 테스트하고 나아가 품질을 평가하기 위한 제반 기법이 요구되는 상황이다. 국외에서는 이미 산업계를 주축으로 웹 테스팅에 관한 연구가 활발히 진행되어 왔으나 국내에서는 그러한 노력들이 이제 막 착수단계에 있으며, 본 고에서는 웹 어플리케이션의 품질평가 기법 고안을 위해 기반 연구 활동으로서 선행된 웹-어플리케이션의 정의 및 분류체계를 제안하고 있다. 나아가 분류별로 보다 중시되는 품질 속성에 집중하는 방식으로 접근한 품질평가 지침을 제안하고 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권2호
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제27권1호
• /
• pp.1-7
• /
• 2018

제한된 자원인 모바일 디바이스 배터리의 소모는 회로 설계자들이 회로를 분석 및 평가할 때 중요한 척도가 된다. 기존의 모바일 디바이스 배터리 소모 분석을 위해 여러 배터리 소모 모델 생성 연구가 수행되었으며, 배터리 소모 모델 생성 기법은 센서의 사용 유무, 런타임 모델 생성 여부, 검증 및 테스팅 목적으로의 모델 이용 여부 등에 따라 서로 다른 특징을 가진다. 본 연구에서는 모바일 디바이스회로 설계자들이 회로를 분석하는데 도움을 주기 위한 목적으로 지금까지 연구되어 온 배터리 소모 모델 분석 기법들에 대하여 비교 및 평가하고자 한다. 평가 결과를 기반으로 향후 모바일 디바이스 배터리 소모 분석 연구의 발전 방향을 제안한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권12호
• /
• pp.829-840
• /
• 2013

본 논문은 Simulink/Stateflow 모델 기반의 테스트 케이스를 자동으로 생성하기 위하여, 휴리스틱 입력 분석을 이용한 Rapidly-exploring Random Tree(RRT) 기법을 제안한다. RRT는 모델 기반 블랙박스 테스트 케이스 생성 시 반드시 해결해야 되는 도달 가능성 문제를 효율적으로 해결할 수 있는 방법이지만, 모델의 내부 상태와 테스트 목표를 고려하지 않고 무작위로 모델의 입력을 생성하기 때문에 테스트 케이스 생성 효율이 떨어지는 단점이 있다. 제안하는 기법에서는 RRT를 확장해나갈 때 필요한 입력을, 모델의 현재 상태에서 만족 할 수 있는 테스트 목표를 분석하고 이를 달성할 수 있는 모델의 입력을 분석 결과에 따라 휴리스틱하게 결정함으로써, RRT의 장점을 보존하면서, 테스트 케이스 생성 효율을 높일 수 있다. 제안된 기법은 자동차에 사용되는 실 부품 ECU의 Simulink/Stateflow 모델을 대상으로 한 실험을 통해 성능이 평가되었으며, 기존 RRT와 비교하여 테스트 케이스 생성 효율이 높은 것을 보였다.

• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.921-926
• /
• 2009

소프트웨어가 이미 배포되어 사용되고 있는 경우, 상황에 따라 소프트웨어에 내재된 취약성은 심각한 사회적, 경제적 영향을 미칠 수 있다. 그러므로 소프트웨어의 취약성은 개발 단계에서부터 충분한 고려가 필요하다. 소프트웨어의 모델 및 시뮬레이션은 소프트웨어의 개발 단계에서 사용될 수 있는 취약성 검사를 위한 테스트 정책의 하나로 고려될 수 있다. 본 논문에서는 해당 방법의 사용 가능성 확인을 위해 톨레미를 이용하여 DNS 시스템의 행동 양식을 모델링하고 이를 시뮬레이션 하였다. 실험 결과에 따르면 기존에 알려진 DNS 서버의 취약성이 효과적으로 검출되고 있음을 확인할 수 있었고, 이는 모델 및 시뮬레이션이 취약성 테스팅에 사용 가능함을 의미한다.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

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

본 논문은 워크플로우 모델링 도구인 ICN(Information Control Net)을 기반으로 하는 워크플로우 제어 의존성 분석을 위한 도구를 구현하였다. 즉, ICN 모델로 정의된 워크플로우의 각 단위업무(Activity)들 간에 존재하는 제어 의존 관계를 표현하기 위한 제어 의존 넷(Control Dependency Net)을 정형적인 방법으로 정의, 표현하였다. 본 논문에서 정의된 제어 의존 넷은 워크플로우 빌드타임(Build-time) 측면과 런타임(Run-time)측면에서 여러 가지 기능을 제공한다. 전자의 측면에서는 워크플로우 모델링시 시멘틱 에러 테스팅 기능을 효과적으로 적용될 수 있으며 후자의 측면에서는 제어 흐름의 동적 변경(dynamic Change)기능의 완결성 및 프로세스 안의 단위업무(Activity) 간의 경로 및 경로 대한 정보를 제공한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.297-305
• /
• 2002

웹 어플리케이션의 경제적 연관성은 웹의 질적 유지 및 향상의 중요성이 매우 증가되고 있다. 더욱이 이러한 웹 어플리케이션의 개발을 위해 새로운 개념을 적용 및 사용 가능한 기술들은 매우 개선되고 세련된 기능들의 접목을 요구하고 있지만 조직과 개선을 책임지고 있는 개발자들은 자주 떠나는 실정에 있다. 그 결과로 이러한 수준 높은 요구 시스템 기반의 모든 웹의 질적 보장을 위해 방법론과 툴 들이 나타나게 하고 있다. 본 논문에서는 위에서 언급한 높은 수준의 요구사항에 만족하기 위해 하나의 웹 어플리케이션 모델을 소개하고 실제 웹 어플리케이션의 검증 및 확인 기술에 대한 개념과 향후 국내 웹사이트를 대상으로 한 분석 알고리즘을 제안하고 실험을 통한 결과를 제시하였다.