• 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.

• 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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.05a
• /
• pp.461-465
• /
• 2002

When general software system wants to need continuous Dept of Software Engineering by discovery of specification imperative sentence in some program, programmer analyzes program through practice orbit chase of program about value of input data. This paper that see therefore applies object intention program Slicing to existent program Slicing method, and express practice orbit of program in object intention subordination graph and show process that become Slicing. Proposed algorithm defenses crab extension is possible and can be used advantageously in case program is developed gradually as well as.

• Journal of Internet Computing and Services
• /
• v.23 no.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.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.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.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• 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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.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.

• 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 Internet Computing and Services
• /
• v.22 no.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.

• Journal of the Ergonomics Society of Korea
• /
• v.33 no.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.