• International Journal of Contents
• /
• v.15 no.4
• /
• pp.97-106
• /
• 2019

EMI (English as a Medium of Instruction) classes are now accepted policy at Korean universities, yet students often struggle with required academic English writings. The present study examined an EMI class that used direct instruction and access to online assistive English writing software. From preliminary analysis, 26 students expressed interest in how an EMI academic writing class could facilitate improved English writing skills. Study participants completed a survey on self-efficacy and learning needs and assignments for an EMI academic writing class. To establish inter-rater reliability, three trained raters assessed the written essays of students prior to and after instructional intervention. Fleiss' Kappas statistics showed moderate reliability. Students' opinions on the use of online software were also analysed. Paired t-test was run on the quality of students' pre- and post-instruction assignments, and there was significant difference in the rated scores. Self-efficacy was found to have moderate positive association with improved post-essay writing scores.

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

Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

• Journal of Digital Convergence
• /
• v.13 no.2
• /
• pp.141-151
• /
• 2015

As smartphone penetration increases are mobile payments service are expanding. Mobile Commerce software market is trend that is soaring. Accordingly, high reliability Mobile Commerce request of high quality are enlarged. And The greater amount of data is going to be more mobile commerce market situation is also gradually increased. In this paper, I surveyed and analysed the general trend and test/certification trend of mobile commerce software, and developed the mobile commerce software quality evaluation metrics base on ISO/IEC 9126 and ISO/IEC 12119, the standard about the quality evaluation.

• Journal of the Korea Convergence Society
• /
• v.10 no.3
• /
• pp.59-65
• /
• 2019

In this paper, we propose a software quality measurement metrics of ISO / IEC 25023, which is newly proposed for software quality evaluation, to compare the difference with ISO / IEC 9126-2 which was used for software quality evaluation. In this paper, we propose a method for evaluating the quality of reliability based on the software reliability growth model among the eight quality characteristics presented in ISO / IEC 25023. Based on ISO / IEC 25023, software-quality evaluations demonstrate that there is some risk in evaluating reliability when based on data.

• 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 the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

• Proceedings of the CALSEC Conference
• /
• 1999.07a
• /
• pp.193-205
• /
• 1999

Nowadays, public domain software CALS/EC projects give their attention to the importance of test and evaluation (T＆E). This article proposed a survey on T＆E procedures of the international standards ISO 9000-3, ISO/IEC 9126 and ISO 14598, and of the U.S. Army pamphlet as well as that of MIL-STD-498. And features of testing tools such as their characteristics were reviewed for a reference in selecting appropriate one. Large-scale software projects often encounter with problems during T＆E, when they become close to the end of development cycle. The problems generally act as a bottleneck of a project, leading to slippage of the entire schedule. This article tried a close look at the problems and solution alternatives of the T＆E policy, management, and technical issues, and proposed a T＆E model to support a variety of software development environment.

• Journal of Digital Convergence
• /
• v.11 no.9
• /
• pp.45-54
• /
• 2013

Currently, the domestic nursing information system software products are being developed competitively with the participation of many companies, generating quantitative development with high value added. However, it is true that the study that concurrently adds qualitative enhancements to such quantitative development has been inadequate. In order to secure international competitiveness in the field of nursing information system software, it is necessary to establish quality requirements on this system, and along with it, establish an evaluation system on the nursing information system software products. The purpose of this study is to analyze the accompaniment and technology of the nursing information system, and by identifying the requirements, establish test and evaluation system of the said system.

• Journal of Digital Convergence
• /
• v.11 no.12
• /
• pp.319-326
• /
• 2013

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. It is shown that it is possible to do asymptotic likelihood inference for software reliability models based on infinite failure model and non-homogeneous Poisson Processes (NHPP). Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, we proposed a control mechanism based on NHPP using mean value function of logarithmic hazard learning effects property.

• Journal of Digital Convergence
• /
• v.15 no.3
• /
• pp.175-180
• /
• 2017

In accordance with the development of IT industry worldwide, software industry has also grown tremendously, and it is exerting influence on the general society starting from daily life to financial organizations and public institutions. However, various security threats that can inflict serious threat to provided services in proportion to the growing software industry, have also greatly increased. In this thesis, we suggest a smart fuzzing system combined with black box and white box testing that can effectively detectxdistinguish software vulnerability which take up a large portion of the security incidents in application programs.