• Journal of Internet Computing and Services
• /
• v.9 no.2
• /
• pp.89-105
• /
• 2008

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for 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 the Korea Academia-Industrial cooperation Society
• /
• v.21 no.5
• /
• pp.206-215
• /
• 2020

This study analyzes the relationship between K-CESA of undergraduate students, and their coaching skill and creativity confluence competences. Totally, 344 students attending private colleges in G province were evaluated for their competence. The data collected were analyzed by descriptive statistics, Pearson's correlation analysis, multiple regression analysis and Sobel test, using the SPSS/PC 22.0 computer program. Our results indicate that K-CESA, coaching skill, and creative convergence fulfill the assumption of normality. Moreover, significant positive relationships were determined between K-CESA and creativity confluence, as well as between coaching skill and creativity confluence. Furthermore, K-CESA was an important factor that predicts the creativity confluence competency, and coaching skill had mediating effects on the relationship between K-CESA and creativity confluence competency. In conclusion, our results indicate that K-CESA and coaching skills are important factors that will help strengthen creativity confluence competences.

• Journal of Internet Computing and Services
• /
• v.17 no.2
• /
• pp.97-107
• /
• 2016

The purpose of this study was to investigate the determinant factors of the social capital construction through socal media focused on social media use, motives, trust. Total of 261, college students participated in this study. The data were analyzed by the exploratory factor analysis, confirmatory factor analysis, correlation analysis, reliability analysis and path analysis based on structural equation model analysis using IBM SPSS 21 and IBM AMOS 21 program. Results show that social media use, motives(employment/reminiscences) and social media trust influenced positively on bridging social capital. Second, motives of use(information/exchange) and social media trust influenced positively on bonding social capital. Finally, social media use, specifically, social media trust generally promotes participatory social capital.

• Journal of Korea Multimedia Society
• /
• v.12 no.9
• /
• pp.1309-1315
• /
• 2009

This research goal of developing and producing a tool that finds security weakness that may happen when a usual program is executed. The analyzing tool for security weakness has the major functions as follows. In case that a part of anticipated security weakness are in execution, it traces a machine language to a part in execution. And Monitoring System calls and DLL(API) calls when a program is in execution. The result of this study will enable to contribute to use as educational materials for security service in companies and related agencies and to prevent from hacking of external information invaders in the final analysis.

• Journal of Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

• Journal of Digital Convergence
• /
• v.17 no.11
• /
• pp.537-546
• /
• 2019

This study verified the factors influencing continuous intention to use of OTT service users through technology acceptance model and extension. For this purpose, the main results were derived through correlation analysis and path analysis using SPSS 21.0 program and AMOS 21.0 program. The summary is as follows. First, perceived ease of use was found to have a statistically significant positive effect on perceived usefulness. Second, perceived ease of use did not have a statistically significant effect on continuous intention to use. Third, the perceived usefulness has a statistically significant positive effect on continuous intention to use. Fourth, perceived innovativeness has a statistically significant positive effect on perceived ease of use. Fifth, perceived innovativeness has a statistically significant positive effect on continuous intention to use. Sixth, perceived playfulness has a statistically significant positive effect on continuous intention to use. The above results will be meaningful in that it has revealed a path to understand the extension of the technology acceptance model of OTT services and acceptance of OTT services.

• The Journal of the Korea Contents Association
• /
• v.21 no.12
• /
• pp.676-687
• /
• 2021

The main purpose of this study is to study the effect of a program to improve self-esteem and positive thinking in middle-aged women using Buddha Ball meditation. In order to achieve this research purpose, the subject of this study was middle-aged female Buddhists at Temple H in Busan who were interested in 'Buddha Ball'. For the analysis method, empirical analysis was performed using the One Group Pretest-Posttest Design of this study. The main research results are as follows. First, as a result of examining the effect of Buddha Ball meditation on the quality of life, it could be seen that the overall quality of life had a significant positive (+) effect on the experimental group. Second, as a result of examining the effect of Buddha Ball meditation on self-esteem, it could be seen that self-esteem had a significant positive (+) effect on the experimental group. Third, as a result of examining the effect of Buddha Ball meditation on positive thinking, it could be seen that the entire positive thinking had a significant positive (+) effect on the experimental group. Based on these research results, the main conclusion was that the Buddha Ball, a healing meditation tool using the sound wave energy, had a positive effect on the self-esteem and quality of life of middle-aged women Buddhists. Accordingly, it is judged that the Buddha Ball meditation program has a positive use value for middle-aged women who are experiencing more complex psychological difficulties due to individual, family, and social environmental conditions. In addition, by preparing a system that can actively utilize the Buddha Ball meditation program educationally and politically, the implications of the justification and necessity of using it to improve the self-esteem, positive thinking and quality of life of middle-aged women were presented.

• Journal of Navigation and Port Research
• /
• v.37 no.6
• /
• pp.673-680
• /
• 2013

The purpose of this study is the Influence of Sailing Yacht Experiences Participants of Flow on Satisfaction and Self-esteem relates to the impact on leisure industry, the popularity of korean culture and yacht basis for the realization is to provide. To achieve this study, Busan, Ulsan, Gyeongnam area residents to target marine leisure and marine leisure experiences Academy experienced subjects participated in a total population of 428 people selected for the survey was conducted, data processing method frequency analysis, reliability analysis, validity analysis, a simple regression analysis, multiple regression analysis was used. Than as a result of research methods and data analysis through the conclusions are as follows. First, sailing yacht experience the flow degree of the participants to influence satisfaction were static. Second, the flow degree of the participants experienced sailing yacht self-esteem(general factors, family factors, work factors, social factors) was found to affect the static. Third, sailing yacht experience satisfaction self-esteem of the participants(general factor, family factors, work factors, social factors) was found to affect the static.

• The Journal of the Korea Contents Association
• /
• v.11 no.12
• /
• pp.230-240
• /
• 2011

The personality types has been emphasized as one of the influential factors for the program selection by viewers in the multi-channel and multimedia era. However, there have been few empirical studies on this issue. The current study investigated how the audience personality influence the program preference. Specifically, this study focused on both need for cognition and sensation seeking which are related to the television viewing motivation. To examine the influence of personality on program preference, four types of drama and five types of entertainment programs were used. The results of the web survey showed that viewers personality type seem to have effect on their program preference. Indeed, it appeared that there was positive relationship between need for cognition and sensation seeking. The implications of this study's findings were discussed.

• Journal of the Korean Applied Science and Technology
• /
• v.40 no.6
• /
• pp.1225-1237
• /
• 2023

The purpose of this study is to find out the effect of office workers' motivation to choose clothing and makeup colors on appearance satisfaction and self-esteem. The subjects of this study were working women working in Chungcheong-do for two weeks from July 15, 2023 to July 29, 2023, and 696 sampled copies were used for the final analysis. Frequency analysis, factor analysis, reliability analysis, (one-way)ANOVA, and post-verification (Scheffe's) were handled using the SPSS 26.0 program, and office workers' clothing. Correlation analysis, simple regression, and multiple regression were performed to find out the correlation between makeup color selection motivation, and the statistical significance level was p<.I set it to 05. Through this research procedure, the following conclusions were drawn. First, it was found that the motivation of office workers to choose clothes color had a positive (+) effect on appearance satisfaction. Second, office workers' motivation for choosing makeup colors was found to have a positive (+) effect on appearance satisfaction, and physical attractiveness was found to have a positive (+) effect on situational factors. Third, it was found that the color choice of clothes of office workers had a positive (+) effect on self-esteem. Fourth, It was found that the motivation of office workers to choose makeup colors had a positive (+) effect on self-esteem.