• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.746-753
• /
• 2001

GenBIST implemented in this paper is an automatic CAD tool, which can automatically generate circuitry in VerilogHDL code based on user defined information for the memory testing. While most commercial and conventional CAD tools adopt a method in which they make memory-testing algorithms as a library to generate circuitry, our tool can generate circuitry according to the user-defined algorithm, which makes application of various algorithms easier. In addition, memory BIST circuitry can be shared with other memories by supporting embedded memories in our tool. Also, extra pins for the memory testing are not requited when boundary scan technique is combined.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.691-698
• /
• 2001

Component-based development methods are regarded as one of the most important tools for us to cope with ever-increasing software complexity and, at the same time, to improve productivity in software development. This paper presents how to generate test-cases for integrated software from those of member components and how to validate composition of components, by the analysis of domain relations of components. This paper shows the applicability of the proposed technique by the real experiment. This study is based on the dataflow systems architecture and process components, and the technique developed here is an application of domain testing technique.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.04a
• /
• pp.439-440
• /
• 2012

New analysis methods complement classical approaches in the vehicle NVH development by reducing and accelerating iteration steps to obtain a target sound. Therefore, tools are required that allow an integrative approach of sound engineering and structural analysis and enable a precise simulation and modification based on measured data. The Response Modification Analysis (RMA) is such a hybrid solution, which provides indications of relevant transfer paths taking into account the sensitivity of response channels to modifications of reference channels.

• Communications for Statistical Applications and Methods
• /
• v.7 no.3
• /
• pp.655-665
• /
• 2000

Several information criterions, Schwarz information criterion (SIC), Akaike information criterion (AIC), and the modified Akaike information criterion ($AIC_c$), are proposed to locate a change point in the multiple linear regression model. These methods are applied to a stock Exchange data set and compared to the results.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.10
• /
• pp.5925-5932
• /
• 2014

The aim of this study was to develop assessment tools for analyzing society focusing on abilities, not an academic clique. The development of a type of occupational qualification, which is called a working and learning system, for Koreans, can be reliable and acceptable to a variety of society members. This study was conducted by searching for a dual system and examining a qualification system in developed countries. To achieve the goal of this study, the management status according to a type of qualification system was analyzed. In addition, a variety of related laws, related department, testing authority, testing institute, terms of applying for tests, way of testing, committee of testing, testing subjects, criterion for passing tests, a status of qualification test administrated in some developed countries, such as Germany, UK, the USA and Australia, were conducted. The occupational duty of the machine field and education contents are examined by analyzing the occupational duty. In addition, the criterion to solve problems and a way of marking in the field of machines were indicated and an example of written and practical tests is presented. This study makes a blueprint for a qualification system of working and learning at the same time in a national dimension.

• Journal of the Korea Convergence Society
• /
• v.10 no.12
• /
• pp.53-61
• /
• 2019

The risk of project failure has increased recently as ERP systems have been transformed into Web environments and task complexity has increased. Although low-code platform development tools are being used as a way to solve this problem, limitations exist as they are centered on UI. To overcome this, back-end development tools are required that can be developed quickly and easily, not only from the front development but also from a variety of development sources produced from the ERP development process, including back-end business services. In addition, the development tools included within existing ERP products require a lot of learning time from the perspective of beginner and intermediate developers due to high entry barriers. To address these shortcomings, this paper seeks to study ways to overcome the limitations of existing development tools within the ERP by providing customized development tool functions by enhancing the usability of ERP development tools suitable for each developer's skills and roles based on the requirements required by ERP development tools, such as reducing the time required for querying, automatic binding of data for testing for service-based units, and checking of source code quality.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.1
• /
• pp.31-42
• /
• 2018

Countries around the world are strengthening informatics education to cope with the development of technology that leads to rapid social change. The last step in the capacity to foster through formal education is high school education. The purpose of this study is to examine the competence and level of informatics curriculum for high school students who aim to enter university in terms of testing tools. In order to carry out the research, we analyzed informatics education related test tools for high school students such as Japan, Germany, and USA. The results of the analysis are as follows: First, both the essay type and the short answer type question are included in the test tool as well as the multiple choice question type. Second, we use the real world model as an item and ask whether we can use computing power for practical problem solving ability. Third, the items directly related to the university education are reflected in the items. This study suggests that it has helped to elucidate the features and discussions of the test tool and establish the development direction of the test tool for informatics education.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.4
• /
• pp.709-722
• /
• 2022

The recent "Log4j Security Vulnerability Incident" has occurred, and the information system that uses the open source "Log4J" has been exposed to vulnerabilities. The incident brought great vulnerabilities in the information systems of South Korea's major government agencies or companies and global information systems, causing problems with open source vulnerabilities. Despite the advantages of many advantages, the current development paradigm, which is developed using open source, can easily spread software security vulnerabilities, ensuring open source safety and reliability. You need to check the open source. However, open source vulnerability scan tools have various languages and functions. Therefore, the existing software evaluation criteria are ambiguous and it is difficult to evaluate advantages and weaknesses, so this paper has developed a new evaluation criteria for the vulnerability analysis tools of open source

• Journal of Korea Multimedia Society
• /
• v.8 no.8
• /
• pp.1119-1133
• /
• 2005

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. The implemented formal checker is able to verify whether properties expressed in modal logic are true in specifications using modal mu-calculus. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification. The suggested tools are implemented by C++ language under Windows NT.