• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Journal of Korean Library and Information Science Society
• /
• v.34 no.3
• /
• pp.211-229
• /
• 2003

In this paper, we have focused that the number of word in the web document affects definite clustering performance. Our experimental results have clearly shown the relationship between the amounts of word and its impact on clustering performance. We also have presented an algorithm that can be supplemented of the contrast portion through co-links frequency of web documents. Testing bench of this research is 1,449 web documents included on 'Natural science' category among the Naver Directory. We have clustered these objects by term-based clustering, link-based clustering, and hybrid clustering method, and compared the output results with originally allocated category of Naver directory.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.18
• /
• pp.189-218
• /
• 2002

The EPC/Turnkey Contract goes to the extreme in allocating risks to the contractor and depending on the types of project, this may be regarded as unacceptable. It has also gone to the extreme in the extent to which the contractor is responsible for the specification and design of the Works. The employer is not responsible for correctness of any information provided by him nor for correctness of any specification or other matter included in the Employer's Requirements, except the definition of the intended purpose and criteria for testing and performance. With such conditions it is surprising that the employer is entitled to interfere in the contractors performance to an extent that is close to what is norm for a construction contract with employer design and with normal risk allocation. The combination of risk allocation and inappropriate administrative provisions makes the EPC/Turnkey Contract a document that will meet severe resistance from contractors. It is also likely that employers will see the risks and difficulties from their own perspective. It is a fiction that the EPC/Turnkey Contract will give the employer a contact with a certainty of final price and completion date. It is not a fiction that the EPC/Turnkey Contract carries many seeds for disputes between the parties. The Orange Book has become an accepted document even if it clearly contains some weaknesses. Some of these have been corrected in the Plant Contract. In my opinion FIDIC should let users become more familiar with the Plant Contract as a follow up to the Orange Book.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.5
• /
• pp.801-807
• /
• 2010

Requirements management is one of the most essential activities of systems engineering in developing successful weapon systems. Particularly it is very important to consistently manage the traceability among the user requirements, the system requirements, the development specifications and the testing plans throughout the entire life cycle of the weapon system. However, the most part of requirements-related activities has centered around the functional and performance requirements but the integrated logistics support(ILS) requirement has not properly been managed. In this regard, a special attention is needed to develop and manage the ILS requirements. To do so, the ANSI/EIA-632 standard can be referred as a starting point since the ILS requirements of the weapon system under development are specified by the enabling products whereas the functional and performance requirements are covered by the end product requirements. Specifically, we first review and model several cases of previous weapon systems development, which reveals the problem of interest. Then, under the framework of ANSI/EIA-632, we study a hierarchical model for effectively managing ILS requirements by analyzing the features of ILS requirements. Finally, the value of the proposed model is discussed through the case study of electronic warfare equipment.

• Analytical Science and Technology
• /
• v.23 no.4
• /
• pp.414-422
• /
• 2010

In forensic examinations of question document, analysis about inks components and the dating of ink entries is often of considerable importance and forensic examination of inks is principally concerned with the classification and comparison of chemically complex mixtures. The authenticity about inks analysis of a questioned document may be examined through the analysis of inks used to TLC, HPLC/MS, GC/MS, LDI/MS. We collected 56 difference types of black ballpoint pen inks manufactured from 5 country groups. We identified major 6 species volatile organic components (VOCs), ethylbenzene ($0.089-0.244\;{\mu}g$/mL), o-xylene ($0.072-0.331\;{\mu}g$/mL), m,p-xylene ($0.062-0.318\;{\mu}g$/mL), benzene ($0.003-0.173\;{\mu}g$/mL), 1,1-dichloroethylene ($0.003-0.295\;{\mu}g$/mL), toluene ($0.007-0.484\;{\mu}g$/mL) using HS-SPME GC/MS. The results of this study indicated that determined VOCs of black ballpoint pen inks could make a discriminating tool of inks analysis for forensic question document and can supply methodology for classification and identification of between ballpoints pen inks.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.29 no.3
• /
• pp.248-255
• /
• 2009

After several damages by PWSCC were found in the world, USNRC and PNNL(Pacific Northwest National Laboratory) started the research on PWSCC under the project name of PINC. The aim of the project was 1) to fabricate representative NDE mock-ups with flaws to simulate PWSCCs, 2) to identify and quantitatively assess NDE methods for accurately detecting, sizing and characterizing PWSCCs, 3) to document the range of locations and morphologies of PWSCCs and 4) to incorporate results with other results of ongoing PWSCC research programs, as appropriate. Korea nuclear industries have also been participating in the project. Thermally and mechanically cracked-four mockups were prepared and phased array and manual ultrasonic testing(UT) techniques were applied. The results and lessons learned from the preliminary RRT are summarized as follows: 1) Korea RRT teams performed the RRT successfully. 2) Crack detection probability of the participating organizations was an average 87%, 80% and 80% respectively. 3) RMS error of the crack sizing showed comparatively good results. 4) The lessons learned may be helpful to perform the PINC RRT and PSI /ISI in Korea in the future.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.43-51
• /
• 2016

Preventing the forgery and alteration of test reports is important, in order to maintain the reliability of military supplies. Based on a survey of reports on testing institutions and a case study of established electronic document systems in the public sector, we propose a system architecture, which helps prevent the forgery and alteration of test reports with legal force. The proposed architecture takes advantage of both the time stamp that records the time a document is received and a server synchronized with the testing institution. Using the proposed system architecture, the user is able to request a test and receive reports from the testing institution without delay. Also, a defense agency is able to conveniently prove the authenticity of the test reports and utilize the statistical data collected by the architecture. Therefore, we expect that the proposed system architecture will help defense agencies to prevent the forgery and alteration of test reports and ensure their reliability and quality.

• Journal of Information Technology Services
• /
• v.18 no.5
• /
• pp.71-83
• /
• 2019

This study aimed to develop and pilot-test educational program prototypes of training health coaches to help cancer patients overcome crises and create positive growth. For this purpose, the educational contents and methods of the blended learning program prototypes were derived through learner needs and literature analysis. The prototypes, which consist of introducing of health management and health information and understanding and practice of basic coaching and health coaching, were developed to integrate with four sessions of face-to-face, off-line classes, training practices through 12 tele-classes, and use of online learning system. The prototypes were conducted and pilot-tested by a total of 35 students selected through the document screening and the interview. After participating in the blended learning program, learners expressed greater overall satisfaction with each session program (average score = 4.36, with 5 being most satisfied), satisfaction with learning contents (average score=4.42) satisfaction with course preparation (average score = 4.26) and satisfaction with lecture materials (average score = 4.19). The results of this study show that a systematic and integrative approach for designing a blended learning program can be useful for various educational needs in health and medical fields. In the future, empirical studies are expected to see how these curricula are actually implemented and assess whether the intended learning outcomes are achieved.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1217-1233
• /
• 2017

Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.