• Smart Media Journal
• /
• v.13 no.8
• /
• pp.9-15
• /
• 2024

Software testing is essential in the software development process. Modified Condition / Decision Coverage (MC/DC) is a test case derivation technique that enhances the stability and reliability of software by effectively verifying complex conditions and decision structures. We propose the MCC Test Cases (MTC) generator in this study. This generator generates Multiple Condition Coverage (MCC) test cases using binary numbers to confirm the maximum coverage value of MC/DC testing. The proposed MTC generator utilizes some conditions from the Traffic Alert and Collision Avoidance System (TCAS)-II specification. It converts them into a Comma-Separated Values (CSV) file and then validates the coverage results through the VectorCAST program. So, MC/DC testing was performed using the MCC test case to confirm the maximum coverage value when performing MC/DC tests for each condition of the TCAS-II specification. This research is helpful for the verification of MC/DC test cases by confirming the maximum coverage value when performing MC/DC tests. Moreover, having more test cases increases the likelihood of discovering defects. Therefore, it can improve the efficiency of software test coverage verification, as well as the quality and stability of software.

• Journal of the Korea Society for Simulation
• /
• v.28 no.1
• /
• pp.41-47
• /
• 2019

Defense simulation is actively used to test various weapon systems and evaluate their effectiveness. The AddSIM environment is a simulation framework designed to support the weapon systems dealt with in defense simulation from an integrated point of view and is designed for reuse and scalability. Models used in AddSIM require base model structure fidelity and verification of user code area. Therefore, this paper describes the dynamic verification method used for completeness of models used in AddSIM. For the dynamic verification of user code, the specification method and the verification algorithm are described. Also, we introduce the prototype of the dynamic verifier implemented based on verification specification method and algorithm. The case study analyzes the verification results based on the simulation example implemented in AddSIM environment.

• The Journal of the Korea Contents Association
• /
• v.10 no.1
• /
• pp.275-285
• /
• 2010

This research examines the relation of dissatisfaction about own real conditions, deviant labeling, self-esteem, abuse from parent, victimization and juvenile delinquency(smoking, drinking, run-away, assault, taking away stuffs or money, larceny). The evidence of a strong relation of these factors and girls' delinquency is well known through empirical researches by feminist criminologists. Feminist criminology had attention to the gender-specific factors that could explain girls' delinquency. Most of conventional delinquency theories, such as social bond theory, differential association theory, focused on bad boys' deviant behaviors. These theories has not been designed to apply to girls' troubles. According to the conclusion of the research, there seems to support researches of feministic perspectives.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2006.11a
• /
• pp.355-360
• /
• 2006

Function analysis and idea creation phase in Value Engineering(VE) Process is applied to manufacturing Industry for developing functions for elements of products, and in construction come to use various components like process, size of project, spaces as well as function itself due to multi-functional aspect. For this reason, VE applications to the construction industry are considered to be less frequent and efficient than to the manufacturing. To resolve this problem, a new technique of Function Integration Fast(HI FAST) and Hierarchical Value Engineering Concept Modules(HVECM) was made for practical integration and sequence of VE job Plan. Two types of function would be defined In this method, first and second function, during the job Plan process, and two function champions be selected for next creation phase process. For verification of consecutiveness of function analysis and idea creation phase for successful VE project implementation, this methodology was tested under design phase in office and IT Multi-functional building project. Make sure the successful application of this process with this method, need to develop the talent of VE experts and team members for process of function analysis and creation phase.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.22 no.5
• /
• pp.945-957
• /
• 2012

Electronic documents have characteristics that detecting whether an electronic document is modified or not is not an easy process. Thus verifying integrity of documents is very important for using electronic documents. To facilitate this process, various electronic document software provide digital signature capabilities on themselves. However, there were not much research on the security of digital signature function of software. Therefore, in this paper, we analyze the security of Adobe PDF, MS Word, Hancom Hangul, digital notary service and digital year-end-settlement service, and propose recommendations for implementation of digital signature funcion.

• 한국과학기술학회:학술대회논문집
• /
• 2008.06a
• /
• pp.1-34
• /
• 2008

