• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.651-658
• /
• 2002

This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

• Proceedings of the KIEE Conference
• /
• 2005.04a
• /
• pp.256-258
• /
• 2005

EMU system is system that o(for target performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• Proceedings of the KIEE Conference
• /
• 2005.10c
• /
• pp.296-298
• /
• 2005

Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• Asia pacific journal of information systems
• /
• v.26 no.2
• /
• pp.322-337
• /
• 2016

Research on information systems and software engineering has often neglected behavioral effects, which may play a role in decision making on software development. The current study addresses this issue by empirically investigating the behavioral roots of over-requirement in the context of a software development project via an experiment. The negative phenomenon of over-requirement refers to specifying a software system beyond the actual needs of the customer or the market, which overload the system with unneeded features. The research question addressed here is whether over-requirement is due in part to the emotional involvement of developers with the software features they developed because of behavioral effects. Previous studies have demonstrated that under the endowment, I-designed-it-myself, and IKEA effects, people become emotionally involved and overvalue physical items that they respectively possess, self-design, or self-create. The findings of our experiment show that participants over-valued features they were assigned to be responsible for, to specify, or to construct, thereby confirming that the three behavioral effects play a role in software development decisions and affect over-requirement. Thus, the study contributes to software development research and practice from the behavioral economics perspective, highlighting the roots of over-requirement.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.505-512
• /
• 2008

In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.

• Journal of Korean Home Economics Education Association
• /
• v.15 no.4
• /
• pp.23-35
• /
• 2003

The purpose of this research is to analyse the composition of theories and practical activities in clothing and textiles in Technologyㆍ Home economics textbooks in the 7th National Curriculum and find out learning requirement of students in the area. For this research, a survey was conducted using questionnaires with 280 high school students living in Daegu and the rate of response was 78.9%. The results of this study are as follows. 1. After analysing the curriculum of Practical Arts subject in elementary school and Technology´ Home Economics subject in secondary school, we could find out that more emphasis is put on practical activities in elementary school and high school. On the other hand, theories are considered more important in middle school. 2. Students have similar preference both for theories and for practical activities as a way of learning in class and show positive responses to practical activities unless they´re giving too much pressure as a part of performance test. 3. According to their learning requirement. several teaching-learning contents in clothing and textiles in Technology Home economics are selected such as materials,. clothes designs, how to set dressed well, how to make a reasonable purchase on clothes, and the process of manufacturing various clothes, etc. Therefore it would be desirable to provide the students with the learning opportunity to the extent where even the students who haven´t chosen the selected-advanced course can take part in class actively.

• Journal of Aerospace System Engineering
• /
• v.7 no.2
• /
• pp.23-28
• /
• 2013

This is a research on the method of how to improve lateral stability for the small general aviation airplane to meet the FAR part 23 requirements. This research is based on the experience of certification flight tests of KC-100 airplane for Korea first type certification. KAS/FAR Part 23.177 is the static lateral and directional stability requirement. And, 23.177(b) requires to show the tendency to raise the low wing in steady heading side slip maneuver. However, it is very difficult for the low wing to be raised at the low speed during the steady heading side slip maneuver. So, the requirement allows not be negative at the $1.2V_{S1}$ speed and takeoff configuration. (static stability requirement requires low wing picked up at any speed except $1.2V_{S1}$ speed and takeoff configuration) In this paper, the static lateral stability requirements and the lessons & learned of KC-100 airplane certification flight test results are shown.

• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.41-52
• /
• 2010

A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.

• Journal of Applied Reliability
• /
• v.2 no.2
• /
• pp.85-97
• /
• 2002

In this paper, partially repairable concurrent spare parts requirement determination problem of newly procured equipment systems is considered. “partially repairable” means that a portion of damaged parts can be recover their function and reused after repairs. A mathematical model is derived for making an CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Using the generalized Lagrange multipliers method, the solution procedure is derived.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.41
• /
• pp.123-134
• /
• 1997

In this paper we consider the CSP requirements determination problem of new equipment system. The CSP we deal with in the paper are restricted to the demand-based spare parts. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the repairable items to derive the associated CSP requirement determination model in mathematical expression, respectively. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given funds limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the operational availability maximization problem that should satisfy the funds limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.