소프트웨어 개발 명세서의 불일치 요소 검출방안

최신형 한국콘텐츠학회 2005 한국콘텐츠학회논문지 Vol.5 No.2

The specifications which are drawn up when developing a software cannot achieve continuous automation because of individual qualities of them, and many inconsistent elements can be discovered even from software audit. In this paper, we establish the standards for the classification of inconsistent items by analysing audit related data in order to maintain the consistency among specifications drawn up in the phases of analysis and design. We propose the specification inconsistent item detection method. This can reduce the error of the specification which is drawn up from analysis and design phase with it will be able to improve the quality of the software which is a last product. It can improve the quality of the software which is a last product, by reducing the error of the specification which is drawn up from analysis and design phase. 소프트웨어를 개발할 때 작성되는 명세서들은 개별특성으로 인해 연속적인 자동화가 이루어지지 않으며, 소프트웨어 감리에서도 많은 불일치 항목이 발견된다. 본 논문에서는 분석 및 설계단계에서 작성되는 명세서간 일관성 유지를 위하여 감리관련자료를 분석하여 불일치 항목 분류기준을 설정한다. 이를 기초로 명세서 불일치 항목 추출 방법을 제안한다. 이를 이용하면, 분석 및 설계단계에서 작성되는 명세서의 오류를 줄임으로써 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

최적 테스트 케이스 설계방법

최신형,진광윤 三陟大學校 2003 論文集 Vol.36 No.-

소프트웨어 개발 과정의 검사활동 중에서 소프트웨어가 가지고 있는 결함을 발견하는 테스트는 품질 보증이나 검증면에서 매우 중요한 위치를 차지한다. 또한, 소프트웨어를 개발할 때 테스트 단계에서 소요되는 비용은 상당히 크며, 일련의 테스트 입력에 의해 얼마나 그 소프트웨어가 잘 테스트되는지를 판단하는 것은 매우 중요하다. 본 논문에서는 테스트를 수행할 때 사용되는 테스트 케이스를 작성하는 새로운 설계방법을 제안한다. 이를 통해 테스트에 소요되는 시간을 상당히 줄일 수 있다. Test that find error that software has among examination activity of software development process occupies very important position warranty of quality or verification side. Also, expense that is cost at test step when develop software is cost much, and it is very important that judge by series test input how software is tested well. This paper proposes new design method to make out used test case when achieve test. Through this method, can reduce fairly time that is cost in test.

분산환경에서 유전자 알고리즘을 이용한 고 가용성 디스크 캐쉬 관리자 연구

최신형,진광윤 三陟大學校 産業科學技術硏究所 2003 産業科學技術硏究論文集 Vol.8 No.2

This paper presents the design and implementation of the Disk Cache Manager (DCM). which operates on top of the micro-kernel based distributed operating system for clustering system connected with multiple PC. and enhances the I/O performance of the shared disks. The DCM interacts with different servers through message passing mechanism provided by the micro-kernel. To increase the shared disk I/O performance, the DCM employs a Seven, Disk and a Socid Disk for each physical shared disk. so that it enables efficient data placements for shared disks. The cluster node of the node allocation system provides a good allocation solution using Genetic Algorithms(GA) distributing the parallel modules to the clustered nodes. As an utilization of a certain shared disk is incremented, the DCM enlarges a corresponding cache size. thus increasing the hit ratio of the disk cache. In result. the enhancement of the overall disk I/O performance can be achieved.

고품질 소프트웨어 개발을 위한 테이블 분석방법

최신형,진광윤 三陟大學校 2003 論文集 Vol.36 No.-

본 논문에서는 요구분석 및 설계단계에서 도출된 각종 명세서를 기반으로 하여 통합 테스트 단계에서 작성되는 테스트 시나리오의 오류를 최소화하기 위한 방안으로서 테이블 분석방법을 제시한다. 이를 이용하면 통합 테스트 단계에서 작성되는 테스트 시나리오 작성에 오류를 줄임으로써 특별한 검토과정 없이 요구분석 및 설계단계에서 얻어진 명세서에 의존해서 테스트 시나리오를 작성하는 방법에 비해 테이블 정보에 대한 오류를 최소화함으로써 테스트 능률향상 뿐 아니라 테스트 비용을 크게 줄일 수 있다. 이를 바탕으로 통합 테스트를 수행한다면 보다 정확한 테스트가 가능하므로 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다. Is based on various detailed statements that is drawn requirement analysis and design stage in this paper and presents table analysis method by way to minimize error of test scenario that is made out at integration test step. If use this, can reduce greatly test expense as well as test efficiency elevation by minimizing error about table information. If achieve integration test with this, can improve quality about software that is last product because correct test is available.

