• 정보처리학회논문지D
• /
• 제17D권1호
• /
• pp.41-52
• /
• 2010

생성된 테스트 케이스와 요구사항과의 연관관계가 중요하지만, 모델을 이용한 테스트 케이스 자동생성에서는 모델이 요구사항과 m:n의 관계를 맺기 때문에 테스트 케이스와 요구사항과의 관계도 매우 복잡해진다. 본 논문에서는 1:1 모델링 도구인 REED(REquirement EDitor)를 이용하여 테스트 케이스를 생성하는 방법에 대하여 기술한다. 테스트 케이스는 커버리지 타겟 생성, IORT(Input Output Relation Tree) 생성, 테스트 케이스 생성의 3단계를 거치며, 모든 단계는 자동으로 진행된다. 생성된 테스트 케이스는 하나의 요구사항에서 생성될 수 있으며 실제 시스템에 적용한 결과, 온도조절장치 경우는 5,566개, 버스카드 단말기의 경우는 3,757개, 굴착기 제어기는 4,611개의 테스트 케이스가 생성되었다.

• International journal of advanced smart convergence
• /
• 제13권1호
• /
• pp.99-107
• /
• 2024

In AI image generation tools, most general users must use an effective prompt to craft queries or statements to elicit the desired response (image, result) from the AI model. But we are software engineers who focus on software processes. At the process's early stage, we use informal and formal requirement specifications. At this time, we adapt the natural language approach into requirement engineering and toon engineering. Most Generative AI tools do not produce the same image in the same query. The reason is that the same data asset is not used for the same query. To solve this problem, we intend to use informal requirement engineering and linguistics to create a toon. Therefore, we propose a sequence diagram and image generation mechanism by analyzing and applying key objects and attributes as an informal natural language requirement analysis. Identify morpheme and semantic roles by analyzing natural language through linguistic methods. Based on the analysis results, a sequence diagram and an image are generated through the diagram. We expect consistent image generation using the same image element asset through the proposed mechanism.

• 시스템엔지니어링학술지
• /
• 제9권2호
• /
• pp.69-82
• /
• 2013

US DoD operated JCIDS(Joint Capability Integration and Development System) for top down requirement generation. Although the JCIDS can be a good practice for the countries which are trying to shift from bottom up to top down requirement generation, it contains many processes related with review and approval. In this study we structured a joint capability integration and development process from the JCIDS eliminating the organization dependent review or approval process so that it can be applied to any organization with some modification. Furthermore we implemented the process in the computer aided systems engineering tool, Cradle, for convenient use of the process. The result of this study can provide a basic process for top down capability development, and an efficient why of doing each element of the process using CASE tool.

• 정보기술응용연구
• /
• 제3권1호
• /
• pp.91-108
• /
• 2001

Participatory Design (PD) community recognized that identification of use case scenarios describing possible uses of the future system is beneficial for users to identify their system requirements. However, brainstorming is a typical methodology for users to create use case scenarios during PD session, which heavily depend on the people skill and experiences of the analysts. The objective of this study is to develop a theoretical framework for automatic generation of requirement scenarios. Automatically generated scenarios serves as a menu of the possible user requirements from which user group can start to generate ideas about their requirements. The convergent approach taken here is novel in that the generated scenarios describe system requirements as well as the business process requirements in which the system operates. A context-sensitive grammar is used to generate the context relevant requirement scenarios.

• Journal of Computational Design and Engineering
• /
• 제2권4호
• /
• pp.268-275
• /
• 2015

Blisk is an essential component in aero engines. To maintain good aero-dynamic performance, one critical machining requirement for blades on blisk is that the generated five-axis tool path should be boundary-conformed. For a blade discretely modeled as a point cloud or mesh, most existing popular tool path generation methods are unable to meet this requirement. To address this issue, a novel five-axis tool path generation method for a discretized blade on blisk is presented in this paper. An idea called Linear Morphing Cone (LMC) is first proposed, which sets the boundary of the blade as the constraint. Based on this LMC, a CC curve generation and expansion method is then proposed with the specified machining accuracy upheld. Using the proposed tool path generation method, experiments on discretized blades are carried out, whose results show that the generated tool paths are both uniform and boundary-conformed.

• 반도체디스플레이기술학회지
• /
• 제22권1호
• /
• pp.88-93
• /
• 2023

In software engineering, requirement analysis is an important task throughout the process and takes up a high proportion. However, factors that fail to analyze requirements include communication failure, different understanding of the meaning of requirements, and failure to perform requirements normally. To solve this problem, we derived actors and behaviors using morpheme analysis and BERT algorithms in the Korean requirement document and constructed them as ontologies. A chatbot system with ontology data is constructed to derive a final system event list through Q&A with users. The chatbot system generates the derived system event list as a requirement diagram and a requirement specification and provides it to the user. Through the above system, diagrams and specifications with a level of coverage complied with Korean requirement documents were created.

• 한국CDE학회논문집
• /
• 제16권4호
• /
• pp.300-304
• /
• 2011

This paper proposes an approach to generate tool-path for laser pattern machining. Considering the mechanical structure of a laser pattern machine, it is quite similar to that of a 2D milling machine. Based on the observation, one may try to utilize the tool-path generation methodologies of 2D milling for the laser pattern machining. However, it is not possible to generate tool-path without considering the technological requirements of laser pattern machining which are different from those of 2D milling. In this paper, we identify the technological requirement of laser pattern machining, and propose a proper tool-path generation methodology to satisfy the technological requirements. For the efficient generation of tool-path, this paper proposes a tool-path element computation method, which is based on the concept of a monotone chain.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.514-521
• /
• 2004

A routing is the path that an actual train set follows as it moves from one train to another train in a timetable. The number of routings is equivalent to the number of trainsets required to cover the timetable. The primary factors of rolling stock requirement plan include evaluating the minimum number of routings. This can be formulated as a set partitioning problem and solved using enumeration method or column generation method. In this paper we presents an enumeration algorithm which is useful to implement the enumeration method for the rolling stock requirement plan.

• 전기학회논문지
• /
• 제65권7호
• /
• pp.1161-1168
• /
• 2016

Battery energy storage system(BESS) attract the attention of the power system operators with its fast response to a disturbance in spite of its limited energy capacity. This paper proposes the operating method of BESS for following the Automatic Generation Control(AGC) frequency control which is centrally distributed by a system operator. As BESS needs to just meet the control requirement from the system operator, it should be able to properly manage the state of charge(SOC) of BESS to be available to control signal. For doing these, the proposed method distributes the control requirement to available batteries in proportion to its SOC. In addition, unavailable batteries are controlled to recover the SOC to an appropriate range, and the recovering power is supplied by available batteries meeting the control requirement. Moreover, the proposed method manages the efficiency of power conversion system (PCS) by limiting the number of PCS to be assigned for the low control requirement. Finally, the case studies are carried out to verify the effectiveness of proposed strategy.

• 통상정보연구
• /
• 제9권4호
• /
• pp.307-328
• /
• 2007

This paper discusses some requirement issues of future global e-trade. Korea has been making lots of efforts on e-trade promotions and many research results support that the performance of e-trade should be increased. There are still many unsolved issues as well as future demands in this area. In this paper, we propose some e-trade requirements for next generation and those are e-trade governance, collaboration enhancement among trading participants, the utilization of e-trade documents repository, the expansion of global e-trade network, and e-trade intelligence just to name a few. For each requirement, we propose some research topics as well as practical implications for improving the performance of global e-trades. One can find some useful thoughts for the future research based on the propositions made by this paper.