• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.9 no.3
• /
• pp.209-214
• /
• 2015

The purpose of this study was to examine (1) the influence of the word-prediction function on the sentence generation speed and (2) the necessity, convenience, and satisfaction of the word-prediction function of the AAC keyboard. A total of 10 adults with cerebral palsy participated and the word-prediction function of the Korean high-tech AAC device called "MyTalkie Smart" keyboard was used for this study. Participants were required to generate sentence as voice outputs using a word-prediction function and letters direct-input function respectively, then they were required to evaluate the necessity, convenience, and satisfaction using a five-point Likert scale. Other user requirements were examined using a free feedback. The results of this study presented that the sentence generation speeds were faster when participants used a word-prediction function than using a letters direct-input function. However, there was no statistically significant difference between these two input methods, and it might be due to the lack of time to practice the new device. Participants showed positive responses for the necessity, convenience, and satisfaction of the word-prediction function.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.36 no.1
• /
• pp.53-59
• /
• 2016

Ultrasonic nonlinear evaluation is generally utilized for detection of not only defects but also microdamage such as corrosion and plastic deformation. Nonlinearity is determined by the amplitude ratio of primary wave second harmonic wave, and the results of its comparison are used for evaluation. Owing to the experimental features, the experimental nonlinearity result contains system nonlinearity and material nonlinearity. System nonlinearity is that which is unwanted by the user; hence, it acts as an error and interrupts analysis. In this study, a bulk wave mixing technique is implemented in order to minimize the system nonlinearity and obtain the reliable analysis results. The biggest advantage of this technique is that experimental nonlinearity contains less system nonlinearity than that for the conventional nonlinear ultrasonic technique. Theoretical and experimental verifications are performed in this study. By comparing the results of the bulk wave mixing technique with those of the conventional technique, the strengths, weaknesses, and application validity of the bulk wave mixing technique are determined.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.11
• /
• pp.1451-1456
• /
• 2020

Depending on the size and complexity of the game, interest in game quality control is increasing. The quality of the game can be evaluated through fun and stability tests, and the player's satisfaction varies greatly accordingly. For the quality control of the game, Fun QA is in charge of testing to increase the fun and give satisfaction to the players. In this study, we first looked at software quality improvement techniques and game QA work. And in order to improve game quality, we analyzed Fun QA, which is relatively unstructured compared to Technical QA, which is mainly responsible for stability testing. Based on this, the Fun QA process was proposed and an example of Fun QA design was presented using real games. It is expected that this study will be one of the pillars of the game quality management area pursuing quality improvement by guaranteeing fun. Furthermore, it is expected to help QA workers expand their work area.

• Journal of Apiculture
• /
• v.32 no.3
• /
• pp.191-198
• /
• 2017

Vespa hornets are notorious predators of honeybees in Korean beekeeping. Detection of vespa hornet attacking on honeybee colony was tried through analysis of wing beat frequency profiling from Vespa mandarinia. Wing beat profiles of V. mandarinia during active flight and resting were distinctively different. From the wing beat profiling, algorithm of automated detection of vespa attack was encoded, and alert system was developed using Teensy 3.2 and Raspberry pi 3. From the laboratory testing, the prototype system successfully detected vespa wing beats and delivered the vespa attack information to the user wirelessly. Further development of the system could help precision alert system of the vespa attack to apiary.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.2
• /
• pp.503-523
• /
• 2022

Nowadays, many attendance applications utilise biometric techniques such as the face, fingerprint, and iris recognition. Biometrics has become ubiquitous in many sectors. Due to the advancement of deep learning algorithms, the accuracy rate of biometric techniques has been improved tremendously. This paper proposes a web-based attendance system that adopts facial recognition using open-source deep learning pre-trained models. Face recognition procedural steps using web technology and database were explained. The methodology used the required pre-trained weight files embedded in the procedure of face recognition. The face recognition method includes two important processes: registration of face datasets and face matching. The extracted feature vectors were implemented and stored in an online database to create a more dynamic face recognition process. Finally, user testing was conducted, whereby users were asked to perform a series of biometric verification. The testing consists of facial scans from the front, right (30 - 45 degrees) and left (30 - 45 degrees). Reported face recognition results showed an accuracy of 92% with a precision of 100% and recall of 90%.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.7
• /
• pp.1013-1018
• /
• 2022

Game Industry sustained growth for some time, but the lifespan of a game is shortening. Various efforts to improve the quality of services for the game players which play a role in extending the lifespan of games. When a game is serviced, the server of the game starts to store log informations, and the stored data became important measures to predict game user's activities. As the game's data gathers, it becomes highly useful big data. By analyzing the data of the game stored in this way, a game service issue analysis procedure is proposed to improve the quality of the game service and to proceed with a better service, and based on the analysis in this way, it was applied to the balance test process and verified through expert to the balance test process. If the log analysis process is applied through this paper, it will be a basic data that can improve the quality of game services.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.5
• /
• pp.167-174
• /
• 2009

The meaning of Database in order to manage the data which is huge in the meeting of the record which logically had become the fire tube or file 'efficiently' is widely used from the place which controls a many double meaning data. Like this data base it creates, it manages, the programs which send an answer back according to demand of the user as DBMS it calls. Like this it will be able to grasp the quality level of the data base software product which is important index from the research which index it buys it defined. Also, in order to produce the result of index it selects the collection item which is necessary and collection and analysis it leads and what kind of defect types occur substantially mainly, and it confirmed and the test and evaluation model in about data base software and a tentative instance it developed it analyzed.