• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.220-222
• /
• 2006

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.332-335
• /
• 2007

본 연구에서는 소프트웨어의 구현 코드로부터 테스트 케이스 자동에 관해 연구하며 도구를 구현한다. 이를 통해 개발자가 직접 테스트 케이스를 작성하는 데 소요되는 비용을 절감하고, 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 영향을 받지 않고 테스트 케이스를 생성 가능하도록 한다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.361-375
• /
• 2009

The major concern of component users who develop applications using the existing components is to confirm whether a component is collaborating with the different components in accordance with the requirements. Therefore, interoperability testing whose role is to check whether components collaborate with each other within the new operating environment not within the component development content of each component is considered as an importance research topic. In this paper, we propose a test case generation technique for interoperability test of component based software. The proposed technique defines a test model for generating test cases. The proposed technique generates test models from the use case specification and thereafter from these models, test cases for Interoperability testing are derived. In addition, we describe a tool which Implements the procedures for generating test sequences from test models.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.249-252
• /
• 2003

웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하였으며 더 WBI 시스템에 EJB model을 적용하여 EJB를 이용한 WBI 컴포넌트 개발에 관한 연구 진행하여 EJB기반의 교육컴포넌트를 설계 구현하기 위한 전 단계에 연구를 진행하였다. 이미 어느 정도는 정형화되어 있는 WBI 컴포넌트를 EJB컴포넌트로 전환하는 과정을 연구하여 재사용성과 이식성을 높이는 연구를 진행한다.

• Information and Communications Magazine
• /
• v.25 no.4
• /
• pp.30-38
• /
• 2008

본고에서는 RUPI 규격이 포함하고 있는 여러 명세들 중에서 RUPI 서버에서 고려해야 되는 4가지 명세들-(1)다수 이종 로봇 클라이언트가 RUPI서버에 접속하였을 때 고가용성을 보장하는 'RUPI 서버 가용성', (2)원격에서 로봇 클라이언트의 상태를 진단하고 복구하는 '로봇 클라이언트 관리', (3)로봇 클라이언트에서 수행되기 어려운 응용 컴포넌트를 로봇 클라이언트를 대신하여 적재 및 관리하고 원격에서 실행하는 '로봇 클라이언트 응용 관리' 그리고 (4)상황인지 기반의 원격 로봇 응용 개발 및 운용을 위한 '원격 로봇 응용 프레임워크'-각각의 기술 규격에 대한 기본 개념을 소개한다. 또한 이들 각각의 기술들이 RUPI 서버 프레임워크에서 구현되기 위하여 만족해야 할 기술적 요구 사항들과 핵심 요소 기술들을 도출한다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.186-200
• /
• 2006

Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• KIISE Transactions on Computing Practices
• /
• v.20 no.12
• /
• pp.664-669
• /
• 2014

As the prevalence of cloud computing increases, various cloud service types have emerged, such as IaaS, PaaS, and SaaS. The growth and diversification of these cloud services has also resulted in the development of technology for cloud service brokers (CSBs), which serve as intermediate cloud services that can assist cloud tenants (users) in deploying services that fit their requirements. In order to broker cloud services, CSBs require the specification of structural models in order to facilitate the analysis and search for cloud services. In this study, we propose a variability-based service analysis model (SAM) that can be used to describe various cloud services. This model is based on the concept of variability in the software product line and represents the commonality and variability of cloud services by binding variants to each variation point that exists in the specification, quality, and pricing of the services. We also propose a virtual cloud bank architecture as a CSB that serves as an intermediate to provides tenants with appropriate cloud services based on the SAM.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.617-624
• /
• 2004

Recent developments in component technology enable the construction of complex software systems by assembling together off-the-shelf components However, It is still difficult to develop efficient, reliable, and dynamically configurable component-based systems. Unspecified dependencies and behavior on components often has cause the source of the trouble. Therefore, component-based software systems must maintain explicit presentations of inter-component dependence and component requirements. In this paper, I describe the design on repository of component service to deployment, status reporting, and control in component service. Through the existing researches to customize component technology, I present the algorithm that supports dynamic dependency interface in order to reuse context of application.