• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.284-288
• /
• 2015

Recently, the mandate on utilizing BIM implemented by public institutions of many countries has great impact on the significantly increasing practices of BIM. The improvement of work efficiency and productivity, which is occurred by BIM adoption, depends on the consistency and accuracy of data. To maximize the benefit of BIM, the interests in BIM data quality have been enlarging all over the world. The BIM data quality pre-check, which is conducted by designer in the design phase, offers opportunities for quality improvement by continuously assessing BIM data. However, BIM quality pre-check is being conducted under arbitrary interpretation of users because of the absence of specific review factors and assessment methods for checking BIM quality. The purpose of this study is to establish an automated BIM quality pre-checking system to improve BIM design quality effectively and efficiently. It could be expected to meet the owner's requirements and to minimize the cost and time occurred additionally from revising and reproducing data by constructing consistency and accuracy of it.

• Design Convergence Study
• /
• v.15 no.6
• /
• pp.73-92
• /
• 2016

As one of empirical research and developments on BIM applications to improve design quality and productivity of building, efforts have been devoted to automated compliance checking of building design for building permit. KBimLogic is a mechanism that translate Korean Buidling Act to the computational language called KBimCode. KBimCode aims to standardized and neutral language that can be applied to various design rules. This paper focuses on testing expandability of KBimCode by appling it on Chinese Building Act. We analyzed Chinese national regulation on fire protection and evacuation, based on 1) Object·property, 2) function for predicate processing, 3) relationship of sentences. As a result, Chinese Building Act were successfully translated to KBimCode with some important implications for further application. Based on the finding of the paper, KBimCode is expected to be applicable to kinds of design rules.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.11 no.2
• /
• pp.1-10
• /
• 2015

As programs get more complicated and they are developed by various hands, the possibility that there are program bugs in the code has been increasing. And developers usually run unit tests to find these problems in the code. Besides, the developers are at the pain of getting stability of the code when they have to modify a code very often for clients requirements. In the methodlogy of TDD(Test Driven Development), developers write a unit test code first, and then write a program code for passing the unit test. The unit test must include the boundary condition test the reason why the possibility of occurring the bugs is very high. When failed to pass the test because of the value of a function is incorrect, not existed, out of the range or not matched etc, the program code will return the error code or occur the exception. In the document, the system is designed and implemented in order to insert the generated code automatically or suggest it to the developer, when the boundary condition test is failed. In conclusion, it is possible that the developer will get the code stability by searching the code and checking the code to be omitted automatically through this system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.285-294
• /
• 2020

We study the complementary information set codes (for short, CIS codes) over 𝔽₄. They are strongly connected to correlation-immune functions over 𝔽₄. Also the class of CIS codes includes the self-dual codes. We find a construction method of CIS codes over 𝔽₄ and a criterion for checking equivalence of CIS codes over 𝔽₄. We complete the classification of all inequivalent CIS codes of length up to 8 over 𝔽₄.

• Korean Journal of Construction Engineering and Management
• /
• v.13 no.6
• /
• pp.143-152
• /
• 2012

As the Public Procurement Service announced the compulsory of BIM adaption in every public construction from 2016, the importance of BIM is increasing. Besides, automatic code checking takes significance in terms of the quality control for BIM based design. In this study, rule-sets were defined for Act on the Promotion and Guarantee of Access for the Disabled, the Aged, and Pregnant Women to Facilities and Information. Three analytic steps were suggested to shortlist the objective clauses from the entire code; the frequency analysis using project reviews for architectural code compliance, the clause analysis on quantifiability, and the analysis for model checking possibilities. The shortlisted clauses were transformed into the machine readable rule-set definition. A case study was conducted to verify the adaptiveness and consistency of rule-set definitions. In future study, it is required the methodologies of selecting objective clauses to be specified and its indicators to be quantified. Also case studies should be performed to determine the pre-conditions in modeling and to check interoperability issues and other possible errors in models.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.6
• /
• pp.48-55
• /
• 1998

In this work, the testable CAM(Content Addressable Memory) is designed to perform the test effectively by inserting the ECC(Error Checking Circuit) inside the CAM. The designed CAM has the circuit which is capable of testing the functional faults in read, write, and match operations. In general the test circuit inserted causes the increase of total circuit area, Thus this work, utilizes the new MTA code to reduce the overhead of an area of the built-in test circuit which has a conventional parallel comparator. The designed circuit was verified using the VHDL simulator and the layout was performed using the 0.8${\mu}{\textrm}{m}$ double metal CMOS process. About 30% reduction of a circuit area wad achieved in the proposed CAM using the XOR circuit

• International Journal of Advanced Culture Technology
• /
• v.9 no.1
• /
• pp.203-209
• /
• 2021

When carrying out computer programming, the process of checking and correcting errors in the source code is essential work for the completion of the program. Non-computer majors who are learning programming for the first time receive feedback from instructors to correct errors that occur when writing the source code. However, in a learning environment where the time for the learner to practice alone is long, such as an online learning environment, the learner starts to feel many difficulties in solving program errors by himself/herself. Therefore, training on how to check and correct errors after writing the program source code is necessary. In this paper, various types of errors that can occur in a Python program were described, the errors were classified into simple errors and complex errors according to the characteristics of the errors, and the distributions of errors by Python grammar category were analyzed. In addition, a coding learning process to refer error lists was designed to present a coding learning method that enables learners to solve program errors by themselves.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.4
• /
• pp.67-84
• /
• 1996

VDL-SL (Vienna Development Method-Specification Language) is one of the FSL(Formal Specification Language) which is being presented for the correct description of the security relevant standards. Several tools are being developed for the correctness and the convenience in the description and executable code generation of security relevant standards using VDM-SL. The IFAD VDM-SL Toolbox is one that has many functions : syntax checking, type checking, c++ code generation, test coverage information. This paper describes a formal method for description and implementation of MD4 algorithm using VDM-SL and IFAD VDM-SL Toolbox, and examines the result applied to secure hash algorithm, and proposes the relation to strict conformance test which recently suggested as a security test method.