• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.5
• /
• pp.985-991
• /
• 2009

A grammar-based test case generation (GBTG) algorithm takes a grammar G and generates a subset of the language L(G) accepted by G, and called test cases for software product testing. As most languages specified with CFG are recursive, usually L(G) is so large that it is not practical to execute all the of the generated cases. Therefore, this paper presents some "tags" : extra-grammatical annotations which are designed to restrict the generation. A number of control mechanisms have been developed to prune the number of test cases generated while still producing a test set that covers the majority of inputs to the system.

• International Journal of Internet, Broadcasting and Communication
• /
• v.9 no.3
• /
• pp.59-69
• /
• 2017

The best 'hub' to communicate with the citizen is using social media to marketing the business. However, there has several issued and the most common issue that face in critical is a capital issue. This issue is always highlight because most of automatic sentiment detection tool for Facebook or any other social media price is expensive and they lack of technical skills in order to control the tool. Therefore, in directly they have some obstacle to get faster product's feedback from customers. Thus, the personal online retailing need to struggle to stay in market because they need to compete with successful online company such as G-market. Sentiment analysis also known as opinion mining. Aim of this research is develop the tool that allow user to automatic detect the sentiment comment on social media account. RAD model methodology is chosen since its have several phases could produce more activities and output. Soppy tool will be develop using Microsoft Visual. In order to generate an accurate sentiment detection, the functionality testing will be use to find the effectiveness of this Soppy tool. This proposed automated Soppy Tool would be able to provide a platform to measure the impact of the customer sentiment over the postings on their social media site. The results and findings from the impact measurement could then be use as a recommendation in the developing or reviewing to enhance the capability and the profit to their personal online retailing company.

• English Language & Literature Teaching
• /
• v.17 no.4
• /
• pp.123-139
• /
• 2011

The purpose of the current study is to analyze a model of OPIc-based speaking test for Korea English classroom. The research questions were (1). What is the English teachers' opinion on the current speaking teaching and testing? (2). Is the OPIc speaking test appropriate in the Korea English class? and (3). What are the English education students' perceptions of the OPIc-based speaking test for English classes? To answer the first research question, a survey was conducted targeting one hundred and forty-seven teachers. The result of the survey shows that Korea English teachers' great concern on the English teaching and speaking test are "communicative competence," "scoring and criteria," and "condition and need." To answer the second research question, the OPIc speaking test for the class was analyzed and it was found that in terms of the communicative competence," "scoring and criteria," and "condition and need" issues, OPIc based speaking test is appropriate in Korea English class. For the third research question, Q methodology was used targeting English education students and the result shows that most English education students strongly agree to the statements that the OPIc-based speaking test has the advantage to improve communicative competence. This study may provide the information about creating and adopting tests for English classes and relating standardized test and the English classes.

• Proceedings of the KSPS conference
• /
• 1996.10a
• /
• pp.421-425
• /
• 1996

A multimedia Version of ${\ulcorner}Lee-Kim test of Korean Articulation{\lrcorner}$ "Lee-Kim Test of Korean Articulation" consisting of picture test, Sentence test, user's manual and notation, analysis sheets was published in 1990 to serve as a standard tool for testing and analysing the articulation errors of normal and abnormal speakers. It has been found, however that, the picture and sentences test using the printed version of Lee-Kim test of Korean Articulation revealed several limitations, in i, e, a) inefficiency in inducing desirable response from the informants b) lack of concentration and interest on the part of informants c) no consistent way of providing the informant with a clue in case the informant is unfamiliar with the word represented by the picture or the sentence. d) no reliable means for the speech-language pathologist to analyze and evaluate the informant's speech in relation to the standard pronunciation A multimedia version of Lee-Kim Korean articulation Test which features picture and word as well as recorded voice has been developed with a view to eliminating the limitation mentioned above and facilitating the articulation test-with ease and accuracy.

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.11
• /
• pp.1564-1570
• /
• 2014

An electric vehicle (EV) not only receives electric power from the electric vehicle supply equipment (EVSE), but it also exchanges the information regarding charging process with the power gird through the EVSE. However, the EV and EVSE communicate using the ISO/IEC 15118 standard while the EVSE and power grid communicate using the IEC 61850 standard. Therefore, the EVSE should support both the ISO/IEC 15118 and IEC 61850 standards, and provide a data mapping function between the two communication protocols so that the EV and power grid, which support different protocols, can communicate with each other throughout the charging process. In this paper, we propose a mapping method of the EVSE, which converts the ISO/IEC 15118 data to IEC 61850 and vice versa, based on the XML schema of each protocol. The proposed method converts the data using the XSL (eXtensible Stylesheet Language) method, which defines the data mapping between two XML schemas. Our approach is more flexible and easier to maintain against changes in charging scenarios and the standards than other existing approaches such as one-to-one data mapping methods.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.51 no.10
• /
• pp.468-476
• /
• 2002

Digital images are easily corrupted by noise during the data transmission, data capture and data processing. A technical method of noise analyzing and adaptive filtering for reducing of quantum noise in medical radio-fluoroscopy images is presented. By adjusting the characteristics of the filter according to local statistics around each pixel of the image as moving windowing, it is possible to suppress noise sufficiently while preserve edge and other significant information required in diagnosis. We proposed adaptive weighed median(AWM) filters based on local statistics. We showed two ways of realizing the AWM filters. One is a simple type of AWM filter, which is constructed by Homogeneous factor(HF). Homogeneous factor(HF) from the noise models that enables the filter to recognize the local structures of the image is introduced, and an algorithm for determining the HF fitted to the diagnostic systems with various inner statistical properties is proposed. We show by the experimented that the performances of proposed method is superior to these of other filters and models in preserving small details and suppressing the noise at homogeneous region. The proposed algorithms were implemented by Visual C++ language on a IBM-PC Pentium 550 for testing purposes and the effects and results of the filter in the various levels of noise and images were proposed by comparing the values of NMSE(normalized mean square error) with the value of the other existing filtering methods.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.708-720
• /
• 2007

Memory access errors are frequently occurred in computer programs written in C programming language [1,2]. Accordingly, a number of research works have suggested a wide variety of methods to detect such errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, and excessive performance overhead. To cope with these problems, in this paper we suggest a new and automated tool to detect dynamic memory access errors in C programs.

• 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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1854-1866
• /
• 1997

This paper proposes a new test case generation technique for a nondeterministic finite state machine by improving the existing UIO sequence generation method. First, a new conformance relationis defined, which is one of prerequisites for automatic test case generation. Because fof the nondeterministic property of torpocols, the output of the systems under test is not known deterministically to the tester. Therefore, tree-like test case generation method is introduced for adaptive testing, in which the next input is selected after observing the previous output. Since the test cases are generated with regarding the inputs and outputs as separate events and are represented in tree notation, the test cases are easily converted into TTCN, the international standard test suite specification language.