• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

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

Program slicing is a technique to extract the statements which influence the value of a variable at a particular point of the program. It has been proposed that this technique is useful in debugging, iptimization, program maintenance, testing, extraction reusable components and other applications including the understanding of the program behavior. This paper aims to address the problem of slicing programs with Jump goto, break, continue in C statements, It was found that previous slicing algorithms do not always generate semantically correct slices when applied to such programs. We, therefore, point out why the previous methods do not work in this more general setting, and describe our eficient solutions that compate more correctly executable slices for such programs.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.1
• /
• pp.1-8
• /
• 2018

Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.05a
• /
• pp.861-864
• /
• 2009

Recently, the biometric recognition technology of veins in different parts of hand is very active. In this paper the image hierarchical slicing provides a way to detect vein patterns. The scanned vein image will be sliced into various thicknesses. We first get the average brightness values of the sliced image and then convert them into curvature where we can detect candidates of the vein. The candidates of the vein are used to do a further analysis. We search all of the vein candidates and analyze them to get the real vein pattern in the overlapping extraction. We propose this novel algorithm to detect the vein pattern from the original image.

• Journal of Software Engineering Society
• /
• v.11 no.1 s.37
• /
• pp.57-73
• /
• 1998

• Korea Information Processing Society Review
• /
• v.27 no.1
• /
• pp.6-19
• /
• 2020

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.598-601
• /
• 2017

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용을 필요로 한다. 모델 기반 테스트는 이러한 비용을 줄이기 위한 방안으로써 제안되었다. 정형적 모델로부터 시스템의 실행 가능한 경로를 파악하고, 각 경로마다 입력 값을 생성하여 테스트를 수행한다. 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용하는데, 기존의 알고리즘은 목적 경로와 관련이 없는 변수까지 구분없이 고려하기 때문에 시스템이 복잡할수록 불필요한 연산이 많아지는 문제가 있다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 실험을 통해 기존의 방법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.898-902
• /
• 1995

STEP is a neutral model for exchanging CAD modelbetween different CAD systms. The paper presents a laser path contour generation for rapid prototyping originated form STEP format files without using any tools nor libraries for STEP data manipulation. Polygons are generated from every point on the layer of given thickness, which are the intersections of layer plane and edges stored in entity tables. Curves are approximated with polygons whitin segment tolerance limit in order to cover sculptured surfaces. With the advantage of less data loss in direct slicing over STL formats, the system developed in this work shows a good potential to provide data share with various CAD systems including RP data preparation.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.7
• /
• pp.85-93
• /
• 1999

In this study, PC-based slicing machine and driving software were constructed for the purpose of automation of semi-conductor cutting process. The biggest feature of software is variation of parameter and include data base, signal monitoring, error report, corresponding action or automatic motion planing. Parameters were drawn and algorithms were developed to make software by GUI interface. The cutting experiment was done for sampled wafer to see the effectiveness of the soft automation. From the experimented and implemented results, it is shown that parameters for automation of slicing process could be drawn, then its algorithms constructed. It could be considered what is the merit of this slicing machine by comparing the PC-based and the NC-based.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.62-67
• /
• 2007

UML 모델을 사용하는 다양한 곳에서 UML 메타모델을 준수하면 많은 이점을 가진다. 하지만 UML 메타모델 자체 규모가 점점 거대해지고 있으며 UML 메타 모델을 사용하는 다양한 곳에서도 UML 메타모델의 일부분만을 필요로 하는 경우도 있다. 즉, UML 메타모델에서 사용하고자 하는 특정 요소들만을 추출하여 사용할 필요가 있다. UML 메타모델의 특정 부분만을 추출하여 사용함으로써 UML 모델링 도구나 분석도구를 좀더 쉽고 가볍게 개발할 수 있다. 본 논문에서는 UML 메타모델에서 특정 다이어그램 요소만을 추출하기 위한 슬라이싱 알고리즘을 제시하고 실제로 적용한 결과를 보여준다.