• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.027 seconds

A Dynamic Orchestration Framework for Supporting Sustainable Services in IT Ecosystem (IT 생태계의 지속적인 운영을 위한 동적 오케스트레이션 프레임워크)

  • Park, Soo Jin
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.6 no.12
    • /
    • pp.549-564
    • /
    • 2017
  • Not only services that are provided by a single system have been various with the development of the Internet of Things and autonomous software but also new services that are not possible before are provided through collaboration between systems. The collaboration between autonomous systems is similar to the ecosystem configuration in terms of biological viewpoints. Thus, it is called the IT Ecosystem, and this concept has arisen newly in recent years. The IT Ecosystem refers to a concept that achieves a mission of each of a number of heterogeneous systems rather than a single system utilizing their own autonomy as well as achieving the objectives of the overall system simultaneously in order to meet a single common goal. In our previous study, we proposed architecture of elementary level and as well as basic several meta-models to implement the IT Ecosystem. This paper proposes comprehensive reference architecture framework to implement the IT Ecosystem by cleansing the previous study. Among them, a utility function based on cost-benefit model is proposed to solve the dynamic re-configuration problem of system components. Furthermore, a measure of using genetic algorithm is proposed as a solution to reduce the dynamic re-configuration overhead that is increased exponentially according to the expansion of the number of entities of components in the IT Ecosystem. Finally, the utilization of the proposed orchestration framework is verified quantitatively through probable case studies on IT Ecosystem for unmanned forestry management.

Development of User-Friendly Modeling Software and Its Application in Processed Meat Products

  • Lee, Heeyoung;Lee, Panho;Lee, Soomin;Kim, Sejeong;Lee, Jeeyeon;Ha, Jimyeong;Choi, Yukyung;Oh, Hyemin;Yoon, Yohan
    • Journal of Food Hygiene and Safety
    • /
    • v.33 no.3
    • /
    • pp.157-161
    • /
    • 2018
  • The objective of this study was to develop software to predict the kinetic behavior and the probability of foodborne bacterial growth on processed meat products. It is designed for rapid application by non-specialists in predictive microbiology. The software, named Foodborne bacteria Animal product Modeling Equipment (FAME), was developed using Javascript and HTML. FAME consists of a kinetic model and a probabilistic model, and it can be used to predict bacterial growth pattern and probability. In addition, validation and editing of model equation are available in FAME. The data used by the software were constructed with 5,400 frankfurter samples for the kinetic model and 345,600 samples for the probabilistic model using a variety of combinations including atmospheric conditions, temperature, NaCl concentrations and $NaNO_2$ concentrations. Using FAME, users can select the concentrations of NaCl and $NaNO_2$ meat products as well as storage conditions (atmosphere and temperature). The software displays bacterial growth patterns and growth probabilities, which facilitate the determination of optimal safety conditions for meat products. FAME is useful in predicting bacterial kinetic behavior and growth probability, especially for quick application, and is designed for use by non-specialists in predictive microbiology.

A Comparative Study on Similarity Measure Techniques for Cross-Project Defect Prediction (교차 프로젝트 결함 예측을 위한 유사도 측정 기법 비교 연구)

  • Ryu, Duksan;Baik, Jongmoon
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.6
    • /
    • pp.205-220
    • /
    • 2018
  • Software defect prediction is helpful for allocating valuable project resources effectively for software quality assurance activities thanks to focusing on the identified fault-prone modules. If historical data collected within a company is sufficient, a Within-Project Defect Prediction (WPDP) can be utilized for accurate fault-prone module prediction. In case a company does not maintain historical data, it may be helpful to build a classifier towards predicting comprehensible fault prediction based on Cross-Project Defect Prediction (CPDP). Since CPDP employs different project data collected from other organization to build a classifier, the main obstacle to build an accurate classifier is that distributions between source and target projects are not similar. To address the problem, because it is crucial to identify effective similarity measure techniques to obtain high performance for CPDP, In this paper, we aim to identify them. We compare various similarity measure techniques. The effectiveness of similarity weights calculated by those similarity measure techniques are evaluated. The results are verified using the statistical significance test and the effect size test. The results show k-Nearest Neighbor (k-NN), LOcal Correlation Integral (LOCI), and Range methods are the top three performers. The experimental results show that predictive performances using the three methods are comparable to those of WPDP.