본 인식 조사에서 나타난 결과와 개선 방안의 도출과 관련한 시사점을 요약하면 다음과 같다. 첫째, 국내 연구부정행위 실태는 우려할만한 수준으로 나타났다. 위조, 변조, 표절, 부당한 저자 배분, 업적 부풀림 등 연구부정행위에 대해 연구비 유용이나 횡령보다 훨씬 더 만연한 것으로 응답하였다. 연구부정행위가 발각되는 정도에 대해서는 의견이 분분하였으나 처벌의 수위는 엄격하지 않다고 생각하는 것으로 나타났다. 본인의 연구윤리 의식이 타인에 비해 높은 것으로 자부하고 있으나 부정행위 인지시의 행동에 대해서는 바람직하다고 생각하는 행동과 자신의 예상 행동 사이에 괴리를 보였고, 바람직하다고 생각하는 행동도 매우 소극적인 것으로 나타났다. 부정행위 실태 조사에서 나타난 중요한 사실은 주로 기초 연구를 수행하는 과기부/교육부 사업 수행자가 응용이나 개발 연구를 수행하는 산자부/정통부 사업 수행자에 비해 자신의 연구 분야에서 연구부정행위가 훨씬 더 만연해 있는 것으로 응답한 것이다. 둘째, 가장 심각한 연구윤리 저해 요인에 대해서는 단기간 성과의 강조, 연구 수주의 경쟁 심화, 정량적 성과 주의 등을 꼽았으며, 전체적으로 개인적/문화적 요인보다는 구조적/조직적 요인, 특히 구조적 요인이 더 중요한 것으로 인식하고 있었다. 신뢰도 분석 결과 제3장에서의 분석을 바탕으로 본 연구에서 제시한 구조적, 조직적, 개인적, 문화적 요인의 구분은 유효한 구분으로 나타났다. 대학에 비해 정출연 소속 연구자들이 구조적 요인이 연구부정행위와 더 관련이 많다고 인식하고 있었으며, 기업 소속 연구자들은 구조적 요인이나 조직적 요인과의 관련성이 더 적은 것으로 인식하고 있어 본 연구에서 제시한 여러 저해 요인들이 대학이나 정출연에 더욱 밀접한 것으로 나타났다. 개인적 요인에 대해서는 여성이나 고연령층에서 부정행위와의 관련성을 더 크게 느끼고 있었다. 셋째, 개선 방안에 대해서는 과도한 연구비의 집중 방지, 소규모 개인과제 확대, 평가의 전문성과 공정성 확보를 가장 효과적인 방안으로 인식하고 있었다. 부정행위에 대한 처벌의 강화와 양적 평가의 개선에 대해서도 효과를 높이 기대하고 있었다. 연구윤리 교육이나 상대 평가의 강화, 진실성 검증 시스템의 보완 등에 대해서는 큰 효과를 기대하지 않고 있었으나 이는 국내에서 그동안 연구윤리에 대한 체계적 교육이나 진실성 검증 시스템이 존재하지 않은 탓에 연구자들이 그 효과를 잘 인식하지 못하고 있다는 점이 고려되어야 할 것이다. 개선 방안을 크게 평가, 선정, 수행, 연구윤리의 인프라로 구분하였을 때에는 선정과 평가와 관련된 개선이 시급한 것으로 인식하고 있었다. 사업별로는 과기부/교육부 사업 수행자가 선정과 관련된 개선의 효과를 더욱 크게 느끼고 있었고 소속기관으로는 대학 연구자들이 더욱 크게 느끼고 있어, 소규모 과제의 확대와 연구비 집중 문제 해결, 경쟁 완화 등이 대학과 기초연구분야에 더욱 절실하다는 것을 나타내었다. 전체적으로 제시된 세부 항목에 대해 과기부/교육부 사업 수행자가 산자부/정통부 사업 수행자보다 효과성을 높게 보고 있는 것은 연구부정행위 실태에 대해서도 더 심각하게 인식하는 것과 맥락을 같이한다고 볼 수 있다. 따라서 본 연구에서 제안하는 여러 개선 방안들을 단계적으로 적용한다고 할 때 우선 기초연구나 개인 단위 과제 중심으로 적용하는 것이 효과성이나 필요성의 측면에서 모두 바람직한 것으로 판단된다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.40 no.2
• /
• pp.237-244
• /
• 2016

