• Journal of Software Engineering Society
• /
• v.29 no.2
• /
• pp.13-20
• /
• 2020

The exploratory test was introduced as a desirable test method due to its fast development cycle, but it is not actively adopted because documentation and analysis of the test range are required for application. On the other hand, keyword-based testing has been introduced as a way to save resources and facilitate maintenance, but it is difficult to plan tests in advance due to the large number of variables such as data, settings, interactions, sequence and timing. However, in keyword-based testing, you can create a test case based on keywords by presenting clear criteria and methods for creating keywords and applying the exploration testing process. In this paper, we propose a model that automates exploratory tests based on keywords. To verify the effectiveness, we compared the general keyword-based test(KBT) and keyword-based exploratory test(KBET), and compared with the exploratory normal test case(ETC) and keyword-based exploratory test(KBET).

• Information and Communications Magazine
• /
• v.31 no.7
• /
• pp.15-23
• /
• 2014

"HTML5 기반 스마트 TV 플랫폼" 표준은 TV 제조사와 플랫폼 사업자 중심으로 파편화된 스마트 TV 앱 생태계 한계를 극복하고 표준 기반의 공통 플랫폼 기술을 통해 앱 생태계를 활성화 촉진시키기 위해 제정된 개방형 TV 플랫폼 기술 표준이다. 본 고에서는 이 표준 기술을 소개하고자 하며 이를 위하여 표준에 정의된 HTML5 기반의 앱 실행환경, TV 디바이스 환경을 고려한 앱 모델, 채널 프로그램과 같은 방송 자원을 접근하기 위한 인터페이스, 앱 스토어를 통한 앱 다운로드 및 실행을 위한 패키징 규칙, 멀티스크린 적응형 스트리밍 등 다양한 스마트 TV 플랫폼 관련 기술들을 설명한다. 또한, 스마트 TV 앱이 표준 기반으로 개발된 다양한 수신기에 동일하게 실행됨을 보장하기 위해 수신기에 대한 표준 구현 적합성 검증이 필요함을 제기하면서, 이를 위한 시험 기준을 정의한 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준에 대해서도 소개한다. 이 표준은 수신기 기능 검증을 위한 테스트 케이스를 정의하고 시험 절차 및 판정 기준 등을 규정한다. 마지막으로, 본 고는 TTA에서 실제로 이 시험 표준을 기반으로 구축한 적합성 시험 환경을 소개한다. 수신기의 표준 기술 검증용으로 시험표준에 따라 개발된 테스트 케이스와 이를 실행하고 그 결과를 수집 관리하기 위해서 구성한 웹 서버, 방송 송출 서버, 적합성 시험 관리 시스템 등의 환경 구성 요소 및 그 인터페이스에 대해서 설명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.183-186
• /
• 2024

IoT(Internet of Things) 기기가 다양한 산업 분야에 활용되면서, 보안과 유지 보수를 위한 관리의 중요성이 커지고 있다. 편리한 IoT 기기 관리를 위해 무선 네트워크를 통한 펌웨어 업데이트 기술인 FOTA(Firmware Over The Air)가 적용되어 있지만, 컴퓨팅 파워가 제한된 경량 IoT 기기 특성상 취약점 탐지를 수행하기 어렵다. 본 연구에서는 IoT 기기들이 퍼징 테스트 케이스를 분할하여 협력적으로 퍼징하고, 노드 간의 퍼징 결과가 다르면 재검증을 수행하는 협력적 퍼징 기법을 제안한다. 실험 결과에 따르면, 중복되는 테스트 케이스를 2 개나 3 개 퍼징하는 협력적 퍼징 기법은 종래 방식 대비 연산량을 최소 약 16%, 최대 약 48% 줄였다. 또한, 종래 퍼징 기법 대비 취약점 탐지 성공률(Success rate of vulnerability detection)을 최소 약 3 배, 최대 약 3.4 배 개선시켰다.

• Journal of Software Engineering Society
• /
• v.23 no.4
• /
• pp.141-149
• /
• 2010