A Study of Mock Objects Generator for Applying XPwith Special Attention to C (C환경에서의 XP적용을 위한 모크객체생성기에 관한 연구)

  • Jung Young Mok;Park Jae Won;Lee Nam Yong
    • Journal of the Korea Society of Computer and Information
    • /
    • v.10 no.1 s.33
    • /
    • pp.15-26
    • /
    • 2005
  • As one of the lightweight software development methodology, the XP (Extreme Programming) is the practical means to improve the productivity and qualify of software through the pursuit of 4 values - communication, simplicity, feedback, and courage. It appears, however, the TDD (Test Driven Development). one of the practices of in. has a problem. which is the unavailability of the test driven development in case of the prolonged period of testing or the failure of securing the independency of the test cases. This results in the emphasis on the importance of the Mock Objects recently. The Mock Objects, the one imitating the faulty real code, has the fundamentals of simplicity allowing even manual script but. due to the inefficiency of manual script of the Mock Objects in a real life, it is implemented the Mock Objects Generator such as Mockotjects, EasyMock in Java. It Is found difficult, however to apply the Mock Objects in C language due to its object -oriented Premise as well as the absence of mock objects generators for C language. Therefore, in this Paper it is presented the CMock, a Mock Objects generator fer C language which allows the easy creation of the Mock Objects, and the study is performed to verify the efficiency accordingly.

  • PDF

A Modeling of Web-service for Construction CALS/EC Standard Guideline by using Component Based Development (컴포넌트 기반 개발방법론에 의한 건설 CALS/EC 표준지침 웹서비스의 모델링)

  • 이상호;정용환;김소운
    • Proceedings of the CALSEC Conference
    • /
    • 2003.09a
    • /
    • pp.78-83
    • /
    • 2003
  • 본 연구에서는 건설CALS/EC 기반의 정보화 추진을 위한 정보시스템을 개발할 때 적용되는 기존의 소프트웨어 개발방법론의 문제점을 분석하고, 표준화되지 않은 개발방법론의 적용으로 시스템 개발에 비효율적인 비용을 투자하는 문제점과 특성상 입찰, 구매, 계약 등 분야별로 상이한 기능의 업무에 따라 구축되는 건설산업 정보화에 있어서 상호간에 데이터 및 프로세스를 원활히 통합하지 못하므로 인하여 발생되는 개발의 중복성, 정보 활용의 비효율성 등의 문제점을 개선하고자 하였다. 이를 위하여 최근 새로이 부각되고 있는 방법론인 컴포넌트 기반 개발방법론(CBD: Component-Based Development)을 사용하여 건선CALS/EC 표준지침 웹서비스를 위한 시스템의 업무프로세스를 모델링하여 사용자가 쉽게 재사용가능하고 타업무분야에 확대 가능한 방향을 제시하였다. 본 연구를 위하여 기존의 소프트웨어 개발 방법론의 적용상 문제점 분석을 통하여 컴포넌트 기반 개발방법론의 필요성을 증명하고 비즈니스 컴포넌트 프레임워크를 사용하여 건설 CALS/EC 표준지침 웹서비스의 업무프로세스에 적용할 기술적인 방법론을 고찰하고 업무에 효과적으로 적용할 수 있는 업무프로세스 컴포넌트를 제시하였다. 본 연구에서 도출된 컴포넌트 모델은 향후 타업무분야의 시스템을 개발할 때 사용자요구분석 단계부터 별도의 재 작업이 없이 사용될 수 있으며 시스템을 구현할 때 개발 모듈의 중복방지와 용이한 비즈니스로직의 변경 등이 가능하며, 추가의 업무 프로세스나 연관된 다른 분야의 업무프로세스의 반영 및 추가 시 컴포넌트의 활동모델을 쉽게 수정하여 정의함으로써 쉽게 시스템의 기능을 확장할 수 있다.LE 산정에 관한 지속적인 실험적 연구가 이루어져야 하겠다. 증가할 것이다. 또한 부분육을 이용한 완전제품, 적색육제품, 유기농이나 별미식 제품과 같은 형태의 다양한 포장육 제품이 도입 될 것으로 생각되어진다.e in vitro SPF test method will be able to be used as an alternative method for in vivo SPF in case of lotion and cream. replica. A statistically significant improvement of Star Fruit Leaf Extract BG30-treated site was seen in decreased wrinkles. Star Fruit Leaf Extract BG30 results in clinically visible improvement in wrinkling when used topically for 5 weeks. 또한 관계마케팅, CRM 등의 이론적 배경이 되고 있는 신뢰와 결속의 중요성이 재확인하는 결과도 의의라고 할 수 있다. 그리고 신뢰는 양사 간의 상호관계에서 조성될 수 있는 특성을 가진 반면, 결속은 계약관계 초기단계에서 성문화하고 규정화 할 수 있는 변수의 성격이 강하다고 할 수가 있다. 본 연구는 복잡한 기업간 관계를 지나치게 협력적 측면에서만 규명했기 때문에 많은 측면을 간과할 가능성이 있다. 또한 방법론적으로 일방향의 시각만을 고려했고, 횡단적 조사를 통하고 국내의 한 서비스제공업체와 관련이 있는 컨텐츠 공급파트너만의 시각을 검증했기 때문에 해석에서 유의할 필요가 있다. 또한 타당성확보 노력을 기하였지만 측정도구

  • PDF