Helical compression springs have been widely used in industries. The springs should be verified through experiment whether the inherent characteristics of the spring can be maintained during the manufacturing process. Considerable time and expense is spent in the manufacturing process. Therefore, in this study, the structural integrity evaluation of a spring was conducted using linear static structural analysis. Verification and comparison of the experimental data were carried out using a variety of international industrial standards with the intent to prove the validity of this study. The spring model did not consider coil ends. As a result of conducting the structural analysis, the quality of the mesh was improved and the time needed to create an analytical model was reduced. The study indicated that Poisson's ratio had little influence on the result of the structural analysis. Additionally, the possibility of verifying the structural integrity evaluation by structural analysis was confirmed.

• Journal of the Korean Geotechnical Society
• /
• v.29 no.11
• /
• pp.17-27
• /
• 2013

This study is to prove the efficiency of geo-synthetics on the crushed stone layer by experiments. The strength of PET mat as reinforcing soft ground was verified through the loading experiments. Also, PP mat was used to protect the blockage of crushed stone layer by the filled soil, whose efficiency was examined according to loading and infiltration conditions. The crushed stones were penetrated into clay layer if the PET mat was removed, which was verified by loading experiments. In addition, the cohesioness of soil without PP mat made the blockage of stone layer easily, which reduced the infiltration capacity by about 98%.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.161-164
• /
• 2022

부유식 라이다는 해상풍력단지 조성시 필수적으로 수행하고 있는 풍황관측 업무에 새로운 패러다임을 제공하고 있는 시스템으로, 전통적으로 풍황관측을 수행하고 있던 해상기상관측탑을 대체하여 사업 초기의 대규모 공사를 획기적으로 축소하여 시간과 비용을 절약하고, 환경적 영향을 최소화 하며, 지역사회의 반발 요소까지 줄일 수 있어 해당 업계의 표준으로 자리잡고 있는 중이다. 다만 부표식의 동요에 따른 외란적 요소가 관측자료의 신뢰성에 영향을 미치는 만큼 안정적인 플랫폼의 설계 및 검증이 매우 중요한 상황이며, 국내에서는 해당기술에 대한 늦은 진입으로 인해 다수의 외산장비 제조사들이 국내시장까지 선점하고 있는 상황이다. 한국의 서해안은 천해 환경으로 조석차가 매우 커 지역에 따라 강한 조류가 반복적으로 나타나며, 계절별로 상이한 강한 에너지의 파랑이 형성되는 등 플랫폼에 안정도에 많은 영향을 미치는 바다 환경을 갖고 있다. 본 논문에서는 이러한 복잡한 환경적 특성을 갖고 있는 우리나라의 해역에 라이다 운영에 적합한 부표식에 대한 연구를 수행하며, 우선적으로 적용하였던 선박형 부표식의 최적화 설계 및 검증 사례를 소개하고, 향후 다양한 플랫폼 개발에 토대가 되는 중요 개념을 도출하고자 한다.

• Journal of Advanced Navigation Technology
• /
• v.28 no.5
• /
• pp.664-669
• /
• 2024

Recently, the development of a Korean fighter jet is underway in Korea. As a result, various armament/equipment that can perform various missions will be installed and linked. In order for the aircraft and armament/equipment to be successfully installed and linked, they must be designed and developed based on linkage standards and must operate according to the operating procedures. In addition, safety and reliability must be verified through many repeated tests. In this paper, in order to optimize the resources (time, cost, manpower) consumed by performing repeated tests, an inspection system was developed according to the MIL-STD-1760, an airborne standard interface, and software that can perform aircraft linkage procedures in real time was installed to secure an integrated inspection system that can verify the linkage of armament/equipment in advance.