• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.2
• /
• pp.140-144
• /
• 2009

The efficient test tool is indispensable to the test driven development. The test tool is very helpful to get the advantage of the test driven development. Many traditional automation test tool does not support standard script language and are not suitable to unit test. In traditional unit test tool, a code for the test is added at the source code. Such method makes the complexity of a source code and has a problem which must modify many part of the source code when the test case is changed. In this paper, we present a design technique of a flexible unit testing tool which makes a developer can modify easily the test case by using the standard java script in test driven development. We implement the test tool by this design technique to verify the availability of this technique.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.10a
• /
• pp.51-52
• /
• 2015

IMO has been proceeding in the maritime SQA for software quality is considered to be essential for the development of the introduction of the e-Navigation. In order to ensure software quality, follow the prescribed procedures throughout the software development project and create the output as a result of executing the respective steps. This paper is introduced a case for applying to maritime software development using the tool that is capable of real-time monitoring and automated documentation. Also, it is discussed the improvement of procedures for applying the expected effects and maritime SQA for thr tool utilization. The Development of customized tools for maritime SQA that is reflected an improved procedure for tool is the future goals.

• Journal of The Korean Association For Science Education
• /
• v.37 no.6
• /
• pp.971-980
• /
• 2017

In this study, we explored the characteristics of instrumental genesis in high school students' scientific inquiries. Twenty-three 10th to 11th graders in a science research club participated in this study. The students in 6 groups autonomously planned and performed their own scientific inquiries for one semester. Their activities were videotaped and recorded. Semi-structured interviews were conducted. Material request papers and group worksheets were also collected for analysis. The results of the study suggested that students' practices were categorized as instrument genesis. When instrument genesis did not occur, the cases at the beginning of and during the practice were described respectively. Instrumental genesis was found to appear in three categories: instrumentation; instrumentation and instrumentalization; and instrumentalization. The characteristics and details of case represented in each category were described and discussed related to affordance as the results of the study. On the bases of the results, the implications for the reconsideration of the instruments in school science inquiries are discussed.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.89-99
• /
• 2005

The testing time and cost of developed software can be reduced by automation of the whole or part of testing process. Since the testing automation tools to be used currently have been developed without their interoperability, test case information such as test procedures, test data, and expectation of test results generated at the stage of test execution cannot be shared and reused in other testing automation tools, In order to reduce testing time and cost, in this thesis, we have proposed a software testing automation framework which makes it possible to share and reuse the test case information generated in testing process. To prove the availability and effectiveness of proposed testing automation framework, three testing automation tools that are available in current market were experimented by the test scenario. As a result of experiment, the testing time and cost could be reduced by sharing and reusing the test case information in software testing automation framework.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.1
• /
• pp.17-24
• /
• 2009

According to increasing requirments in embedded systems, embedded software has been more complicated then before, a software developer is required to test her/his software to make a efficient embedded system software in both time and space. This paper suggests a testing tool with which a software developer can easily test the embedded system software in cross-development environments. The suggested tool is designed based on host/target architecture, to provide an intuitive test environment in which a test case can be executed in a target board. The tool uses an XML-based test script to generate an appropriate test case. It includes a tree-based test script editor with which a developer can easily make a test case. Therefore, with the suggested tool, a develop can put down a burden on an software testing and get more productivity in software development related on embedded system.

• Korea Information Processing Society Review
• /
• v.1 no.3
• /
• pp.48-53
• /
• 1994

• Journal of Digital Convergence
• /
• v.10 no.9
• /
• pp.443-448
• /
• 2012

This study aims to investigate the relationship between various motivational factors and to identify other causative components affecting English learners' learning motivation(From March to Jun, 2012). In case of integrative motivation and instrumental motivation, there was a statistically significant difference among those who have studied in other countries. However, in the case of negative motivation, there was a statistically significant difference among those who have no learning experience in other countries. English learners' learning motivation between the students majoring in Liberal Arts and Others, learning contents and teaching methods were significant factors.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.168-175
• /
• 1995

It has been commonly accepted for a while that a successful tool environment must provide for smooth interfaces between its tools. Recent integrated CASE environment must be-based on well-integrated data repository which supports a tightly coupled, consistent environment. For the maintenance tool, it requires a careful design of the maintenance chest's database. Information about a program exists in many different forms after analyses have been performed. It must be possible to associate and select objects for data repository from this information as necessary. This paper suggests a new integrated scheme for the data repository in building software maintenancec environment. The scheme provides many basic services, including storage and management of objects/entities and links/ relations; version and configuration control, query service, data interchange service.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.569-581
• /
• 2001

XML Schema which enables the second revolution of Internet with XML rapidly emerging as a standard for XML document structure modeling. XML Schema modeling has more complex structures and information than DTD modeling. In this reason, XML Schema modeling tool which has some more specialized functionalities others is needed. In this paper, we have developed the XML application development method called \"Design and develop\" and implemented the prototype system named XSD4j which supports UML based XML Schema modeling and provides a XML application development platform. Using XSD4j, developers can get an easy and conceptual schema modeling method, XML storage schema for XML document, and persistent DOM API which is a standard interface between document and application program.n program.