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

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.285-290
• /
• 2018

논지가 높은 설득력을 갖기 위해서는 충분한 지지 근거가 필요하다. 논지 내의 주장을 논리적으로 지지할 수 있는 근거 자료 추출의 자동화는 자동 토론 시스템, 정책 투표에 대한 의사 결정 보조 등 여러 어플리케이션의 개발 및 상용화를 위해 필수적으로 해결되어야 한다. 하지만 웹문서로부터 지지 근거를 추출하는 시스템을 위해서는 다음과 같은 두 가지 연구가 선행되어야 하고, 이는 높은 성능의 시스템 구현을 어렵게 한다: 1) 논지의 주제와 직접적인 관련성은 낮지만 지지 근거로 사용될 수 있는 정보를 확보하기 위한 넓은 검색 범위, 2) 수집한 정보 내에서 논지의 주장을 명확하게 지지할 수 있는 근거를 식별할 수 있는 인지 능력. 본 연구는 높은 정밀도와 확장 가능성을 가진 지지 근거 추출을 위해 다음과 같은 단계적 지지 근거 추출 시스템을 제안한다: 1) TF-IDF 유사도 기반 관련 문서 선별, 2) 의미적 유사도를 통한 지지 근거 1차 추출, 3) 신경망 분류기를 통한 지지 근거 2차 추출. 제안하는 시스템의 유효성을 검증하기 위해 사설 4008개 내의 주장에 대해 웹 상에 있는 845675개의 뉴스에서 지지 근거를 추출하는 실험을 수행하였다. 주장과 지지 근거를 주석한 정보에 대하여 성능 평가를 진행한 결과 본 연구에서 제안한 단계적 시스템은 1,2차 추출 과정에서 각각 0.41, 0.70의 정밀도를 보였다. 이후 시스템이 추출한 지지 근거를 분석하여, 논지에 대한 적절한 이해를 바탕으로 한 지지 근거 추출이 가능하다는 것을 확인하였다.

• Journal of the Korean earth science society
• /
• v.31 no.1
• /
• pp.36-50
• /
• 2010

The purpose of this study is to investigate the aspect of variation of the texts in elementary and secondary school science textbooks at each grade level in terms of linguistic features. Data included some of the written texts related to 'Volcano and Earthquake' in Korean elementary and secondary school science textbooks in the seventh National Curriculum. The written texts were comparatively analyzed in terms of textual meaning, interpersonal meaning, and ideational meaning. Results revealed that there were different structures and linguistic features of the texts in school science textbooks depending on the grade level. Therefore, we argue that the differences in this study may make students feel difficult and strange when they read and understand science textbooks. We suggest that science teachers need to play the role of a mediator between students' understanding and the structural features of the scientific language in science learning.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(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 Korean Association of Information Education
• /
• v.6 no.3
• /
• pp.279-287
• /
• 2002

These days, school education is making every possible effort to bring up a human able to opposed creatively to 21 century social, because of society is global and informational step by step. For this, the special activity in the seventh curriculum is expended and reorganized from three areas to five areas. On the other hand, the special activity is pushed ahead with the developmental activity in consideration of student's ability and aptitude. However, the teachers are difficult to organize of the developmental activity in based on student's ability and aptitude. Because of developmental activity is organized in the beginning of a term, not only the teachers are fallen to realize student's ability and aptitude but also students ignore ability and aptitude themselves. Therefore this paper designs a program based on MI(Multiple Intelligence) theory to compose developmental activity effectively. Up to now, MI is introduced nine kinds of intelligence, Linguistic Intelligence, Logical-Mathematical Intelligence, Musical Intelligence, Spatial Intelligence, Bodily-Kinesthetic Intelligence, Interpersonal Intelligence, Intrapersonal Intelligence, Naturalist Intelligence, and Existentialist intelligence. this paper designs the K-MIDAS test[1] based on seven kinds of intelligence areas and implements developmental activity program suit to student's ability and aptitude based on the MI test result.

• Journal of Korean Home Economics Education Association
• /
• v.23 no.1
• /
• pp.87-111
• /
• 2011

The purpose of this study was to develop and evaluate practical problem-based Home Economics lesson plans applying to the multiple intelligence teaching learning strategy, focused on the unit 'Nutrition & Meals' of middle school Home Economics subject matter. To achieve this purpose, the lesson plans were developed and evaluated from the 72 middle school students in Chongju after implementing the instruction. The data from the questionnaire were analyzed by SPSS/WIN 12.0 and content analysis. The results were as follows: First, the objectives of practical problem-based 'Nutrition & Meals' Instruction using multiple intelligence teaching strategy were to understand the importance of nutrition and health in an adolescent period and to develop good eating habits. The Practical Problem was 'What should I do for good eating habits?' and the learning contents were healthy life, the kinds and functions of nutriments, food pyramid and a food guide. The learning activities were progressed by various types of teaching and learning methods including 8 types of multiple intelligence teaching strategy. The lesson plans were developed according to the process of practical problem solving model. 6 periods of lesson plans and worksheets were developed. Second, the practical problem-based instruction using multiple intelligence teaching-learning strategy were evaluated to increase students' positive learning attitudes, motivation, and good eating habits.