• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권1호
• /
• pp.1-8
• /
• 2018

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

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.1-8
• /
• 2015

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2002년도 춘계종합학술대회
• /
• pp.461-465
• /
• 2002

일반적인 소프트웨어 시스템은 새로운 요구와 오류의 발견으로 인해 계속적인 개발과 확장 수정이 요구되며, 어떤 프로그램에 특정 명령문의 변수에 대한 관련 명령문을 찾고 싶을 때 프로그래머는 입력자료의 값에 대해 프로그램의 실행 궤도 추적을 통해 프로그램을 분석한다. 그러므로 본 논문은 기존의 프로그램 슬라이싱 방법에 객체지향 프로그램 슬라이싱을 적용하여 프로그램의 실행 궤도를 통하여 객체지향 그래프와 슬라이싱의 알고리즘을 보인다. 객체지향 프로그램 종속성 그래프는 클래스 종속성 그래프와 클래스 계층구조 그래프로 구성된다. 여기에 제안된 알고리즘은 쉽게 확장이 가능하며 프로그램이 점진적으로 개발되는 경우에 유리하게 사용될 수 있다.

• 인터넷정보학회논문지
• /
• 제23권5호
• /
• pp.17-23
• /
• 2022

Network slicing is a promising paradigm and significant evolution for adjusting the heterogeneous services based on different requirements by placing dynamic virtual network functions (VNF) forwarding graph (VNFFG) and orchestrating service function chaining (SFC) based on criticalities of Quality of Service (QoS) classes. In system architecture, software-defined networks (SDN), network functions virtualization (NFV), and edge computing are used to provide resourceful data view, configurable virtual resources, and control interfaces for developing the modified deep reinforcement learning agent (MDRL-A). In this paper, task requests, tolerable delays, and required resources are differentiated for input state observations to identify the non-critical/critical classes, since each user equipment can execute different QoS application services. We design intelligent slicing for handing the cross-domain resource with MDRL-A in solving network problems and eliminating resource usage. The agent interacts with controllers and orchestrators to manage the flow rule installation and physical resource allocation in NFV infrastructure (NFVI) with the proposed formulation of completion time and criticality criteria. Simulation is conducted in SDN/NFV environment and capturing the QoS performances between conventional and MDRL-A approaches.

• 한국공작기계학회논문집
• /
• 제11권2호
• /
• pp.30-35
• /
• 2002

Nowadays, as the development period of new products becomes shorter and consumer's requirement is more various, the importance of Rapid Prototyping Technology has been rapidly increased. Rapid Prototyping makes prototypes or frictional parts directly using the 3D CAD data. But RP machines can make prototypes in limit size. For making large size prototype, we slice solid which is made of STL file, and then glue sliced solid. And if contact area of part is small, union solid will be easily destroyed for going down of adhesion. So we need to expand contact area, 1 suggest making a section into stair shape. This paper is concerned with slicing solid on STL file and improving on adhesion.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1999년도 추계학술대회 논문집 - 한국공작기계학회
• /
• pp.81-86
• /
• 1999

Nowadays, as the development period of new products becomes shorter and consumer's requirement is more various, the importance of Rapid Protytyping Technology has been rapidly increased. Rapid Protytyping makes protytypes or functional parts directly using the 3D CAD data. But RP machines can make protytype in limit size. But RP machines can make protytype in limit size. For making large size protytype, we slice solid, which is made of STL file, and then glue sliced solid. This paper is concerned with slicing solid on STL file.

• 대한기계학회논문집A
• /
• 제27권4호
• /
• pp.485-490
• /
• 2003

RP(Rapid Prototyping) has been used in the various industrial applications. This paper presents the optimization techniques fur fabricated 3D model design using RP machine for the medical field. Once the original brain model data are obtained from 2D slices of MRI/CT machine, the data can be modeled as an optimal ellipse. The objective of this study includes optimization of fabrication time and surface roughness using the adaptive slicing method. It can reduce fabrication time without losing surface roughness quality by accumulating the slices with variable thickness. According to the parameter tuning and synthesis of its effect, more suitable parameter values can be obtained by enhanced 3D brain model fabrication. Therefore, accurate 3D brain model fabricated by RP machine can enable a surgeon to perform pre-operation. to make a decision for the operation sequence and to perceive the 3D positions in prototype, before delicate operation of actual surgery.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• 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.

• 인터넷정보학회논문지
• /
• 제22권5호
• /
• pp.27-33
• /
• 2021

With the broad adoption of the Internet of Things (IoT) in a variety of scenarios and application services, management and orchestration entities require upgrading the traditional architecture and develop intelligent models with ultra-reliable methods. In a heterogeneous network environment, mission-critical IoT applications are significant to consider. With erroneous priorities and high failure rates, catastrophic losses in terms of human lives, great business assets, and privacy leakage will occur in emergent scenarios. In this paper, an efficient resource slicing scheme for optimizing federated learning in software-defined IoT (SDIoT) is proposed. The decentralized support vector regression (SVR) based controllers predict the IoT slices via packet inspection data during peak hour central congestion to achieve a time-sensitive condition. In off-peak hour intervals, a centralized deep neural networks (DNN) model is used within computation-intensive aspects on fine-grained slicing and remodified decentralized controller outputs. With known slice and prioritization, federated learning communications iteratively process through the adjusted resources by virtual network functions forwarding graph (VNFFG) descriptor set up in software-defined networking (SDN) and network functions virtualization (NFV) enabled architecture. To demonstrate the theoretical approach, Mininet emulator was conducted to evaluate between reference and proposed schemes by capturing the key Quality of Service (QoS) performance metrics.

• 대한인간공학회지
• /
• 제33권4호
• /
• pp.299-311
• /
• 2014

Objective: The aim of this study was to develop a method for measuring breast size from three-dimensional (3D) body scan image data. Background: Previous bra studies established reference points by directly contacting the subject's naked skin to determine the boundary of the breast. But some subjects were uncomfortable with these types of measurements. This study examined noncontact methods of extracting breast reference points from 3D body scan data that were collected while subjects were wearing standardized soft bras. Method: 3D body scan data of 32 Korean women were analyzed. The subjects were selected from the Size Korea 2010 study. The breast landmarks were identified by graphic analyses of slicing contour lines on 3D body scan data. Results: Three methods determining bra cup size were compared. The M1 and M2 methods determined cup size by calculating the difference between bust girth and under-bust girth. The M3 method determined bra cup size by measuring breast arc length. Conclusion: The researchers proposed an anthropometric bra cup sizing system with the breast arc length (M3 method). It was measured from the geometrically defined landmarks on the 3D body scan slicing contour lines. The new bra cup size was highly correlated with breast depth. Application: The noncontact measuring method used in this study can be applied to the ergonomic studies measuring sensitive body parts.