Agile development is mentioned a lot by developers these days. XP or Scrum is one of the popular development processes, and it says that unit test automation would drive an agile development successful. The success of unit test automation depends on how well to compare an execution result to its own expected result. that is why this paper focuses on the comparison part. This paper introduces how to build test codes for unit testing, and then concludes with mentioning two considerations of unit testing automation. First, test codes for void-typed methods need Mock Framework to monitor their behavior. Second, the comparison of execution results and expected results is hard to implement in case of testing void-typed methods. We check every sentences of a test path to decide if the testing is fail or pass.

• The KIPS Transactions:PartD
• /
• v.10D no.2
• /
• pp.293-300
• /
• 2003

As Internet has grown rapidly and been more complex by technology in connection with Web and requirement of business, qualify and reliability of Web application are getting important. It is necessary to study about testing method along with design technique specially in Web application. This paper explains automation method of user interface test to make test cases about user input form with HTML pages using by built-in browser objects. Examples shows the possibility of testing automation with Javascript objects get mapped. Overhead of writing Javascript can be reduced by making script generator. Generated test scripts are repeatedly used in regression testing Web-based application.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.843-852
• /
• 2001

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.517-530
• /
• 2007

Recently web applications have growl rapidly and have become more and more complex. As web applications become more complex, there is a growing concern about their quality. But very little attentions are paid to web applications testing and there are scarce of the practical research efforts and tools. Thus, in this paper, we suggest the automated testing methods for web applications. For this, the methods generate an analysis model by analyzing the HTML codes and the source codes. Then test targets are identified and test cases are extracted from the analysis model. In addition, test drivers and test data are generated automatically, and then they are depleted on the web server to establish a testing environment. Through this process we can automate the testing processes for web applications, besides the automated methods makes our approach more effective than the existing research efforts.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.602-604
• /
• 2003

국내 전자상거래의 표준으로 채택된 ebXML에 대한 관심이 집중되면서 앞으로 전자상거래 솔루션에 대한 제품 개발이 활발히 이루어질 것으로 보인다. 현재 제품 출시 초기 단계에서 제품의 시험 및 인증의뢰에 대한 대비책을 세우기 위해 ebXML 표준적합성 시험, 인증 모델의 개발이 절실하게 필요하다. 본 논문에서는 ebXML 적합성 평가를 위한 시스템을 설계하고, 메시지 서비스의 적합성 여부를 판단하기 위한 테스트 요구 사항을 추출하여 각 요구 사항 항목에 대한 테스트 케이스를 정의한다. 본 논문에서 설계한 적합성 테스트 도구를 이용하여 ebXML Messaging Service의 표준적합성 시험. 인증을 위한 평가 기준을 제공할 수 있으며. 국내/국외 기업체의 ebXML 솔루션 제품 개발에 도움을 줄 것으로 기대한다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.10
• /
• pp.732-742
• /
• 2001

The concept of an agent has become important in computer science and has been applied to the number of application domains such electronic commerce and information retrieval. But, no one has proposed yet in software test. The test agent system applied the concept of an agent to software test is new test tool. It consists of the User Interface Agent. the Test Case Selection & Testing Agent and the Regression Test Agent. Each of these agents, with their intelligent rules, carry out the tests autonomously by empolying the object-oriented test processes. This system has 2 advantages. Firstly since the tests are carried our autonomously, it minimizes tester interference and secondly, since redundant-free and consistent effective test cases are intellectually selected, the testing time is reduced while the fault detection effectiveness improves. In this paper, by actually showing the testing process being carried out autonomously by the 3 agents that form the TAS, we show that the TAS minimizes tester interference. By also carrying out the 4 different types of experiments on the RE-Rule, CTS-Rule, overall TAS experiment, and the fault-detection effectiveness experiment on the RE-Rule, we show the cut-down on the testing time and improvement in the fault detection effectivity.

• KIISE Transactions on Computing Practices
• /
• v.20 no.12
• /
• pp.658-663
• /
• 2014

Due to the rapid development of open source based Cloud management platforms such as OpenStack, many and various individuals and institutions are trying to construct Cloud computing systems based on open source software projects. It is essential, for those who install, administrate or operate a Cloud, to validate the integrity of the constructed Cloud system. This paper, therefore, proposes the design of a testing tool for validating the integrity of a constructed OpenStack-based Cloud system. Especially, the proposed testing tool utilizes the Tempest project which is an open source project that consists of OpenStack test cases. The proposed testing tool is expected to help developing Cloud technology and Cloud users.