요구사항 추적테이블을 이용한 객체지향 통합 테스트 시나리오 작성지원 도구의 설계 및 구현

최신형,한판암,Choe, Sin-Hyeong,Han, Pan-Am 한국정보처리학회 2002 정보처리학회논문지D Vol.9 No.4

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용되는 시나리오 작성지원 절차를 제시하고, 시나리오 작성지원 도구를 구현하였다. 이를 위해 기본적으로 요구사항 정의테이블, 프로세스 정의테이블, 프로그램 대 테이블 상관도를 사용한다. 추가로 앞의 3가지 테이블 기능을 요구분석, 설계, 테스트 단계별로 나누어 한곳에서 신속·정확하게 체크할 수 있는 요구사항 추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성지원 도구의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항의 누락을 방지하고, 해당 프로세스에 대한 테이블 정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다. This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

스마트 캠퍼스 정보제공 서비스에 관한 연구

최신형 중소기업융합학회 2016 융합정보논문지 Vol.6 No.3

본 연구의 목적은 대학교 캠퍼스 내에서 공부하고 생활하는 학생들에게 개인별 맞춤형 정보를 제공하는 것을 목적으로 한다. 연구방법은 캠퍼스 내부에서 수집되는 데이터와 인터넷 상의 블로그나 SNS 등의 외부 데이터를 수집하여, 이를 저장하여 처리한 다음, 이들 데이터를 세부적으로 분석하여 학생 개인별로 일대일 마케팅을 제공하는 시스템을 제안한다. 학생 한 사람 한사람의 구매 이력과 해당 건물의 출결상황을 상세히 분석하여 패턴에 맞춰 학생개인별로 내용이 다른 쿠폰 및 정보를 학생의 휴대전화로 전송한다. 이를 통해 학생 개인별로 맞춤형 정보를 제공함으로써 보다 유익한 대학생활을 할 수 있을 것이다. The purpose of this study is to provide customized information to student which study and live in a university campus. In this study, we collect internal data of campus and external data on the Internet such as the blog or SNS and, then store and process them. After that, we propose a system for providing individual students one-to-one marketing by analyzing these data in detail. This system analyzes purchase history information and the attendance of the building, and then transmits the coupon and information individually according to the pattern to the student's mobile phone.

A Systematic Review on English Learning Using AI

최신형 팬코리아영어교육학회 2024 영어교육연구 Vol.36 No.1

This study aims to review and analyze research articles on AI in academic journals on English language teaching published in South Korea in the past 5 years. A total of 35 articles were analyzed according to research periods, subjects, methods, and themes. The study revealed that the number of AI studies tended to continuously increase during the period from 2018 to 2022. The favored research participants were college students, followed by elementary and high school students. Recently more studies were conducted with mixed-level students, teachers, and experts. Mixed methods have been the dominant research method in recent years. In terms of research themes, types of AI appeared most often, while there emerged a variety of themes such as teaching and learning methods and development of instructional models as well as the concept of AI, learners’, pre-service teachers, and teachers’ perceptions of AI. Based on the findings, pedagogical implications and future directions for research regarding AI were suggested.

로보트와 포지셔너의 특이성 회피 방법 ( A Method for Singularity Avoidance of A Robot and A Positioner )

최신형,서일홍,임준홍 대한전자공학회 1988 대한전자공학회 학술대회 Vol.1988 No.01

저소득층 부적응 아동의 역량(Empowerment)강화를 위한 음악치료 프로그램 연구

최신형 이화여자대학교 교육대학원 2007 이화교육논총 Vol.17 No.-

