• Annual Conference of KIPS
• /
• 2021.11a
• /
• pp.437-439
• /
• 2021

SPL 방법론을 적용하여 개발한 제품군 시험은 모든 제품에서 사용되는 공통 부분과 일부 또는 단일 제품에서만 사용되는 가변 부분을 종합적으로 고려해야 하기 때문에 단일 소프트웨어 시험과는 상당히 다르다. 시험 커버리지는 작성된 시험에 대한 적절성을 측정하는 데에 사용되는 동시에 적절한 시험을 작성하기 위한 가이드로 사용되기 때문에 중요하다. SPL 시험에서 시험 커버리지 측정은 제품군을 구성하는 멤버제품 별로 측정될 수도 있지만, 이는 재사용을 기반으로 중복된 개발관련 활동의 최소화를 지향하는 SPL 의 원칙에 맞지 않다. 따라서 개별 제품이 아닌 SPL 수준에서 시험 커버리지 기준을 측정하고 시험의 적절성을 평가하기 위해서는 다른 방법이 필요하다. 이 논문에서는 구성가능한 소프트웨어 시스템(highly configurable software system)에 SPL 시험 방법을 적용하여 SPL 기반 제품군을 위한 시험 커버리지의 측정 방법을 제안하고 실험의 수행 결과를 기술하여 제안한 방법의 적절성을 검증한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2546-2555
• /
• 1998

Existing Systems need to be modified due to the change of environment, the emergence of new technology and the requirement of change. One of the features of system transformation is how functions of the old system is preserved in the transformed system after reverse-engineering. But, the techniques to evaluate and verigy the transformed system have proceeded more partially and fragmentarily. In this paper, we have proposed the functional coverage and developed the tool and techniques for verifying functional euivalence between a procedural software and a transformed object-oriented software. The tool and methods are efficiently used to verigy whehter the transformed program preserves the same functionality as the existing program.

• Tunnel and Underground Space
• /
• v.15 no.5 s.58
• /
• pp.344-351
• /
• 2005

Direct back analysis software is coded based on Simplex method using FLAC as a subroutine. For the verification of the software, 12 different cases are assumed combining various displacements in different measuring locations around a tunnel. The number of displacements for cases varies from 3 to 240. It is verified that the exact elasticity and the primary stress state of rock around a tunnel could be found through iterative calculation regardless of the locations and number of displacements and initial values needed for the direct back analysis.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.280-283
• /
• 2013

최근 원자력 발전소, 의료 시스템, 항공 시스템 등과 같이 사람의 생명과 밀접하게 관련되어 있는 소프트웨어로 제어하는 시스템들이 점차 늘어나고 있다. 차량에서 또한 차량 제어 소프트웨어의 오작동으로 인한 잦은 사고로 인하여 운전자와 탑승자의 생명을 위협 받고 있다. 이러한 문제로 인하여 차량시스템 제어 소프트웨어도 안전성 확보를 위한 기술로 차량에 통신 기술을 접목한 차량 통신 기술에 대한 관심이 높아지고 있다. 차량 운전자 뿐 아니라 탑승자의 안전과 밀접하기 때문에 많은 연구가 진행되고 있다. 이러한 많은 연구 중 긴급메시지전송 시스템은 차량 간 통신(V2V)을 통한 운전자의 안전성 확보에 대한 연구다. 본 논문에서는 차량 긴급메시지 전송에 필요한 모듈을 구조적으로 나누고 이를 통하여 긴급메시지 전송시스템 구조의 안전성을 평가한다. 긴급메시지 전송시스템의 안정성을 검증하기 위하여 오토마타 모델링을 통한 시스템 구조를 설계하고 검증을 위해 CTL 논리식 정의, SMV(Symbolic Model Verifier)검증도구를 통한 시스템 안전성 모델 검사를 하였다.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.245-248
• /
• 2022

최근 자연어 처리 분야에서 문맥적 의미를 반영하기 위한 대조학습 (contrastive learning) 에 대한 연구가 활발히 이뤄지고 있다. 이 때 대조학습을 위한 양질의 학습 (training) 데이터와 검증 (validation) 데이터를 이용하는 것이 중요하다. 그러나 한국어의 경우 대다수의 데이터셋이 영어로 된 데이터를 한국어로 기계 번역하여 검토 후 제공되는 데이터셋 밖에 존재하지 않는다. 이는 기계번역의 성능에 의존하는 단점을 갖고 있다. 본 논문에서는 한국어 리뷰 데이터로 임베딩의 의미 반영 정도를 측정할 수 있는 간단한 검증 데이터셋 구축 방법을 제안하고, 이를 활용한 데이터셋인 SimKoR (Similarity Korean Review dataset) 을 제안한다. 제안하는 검증 데이터셋을 이용해서 대조학습을 수행하고 효과성을 보인다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

• Journal of Digital Convergence
• /
• v.10 no.1
• /
• pp.357-364
• /
• 2012

For the resistance of the closed intellectual property license from the Free Software Movement. It's free and also can adapt have been widely used. Software for the resistance of the closed intellectual property rights have been promoted by the free software movement. Implementation of the proposed changes in the license that anyone can freely use the software and adapt open source software is widely used. The product of open source software can reduce development time and cost. Many people who use it will improve, verification and developed. However, indiscriminate use of these advantages, as well as the risk of dispute is high. This study is analyzed open source software dispute cases for piracy protection and will show duly open source software available to users by user environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.514-516
• /
• 2004

오늘날 RTOS가 운영되는 시스템이 고안정성을 요구할수록 임베디드 소프트웨어인 RTOS의 중요성은 날이 갈수록 증대하고 있다 검증된 RTOS의 개발을 목표로 본 논문에서는 RTOS의 태스크 스케줄러를 정형명세하고, 정형명세된 스케줄러가 가져야 하는 몇 가지의 검증특성들을 모델체킹 기법을 통해서 검증하였다. 또한 에스테럴로 정형 명세된 스케줄러에서 자동 생성된 C 소스를 사용하여 직접 태스크를 스케줄 해 주는 간단한 RTOS를 제작함으로서 검증된 RTOS를 제작 할 수 있는 방법을 제시 하고자 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of Korea Society of Industrial Information Systems
• /
• v.14 no.1
• /
• pp.17-31
• /
• 2009

The importance of software has been growing rapidly owing to the development of various Internet and e-business applications. The traditional approaches to software evaluation are based on the development process perspective, and their major concerns are no strongly related to use or customer-oriented evaluation of software. According to resource-based theory, company's resource is consisted of human, technology, market value, and finance. Customer satisfaction improved by product satisfaction and service satisfaction. Based on the previous studies the factors of human resources, technology, customer satisfaction are selected to evaluate software company's competence This research suggests the factor effecting on sales performance. And then statistical methods are used for verifying relationship between the factor and sales performance.