• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of KIISE:Software and Applications
• /
• v.41 no.8
• /
• pp.557-568
• /
• 2014

Recently, software projects have been increasing and getting complex. Due to the large number of submitted bug reports, developers' workload increases. Generally in bug triage process, the triagers assign the bug report to fixer (developer) in order to resolve the bug. However, bug reports have been reassigned to other developers because fixers are not suitable. This is why the triagers did not correctly check and understand the bug report and decide the appropriate developers to fix the bug. This results in increase of developers' time and efforts in software maintenance. To resolve these problems, in this paper, we propose a novel method for developer recommendation based on topic model and social network. First, we build a basis of topic(s) from bug reports. Next, when a new bug report (test data set) comes, we select the most similar topic(s) and extract the participated developers from the topic(s). Finally, by applying social network, we analyze the developers' behavior (comment and commit activity) and recommend the appropriate developers. In this paper we compare our work with related studies through performance experiments on open source projects. The results show that our approach is more effective than other studies in bug triage.

• Journal of Digital Convergence
• /
• v.10 no.11
• /
• pp.225-234
• /
• 2012

OSS(Open source software) pursues the freedom to have access to open source and offers several advantages, over the proprietary software, to enterprises. Based upon Rogers(1995)' innovation-diffusion process, we assume that attributes of innovations includes five characteristics of innovations: relative advantage, compatibility, complexity, trialability, and observability, and that firms' perceptions of these characteristics predict the rate of adoption of OSS. To test this hypothesis, we presents a survey result from 201 companies and institutions concerning the use of OSS. Statistical analysis shows that adoption is highly correlated with each of those characteristics of innovations, but the regression analysis indicates that only compatibility and observability have effects on the adoption of OSS. This implies that intrinsic value of OSS is important, but unless the appropriate service package for improving IT environment is provided, it is not easy to change the perspective of corporate customers more favorable toward OSS use. As a conclusion, the academic and practical implications are also discussed.

• Journal of Power System Engineering
• /
• v.16 no.6
• /
• pp.52-58
• /
• 2012

Roll forming process is one of the most widely used processes in the world for forming metals such as a furniture drawer guide or an up and down slide guide. It can manufacture goods of the uniform cross section on a large scale throughout the continuous processing. In the domestic design and manufacture, roll forming process for production is taking most of the method of 2-point under rail slide. However, this method is vulnerable to the structural strength and stiffness is not suitable for high load conditions. Therefore, through systematic study of high load, low noise 3-point ball type of under rail slide its own design and manufacturing technology is the need to build. In this paper, to make center member of 3-point ball-type under rail slide for the refrigerator doors, the roll forming modeling and simulation are performed. Tensile test is performed about SCP-1 1/2H for determine the mechanical properties of materials. Modeling and simulation of roll forming is used MSC.MARC software of a dedicated analysis program used by rigid plastic finite element method. Interference between the roll and the final shape are predicted from the results of the simulation.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.9
• /
• pp.814-824
• /
• 2016

The mission objective of STEP Cube Lab. (Cube Laboratory for Space Technology Experimental Project) classified as a pico-class satellite is to find space core technologies researched at domestic industry or university and to verify these technologies on mission orbit. To implement this objective, system level electrical integration and function test (EIT) by using developed flight software were performed in compliance with system requirements. And the effectiveness of the flight model (FM) was verified through launch and thermal vacuum test at acceptance level. This paper will introduce a series of process of electrical function tests for FM EIT, launch and thermal vacuum tests.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.5
• /
• pp.372-379
• /
• 2017

Software reliability factor during the software development process is elementary. Case of the infinite failure NHPP for identifying software failure, the occurrence rates per fault (hazard function) have the characteristic point that is constant, increases and decreases. In this paper, we propose a reliability model using the chi - square distribution which depends on the degree of freedom that represents the application efficiency of software reliability. Algorithm to estimate the parameters used to the maximum likelihood estimator and bisection method, a model selection based on the mean square error (MSE) and coefficient of determination($R^2$), for the sake of the efficient model, were employed. For the reliability model using the proposed degree of freedom of the chi - square distribution, the failure analysis using the actual failure interval data was applied. Fault data analysis is compared with the intensity function using the degree of freedom of the chi - square distribution. For the insurance about the reliability of a data, the Laplace trend test was employed. In this study, the chi-square distribution model depends on the degree of freedom, is also efficient about reliability because have the coefficient of determination is 90% or more, in the ground of the basic model, can used as a applied model. From this paper, the software development designer must be applied life distribution by the applied basic knowledge of the software to confirm failure modes which may be applied.

• Journal of Digital Convergence
• /
• v.16 no.5
• /
• pp.1-12
• /
• 2018

In this study, we introduce the background and model for the Test of Practical Competency in ICT(TOPCIT), which is designed to diagnose and assess the competency of ICT industry related workers and software(SW) developers, and also attempt to derive meaningful policy implications for developing a global level of ICT SW competency evaluation system across the different cases in domestic and foreign countries with regard to the application and dissemination of the TOPCIT. First, we analyze the test results from surveys conducted a preliminary test (or a pilot test) for the process of global dissemination of the TOPCIT in 2015. Then, we attempt to compare the results with the domestic test results. The findings show that the average score between domestic and foreign test takers was similar, but in the highest score group, the number of domestic test takers was relatively higher than the number of foreign test takers. Moreover, the average score can be varied by the language ability, especially fluent in English, of test takers. Therefore, the findings suggest that the localization is one of the key components for building upon the global TOPCIT system.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.793-799
• /
• 2009

Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.1
• /
• pp.31-36
• /
• 2004

As internet technology has rapidly developed, there have been works for the strategic techniques of the geographic information system integration and component that meet the situation of the variable customer requirement in endless change of execute environment. So there needs a design techniques of spatial data common component that can support technology and Query Processing, and so on. In this thesis, design techniques is proposed to support user-friendly interface and query currently available every place to provide these local-based software development technology. This process was evaluated through an verification test with a widely used development methodology The proposed methods is applied for computation and can reduce software development life cycle.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.2 no.1
• /
• pp.89-93
• /
• 2002

This paper introduces a vision-based on-line fabric inspection methodology of woven textile fabrics. Current procedure for determination of fabric defects in the textile industry is performed by human in the off-line stage. The advantage of the on-line inspection system is not only defect detection and identification, but also 벼ality improvement by a feedback control loop to adjust set-points. The proposed inspection system consists of hardware and software components. The hardware components consist of CCD array cameras, a frame grabber and appropriate illumination. The software routines capitalize upon vertical and horizontal scanning algorithms characteristic of a particular deflect. The signal to noise ratio (SNR) calculation based on the results of the wavelet transform is performed to measure any deflects. The defect declaration is carried out employing SNR and scanning methods. Test results from different types of defect and different style of fabric demonstrate the effectiveness of the proposed inspection system.