Agent-Based Modeling and Simulation Methodology using Social-Level Characteristics: A Case Study on Self-Adaptive Smart Grid and Military Domain Systems using Tropos (사회적 특성을 활용한 에이전트 기반 모델링 및 시뮬레이션 방법: 트로포스에 기반한 자가 적응적 스마트 그리드와 군 도메인 시스템에서의 적용 사례)

  • Kim, Si-Heon;Lee, Seok-Won
    • Journal of KIISE
    • /
    • v.42 no.12
    • /
    • pp.1503-1521
    • /
    • 2015
  • Agent-based modeling and simulation (ABMS) is used to model of market and social phenomena by utilizing agents' fine-grained behaviors and interactions that cannot be implemented in a conventional simulation. However, ABMS represents irrational agents and hinders the achievement of individual or overall goals since ABMS is based on agent-based software, which follows the principle of rationality at the knowledge level [1]. This problem was solved in the agent-based software engineering (ABSE) field by using behavior laws for the social level [2]. However, they still do not propose the specific development methodology for how to develop the social level in a systematic way. Therefore, in order to propose agent-based modeling and simulation methods that reflect the behavior laws of social level characteristics, our study used the Tropos that can combine ABSE and social behavior laws for the presentation of concrete tasks and deliverables for each development step by step. In addition, the proposed method will be specified through experiments with specific application examples and case studies on the self-adaptive smart grid and the military domain system.

A Study on the Thermo-Mechanical Fatigue Loading for Time Reduction in Fabricating an Artificial Cracked Specimen (열-기계적 피로하중을 받는 균열시편 제작시간 단축에 관한 연구)

  • Lee, Gyu-Beom;Choi, Joo-Ho;An, Dae-Hwan;Lee, Bo-Young
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.21 no.1
    • /
    • pp.35-42
    • /
    • 2008
  • In the nuclear power plant, early detection of fatigue crack by non-destructive test (NDT) equipment due to the thermal cyclic load is very important in terms of strict safety regulation. To this end, many efforts are exerted to the fabrication of artificial cracked specimen for practicing engineers in the NDT company. The crack of this kind, however, cannot be made by conventional machining, but should be made under thermal cyclic load that is close to the in-situ condition, which takes tremendous time due to the repetition. In this study, thermal loading condition is investigated to minimize the time for fabricating the cracked specimen using simulation technique which predicts the crack initiation and propagation behavior. Simulation and experiment are conducted under an initial assumed condition for validation purpose. A number of simulations are conducted next under a variety of heating and cooling conditions, from which the best solution to achieve minimum time for crack with wanted size is found. In the simulation, general purpose software ANSYS is used for the stress analysis, MATLAB is used to compute crack initiation life, and ZENCRACK, which is special purpose software for crack growth prediction, is used to compute crack propagation life. As a result of the study, the time for the crack to reach the size of 1mm is predicted from the 418 hours at the initial condition to the 319 hours at the optimum condition, which is about 24% reduction.