This study is to develop, implement music therapy program on empowerment for maladjustment children in poverty and to demonstrate its effects. To achieve the goal of this study, it has set the research question as follows: (1) How does this program has an effect on the personal empowerment (self-efficacy, coping behavior competence) of children in the experimental group? (2) How does this program in process of time affect children's mutual support in experimental group? Research methods used in this study were literature study, quantitative research method for the effectiveness test, and qualitative research method. For Research question is the characteristic of the maladjustment children in poverty, the utility of the group program, and the validation of the various music therapy techniques through the literature study. And then, 14 sessions program has been prepared on the basis of research question 1.Research question 2 and 3 were evaluated by quantitative research method. In order to verify the effects of the developed program, pre/post test design is applied. There are 18 children recommended by the welfare worker who are linked to 'A integrated social service center' and 'H welfare center for children' in Seoul city or Incheon city. And 18 subjects are randomly allocated to the experimental group and the control group. The experimental group are divided into 3 groups which were examined through the preliminary research and revision after selecting the contents. The effectiveness was analyzed with statistical procedures of paired samples t-test by the data analysis computer program, SPSS 12.0. Research question 4 was used to show the types of mutual support, and the increase in the mutual support frequency in the process time of group program. Music therapist has made a recording film at every session and analyze the self-rating test stated by children themselves 's views in the experimental group. Major findings are as follows. First, the desire of maladjustment children in poverty is determined by the music therapist. According to literature studies, Research question 1 is consisted of singing song, music appreciation, impromptus, and musical performance. At the beginning time, each session involve interaction between the therapist and children to make a pre-discussion, form the rapport the self-inquiry and be also needed in this time. Second, maladjustment children in poverty in the experimental group make an improvement in personal empowerment compared to pre-test result. That is, self-efficacy and coping behavior competence of them were promoted with a statistical significance. Third, maladjustment children in poverty in the experimental group make an improvement in mitigation of negative emotions compared to pre-test result. the other words, anxiety and stress of that children in experimental group were mitigated with a statistical significance. Fourth, the result of content analysis, maladjustment children in poverty in the experimental group were changed the mutual support in the group music therapy processing time. In conclusion, this study confirmed effectiveness of music therapy group program on empowerment for maladjustment children in poverty.

3상 전동기 결상에 의한 전기화재 보호를 위한 장치 개발 연구

최신형,곽동걸,김진환 한국화재소방학회 2012 한국화재소방학회논문지 Vol.26 No.1

In the three-phase power system using the three-phase motor, when any one-phase is open-phase,the unbalanced current flows and the single-phase power supplied by power supply produces overcurrent to motor coil. As a result, the enormous damage and electrical fire can be given to the power system. Recently, the thermal over-current relay (THR) or electronic motor protection relay (EMPR)is mostly used as the open-phase detection device of the three-phase motor. When the over-current or overheat of electric line is generated, it detects and operates circuit breaker, but there is the defect that the sensing speed is slow, the operation can be sometimes failed, and the precision is decreased. In order to improve these problems, this paper is proposed a new control circuit topology for openphase protection using semiconductor devices. Therefore, the proposed open-phase protection device (OPPD) enhances the sensing speed and precision, and has the advantage of simple fitting in the three-phase motor control panel in the field, as it manufactures into small size and light weight. As a result, the proposed OPPD protects the three-phase motor, minimizes the electrical fire from openphase,and contributes for the stable driving of the power system. The performance and confidence of the proposed OPPD is confirmed by a great variety of the experiments of operation characteristic. 3상 전동기를 이용하는 3상 전력계통에서 1상이 결상되면 계통에는 불평형 전류가 흐르거나 단상전력이공급되어 전동기 코일의 과전류로 인한 화재발생은 물론 전력계통에 큰 피해를 주게 된다. 최근 3상 전동기 결상검출 방식으로는 열동 과전류계전기와 전자식 모터 보호계전기가 대다수 이용되고 있으며, 이들은선로의 과열이나 과전류가 발생되면 검출하고 차단기를 동작시키는 방식으로 감지속도가 느리고 오동작과 정밀도가 떨어지는 문제점이 있다. 이들을 개선하기위하여 본 논문에서는 반도체 소자를 이용한 새로운 결상보호용 제어회로 토폴로지를 설계하여 감지속도와 정밀도를 향상시키고, 소형 경량으로 제작되어현장의 3상 전동기 제어반에 용이하게 장착시킬 수 있는 장점이 있다. 그 결과 제안한 결상 보호장치는3상 전동기를 보호하고 결상으로 발생하는 전기화재를 최소화시키고 그리고 전력계통의 안정적인 운전에기여할 수 있을 것이다. 제안한 결상 보호장치는 다양한 동작특성 실험을 통하여 그 성능과 신뢰성이 입증된다.