• 한국IT서비스학회:학술대회논문집
• /
• 2007.11a
• /
• pp.378-381
• /
• 2007

최근 PDA와 휴대폰 등 모바일 디바이스의 급격한 증가로 모바일 응용 SW 개발이 주목을 받고 있다. 다양한 방법과 기술들이 모바일 응용 SW 개발을 지원하기 위해 개발되었으며, 다양한 언어가 J2ME 또는 Brew 플랫폼에서 SW 개발을 위해 제시되었다 그러나 이적한 환경에서 SW 테스트는 큰 관심을 받지는 못하였다. 그 동안 모바일 응용 SW의 기능 테스트에 대한 몇몇 연구 성과들이 발표되어 왔고, 성능, 사용성, 스트레스 테스트 등에 관련된 연구들이 주로 진행되어 왔다. 본 논문에서는 모바일 응용 SW를 비즈니스 로직 측면과 GUI 측면으로 구분하여 각각에 대한 테스트 방법을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.360-363
• /
• 2007

모바일 어플리케이션 소프트웨어의 GUI는 눈으로 보고 교감하는 것에 끝나지 않고 나날이 발전하여 소프트웨어의 성공여부를 결정하는 경우로 많이 부각되고 있다. 소프트웨어의 성공에 중요한 요소로 자리 잡히고 있으므로 소프트웨어의 성공을 위한 GUI 테스트가 요구되나 GUI 테스트는 많은 노력과 시간이 투자되는 테스트 분야이다. 이러한 자원의 소비의 줄이기 위해서 GUI 테스트의 자동화가 필요하리라 본다.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.704-716
• /
• 2005

Assembling new software systems from Prepared components is an attractive alternative to traditional software development method to reduce development cost and schedule dramatically. However, if separately developed components are tested, integrated and verified with unreasonable effort and high cost, it would not be an effective way to software development. Components are not distributed in the shape of white-box source code so that should be hard to validate and test in new application environment. For solving this problem, built-in tester components are suggested to check the contract-compliance of their server components. If components have various and complex function, built-in tester should be heavy and unflexible to test in composition of components. This paper suggests enhancing automated wrapper technique which substitutes with built-in tester components and shows the usability of the wrapper by design and implementation. Component testing in this way reduces the cost and effort associated with preparation of component testing and makes the various test experiments in components assembly.

• Journal of the Korea Institute of Building Construction
• /
• v.14 no.1
• /
• pp.29-36
• /
• 2014

To meet changing education needs due to globalization, interdisciplinary convergence, and ICT development, it is necessary for engineering disciplines to provide student-centered education. Not only do teaching methods using ICT reproduce teaching contents in a digital format, but they are also expected to be effective media for constructive student-centered learning whereby learners build knowledge themselves. The aim of this study was to develop a tool for safety education using virtual reality technology. To achieve the objectives, the author defined the requirements and constraints of the tool, and implemented a 3D educational tool in a virtual reality environment. A pilot test with 10 students showed positive results.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.6
• /
• pp.1421-1433
• /
• 2015

For an accurate analysis through the forensic of digital devices and computer, it is a very important validation of the reliability of digital forensic tools. To verify the reliability of the tool, it is necessary to research and development of the data set to be input to the tool. In many-used Windows operating system of the computer, there is a Window forensic artifacts associated with time and system behavior. In this paper, we developed a set of data in the Windows operating system to be able to analyze all of the two Windows artifacts and we conducted a test with published digital forensic tools. Therefore, the developed data set presents the use of the following method. First, artefacts education for growing ability can be analyzed acts standards. Secondly, the purpose of tool tests for verifying the reliability of digital forensics. Lastly, recyclability for new artifact analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.112-114
• /
• 2002

다양한 자동화된 테스팅 도구들이 존재하지만 프러덕 라인(product line)에서 요구하는 다양한 레벨과 방법론을 수용하기에는 부족하다. 또한 기존 테스팅 도구는 특정 기법과 레벨만을 제공하기 때문에 사용자가 다른 기법을 사용하기 원할 경우 적용하고자 하는 기법이 적용된 다른 테스팅 도구를 사용해야 한다. 따라서 본 논문에서는 테스팅 도구 개발에 있어서 프러덕 라인화 방안을 제안한다. 프러덕 라인 개념에 따라 표준에 정의된 테스트 활동들의 공통점과 방법론과 기법에 따른 차이점을 도출하여 추상화 시킨후 컴포넌트로 개발한다. 개발된 컴포넌트를 조립 시 컴포넌트의 구현된 차이점들을 리스트로 만들어 컴포넌트를 선택 가능하게 함으로써 생산된 제품이 변경 가능하도록 한다. 또한 개발하는데 드는 시간과 노력을 줄이기 위해 각 컴포넌트의 사용자 인터페이스를 실제로 구현하지 않고 명세하여 자동 생성되게 한다. 본 논문에서 제안하는 방안을 통해 사용자가 원하는 방법론과 기법이 적용된 테스팅 도구로 테스팅을 수행할 수 있게 될 뿐 아니라 개발된 컴포넌트를 재사용 할 수 있다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.6C
• /
• pp.659-667
• /
• 2003

IPsec refers to a standardized set of security protocols and algorithms which can provide the integrity, the authentication and the confidentiality services for IP packets in the Internet. Between two security gateways, IPsec provides the access control, the connectionless Integrity, data origin authentication, the anti-replay, and the confidentiality services, not only to the IP layer but also to the upper layers. In this paper, we describe a VPN (Virtual Private Network) testbed configuration using the FreeS/WAN and analyze the ISAKMP messages exchanged between the linux security gateway during the IKE SA setup. Also, we describe our development of an IPSEC encryption verification tool which can be used conveniently by VPN administrators.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.4
• /
• pp.288-298
• /
• 2001

Utilizing standards for software process to a specific project requires a tailoring process to meet the development domain. However, the existing tailoring schemes are not systematical and possible to use without analyzing the methodology and development domain. Also, it is not quite easy to apply them to similar projects. This paper includes: 1) systematical tailoring steps and 2) an automatic algOlithm for generating test process based on "a scheme of tailoring process using the component-based development paradigm"; 3) "an automation tool for tailoring, AutoTP" which is derived from XML techniques. Users can generate a tailored test process through our AutoTP automatically without analyzing standards. methodology and domain.