Georadar System Using Network-Analyzer (네트웍 분석기를 이용한 레이다탐사 시스템의 구현)

  • Cho Seong-Jun;Kim Jung-Ho;Lee Seoung Kon;Son Jeong-Sul;Chung Seung-Hwan
    • Geophysics and Geophysical Exploration
    • /
    • v.5 no.4
    • /
    • pp.272-279
    • /
    • 2002
  • During field survey of ground penetrating radar or borehole radar, we often encounter some problems which could be solved easily by modifying structure of the system such as antenna length, shape or array. In addition, it is necessary that the user could easily modify configuration of the radar system na test various array of antennas in order to verify and confirm numerical modeling results concerning radar antennas. We have developed network-analyzer-based, stepped-frequency georadar system. This system had been comprised with coaxial cable to confirm possibility of the system, then we have upgraded the system to use optical cable that is composed of optical/electric transducers, electric/optical transducers, amp, pre-amp and antennas. The software for the aquisition of data has been developed to control the system automatically using PC with GPIB communication and to display the obtained data graphically. We have tested the system in field survey na the results have been compared with those of RAMAC/GPR system.

A Design and Implementation of ZigBee Educational System in USN Environment (USN환경에서 교육용 ZigBee 장비의 설계 및 구현)

  • Park, Gyun Deuk;Chung, Joong Soo;Jung, Kwang Wook
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.2 no.5
    • /
    • pp.335-340
    • /
    • 2013
  • This paper has designed and realized educational ZigBee equipment befitting to the USN environment. In addition, this study has enabled users to exercise operation process for software technology education and to propose software design methods in the process in the USN environment through practice equipment for ZigBee education. As for the development environment of system, Atmega128 process of Atmel is used for CPU; AVR compiler for the debugging environment; C language for firmware development language; and C++ for application program. The system operation process is initiated by coordinator's sensing information reading order from the hyper terminal through a server through the Internet or directly connected; and then delivering it to a terminating device by using ZigBee technology. The terminating device delivers various sensing information to the coordinator which delivers it to a server through the Internet or to a HYPER terminal directly connected to the coordinator. As for the educational course, it is about practices on such ZigBee operation process and relevant programing skills. Regarding it, the communication between coordinator and terminating device is designed by utilizing physical layer of ZigBee protocol, MAC layer and network layer while the communication between server and coordinator is designed by proposing an independent protocol on TCP/IP socket and the protocol processing procedure during sensing data delivery is verified by interpretation.

A Study on Hull-Form Design for Ships Operated at Two Speeds (두 가지 속도에서 운항하는 선박의 형상설계에 관한 연구)

  • Kim, Tae Hoon;Choi, Hee Jong
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.24 no.4
    • /
    • pp.467-474
    • /
    • 2018
  • The purpose of this study is related to automatic hull-form design for ships operating at two speeds. Research was conducted using a series 60 ($C_B=0.6$) ship as a target, which has the most basic ship hull-form. Hull-form development was pursued from the viewpoint of improving resistance performance. In particular, automatic hull-form design for a ship was performed to improve wave resistance, which is closely related to hull-forms. For this purpose, we developed automatic hull-form design software for ships by combining an optimization technique, resistance prediction technique and hull-form modification technique, appling the software developed to a target ship. A sequential quadratic programming method was used for optimization, and a potential-based panel method was used to predict resistance performance. A Gaussian-type modification function was developed and applied to change the ship hull-form. The software developed was used to design a target ship operating at two different speeds, and the performance of the resulting optimized hull was compared with the results of the original hull. In order to verify the validity of the program developed, experimental results obtained in model tests were compared with calculated values by numerical analysis.