• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.6
• /
• pp.293-302
• /
• 2017

This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..

• Journal of KIISE:Software and Applications
• /
• v.32 no.7
• /
• pp.601-611
• /
• 2005

Due to not only proven stability and reliability but a significant investment and years of accumulated -experience and knowledge, legacy systems have supported the core business applications of a number of organizations over many years. While the emergence of Web-based e-business environments requires externalizing core business processes to the Web. This is a competitive advantage in the new economy. Consequently, organizations now need to mine the business value buried in the legacy systems for reuse in new e-business applications. In this paper we suggest a systematic approach to mining components that perform specific business services and that consist of the legacy system's assets to be leveraged on the modem platform. The proposed activities are divided into several tasks. First, use cases that realize the business processes are captured. Secondly, a design model is constructed for each identified use case in order to integrate the use cases with the similar functionalities. Thirdly, we identify component candidates from the design model and then adjust the component candidates by considering common elements among the candidate components. And also business components are divided into three more fine-grained components to deploy them onto J2EE/EJB environments. finally, we define the interfaces of components which provide functionalities of the components as operations.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.458-458
• /
• 2023

본 연구에서는 위성영상 활용 지능형 재난관측·감시 기술 개발을 목적으로 위성영상과 멀티소스(CCTV, 항공영상, 공공DB 등)와의 연계·융합을 통해 재난상황관리의 정확도 향상과 위성영상 활용성 제고 방안을 제시하고자 하였다. 위성영상 수집·배포시스템으로부터 전달되는 위성영상과 멀티소스의 연계 융합을 통한 재난상황정보의 표출을 목적으로 상황판연계 표출시스템 가동 절차와 위성영상 수집을 통한 위험탐지 알고리즘과의 연계를 위해 재난상황업무 기반 시스템 가동절차를 수립하고, 위기관리표준 매뉴얼 상 상황업무절차를 적용해 예비설계를 진행하였다. 상황실 실무자 설문을 통해 작성된 시스템 요구사항과 규격서를 기반으로 상황업무절차를 적용해 먼저업무시스템 설계를 진행하였다. 평시에는 GIS통합상황판에서 관리됨을 전제로 위성영상 수집에 대한국가적 예산 투입 측면을 고려해 중대본 설치가 필요한 대형재난 발생상황을 가정하여 상황판연계·표출시스템의 가동되도록 설계하였다. 또한, 위성영상 분석을 통한 피해위험도와 재난이력통계 등 멀티소스와 중첩한 결과를 실시간으로 표출함에 따라 상황실근무자는 재난확산 여부를 판단하고, NDMS를 통해 재난상황을 전파할 수 있도록 설계하였다. 상황판연계 표출시스템의 원활한 데이터 입/출력을 위해 재난유형 및 분석단계별 클래스 정의, 유스케이스 ID(요구기능)와 1:1 또는 1:n매칭을 수행하여 재난유형 및 분석단계별 클래스를 정의하였다. 정의된 클래스는 유스케이스인 요구기능과 매칭을 수행하였고, 시스템 가동절차 중 피해위험도분석, 재난이력통계, 중첩결과표출, NDMS 상황전파에 대한 상황업무절차를 기반으로 산불·홍수·산사태·대설·태풍 총 5종의재난별 시퀀스를 설계하였다. 마지막으로 화면정의서와 UI/UX설계서를 기반으로 Figma를 통해 시스템구동화면을 사전에 모의하였다. 향후, 진행되는 연구에서는 위성영상과 멀티소스를 연계한 화면을 실체화하여 더욱 정확한 재난상황관리가 가능하도록 NDMS 연계 상황판 표출 시스템을 개발하고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.4
• /
• pp.211-224
• /
• 2002

As system become larger and more complex, it is important to correctly analyze and specify user's requirements. Use case modeling is widely used in Object-Oriented Analysis and Design(OOAD) and Component-Based Development(CBD). It is useful to mitigate the complexity of the requirements analysis. However, use cases are difficult to be structured, to explicitly represent non-functional requirements, and to analyze what is affected by changes of use cases. To alleviate these problems, we propose scenario-based goal-oriented approach for use case modeling. The approach is to apply goal-oriented analysis method to use case model. Since goal-oriented analysis method is not systematic and heuristics is considerably involved, we adopted scenarios as the basis for the goal extraction. The proposed method is applied to City Bus Information Subsystem(CBIS) in Intelligent Transport Systems(ITS) domain. The proposed approach helps software engineer to analyze what is affected by use case's changes and represent non-functional requirements.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.591-594
• /
• 2017

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.575-579
• /
• 2006

컴파일러에 결함이 있다는 것은 곧 잘못된 코드를 생성한다는 것을 의미하므로 양질의 컴파일러 구성은 양질의 소프트웨어 생산을 위한 기본 요구조건이 된다. 임베디드 시스템이 널리 사용되면서 더욱 다양하고 복잡한 임베디드 프로세서가 개발되었고 이는 새로이 설계된 프로세서를 위한 새로운 컴파일러 개발의 필요를 야기하고 있다. 본 논문에서는 프로그램의 중간 표현을 기반으로 하는 효율적인 테스팅 방법을 제안한다. 언어의 구문 규칙을 모두 사용하는 테스트 케이스를 통해 컴파일러를 테스트하는 방법이 이미 연구되었으나, 기존의 소스 코드 수준의 방법으로는 테스트 케이스의 중복성이 존재하는 단점이 있다. 본 논문에서는 중간 표현의 구문 규칙을 이용해서 중복된 테스트 케이스를 제거하여 테스팅 효율을 증가시킬 수 있음을 기술한다. 또한 본 논문에서 제안하는 방법을 GCC의 중간 언어인 RTL에 적용한 예를 통해 설명한다.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1251-1254
• /
• 2012

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.

• Journal of Digital Convergence
• /
• v.10 no.10
• /
• pp.545-550
• /
• 2012

The size of global IT convergence market is expected to increase more and more and cloud computing in industrial convergence environment provides the useful solutions to support convergence environment between other industries. It is necessary and important to predict and develop integrated service structures and types of combining cloud computing and other application technologies. Therefore this paper presents technical factors to provide cloud service. In additions, the requirement and technical factors for various convergence service models are introduced and analyzed using use case which is efficient modelling methodology to construct many system. Using the research results, we performed the case study to develop a convergence cloud service. Eventually, this study is expected to use the basic researches to develop the various the multidisplinary cloud service models based on use case to create the new values.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.6
• /
• pp.201-214
• /
• 2014

In this paper, we propose a test case generation method adequate to destructive test of the BLDC(Brush Less Direct Current) motor controller used for the MDPS(Motor Driven Power Steering) system embedded in an automobile. The proposed method is a modified CTM(Classification Tree Method). CTM generates test cases assuming that all inputs are equally important. Therefore, it is very hard to generate test cases for extreme situations. To overcome the drawback and generate test cases specialized for destructive test. a modified CTM that compensates the limitation of traditional CTM is proposed. The proposed method has an advantage that it can intensively generate the test scenarios adequate to extreme situations by combining the test cases generated by the transitional CTM the while keeping the merit of the traditional CTM. The test scenarios for destructive test for the MDPS system embedded in a commercial automobile are generated utilizing the proposed method. The effectiveness of the proposed algorithm is verified through the test.