• Journal of information and communication convergence engineering
• /
• v.4 no.1
• /
• pp.23-27
• /
• 2006

The discipline of software performance is very broad; it influences all aspects of the software development lifecycle, including architecture, design, deployment, integration, management, evolution and servicing. Thus, the complexity of software is an important aspect of development and maintenance activities. Much research has been dedicated to defining different software measures that capture what software complexity is. In most cases, the description of complexity is given to humans in forms of numbers. These quantitative measures reflect human-seen complexity with different levels of success. Software complexity growth has been recognized to be beyond human control. In this paper, we have focused our discussion on the increasing software complexity and the issue with the problems being faced in managing this complexity. This increasing complexity in turn affects the software productivity, which is declining with increase in its complexity.

• Journal of Information Processing Systems
• /
• v.14 no.3
• /
• pp.607-620
• /
• 2018

The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.9
• /
• pp.151-160
• /
• 2019

With the advent of the Fourth Industrial Revolution, software(SW) education has become a necessity, not a choice of those who live in the digital age. Recently, many countries around the world have been actively promoting software education based on Computational Thinking(CT) for K-12 students, so software education in schools has bigger meaning as basic literacy education of future digital generation rather than coding skills. However, the integration of software education as a formal curriculum in schools is still ongoing in even other countries. Korea is also pursuing software education, but it is in the beginning stage. Therefore, we need to study the cases of other countries that have already started software education at the national level. In this paper, we first investigate the software education cases of three countries, e.g., UK, France and China with a respect of background & educational objective, development stage, and curriculum and we suggest education policies that software education can settle in Korea schools to foster a creative talented people.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2004.05a
• /
• pp.290-291
• /
• 2004

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.191-196
• /
• 2004

Web Service ·A software application identified by a URI, whose interface and bindings are capable of being defined, described, and discovered as XML artifacts A Web service supports direct interactions with other software agents using XML-based messages exchanges via Internet-based protocols(W3C) ·Utilize the WWW infrastructure ·Example ： http：//etech.kaist.ac.kr：8080/search.html(omitted)

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Journal of Information Processing Systems
• /
• v.6 no.1
• /
• pp.91-106
• /
• 2010

The rapid growth of communication and globalization has changed the software engineering process. Security has become a crucial component of any software system. However, software developers often lack the knowledge and skills needed to develop secure software. Clearly, the creation of secure software requires more than simply mandating the use of a secure software development lifecycle; the components produced by each stage of the lifecycle must be correctly implemented for the resulting system to achieve its intended goals. This study demonstrates that a more effective approach to the development of secure software can result from the integration of carefully selected security patterns into appropriate stages of the software development lifecycle to ensure that security designs are correctly implemented. The goal of this study is to provide developers with an Integrated Security Development Framework (ISDF) that can assist them in building more secure software.

• Korean Architects
• /
• s.661
• /
• pp.34-37
• /
• 2024

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.45-51
• /
• 2007

The various levels of test are performed to verify the correctness, completeness, and quality of the developed flight software. The three main test levels are unit test, integration test and verification test. The flight software unit test is performed on the individual PC environment using target simulator. And integration and verification test is mainly performed on STB(S/W Test Bed) which provides test and debugging environments for flight software on the target board This document is to present the test environment for the next generation low earth orbit satellite flight software development.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.831-841
• /
• 2000

For the operation of the practical software systems, the development, extension and modification phases are successively needed through the new requirements added and their errors debugging detected. Therefore, if it is possible to integrated the reusable software components and to reorganize them into the new software systems, we can improve the productivity, quality, and cost-effectiveness for he development of software systems. For these reasons, it will be required to research and develop methodology and tools for programs integration which make some programs merged effectively. In the process of merging two versions of a program into one, we can consider that some parts of the two versions are equivalent under the non-interference between them. According to the previous studies the program selected to determine the criterion of non-interference between them. According to the previous studies the program selected to determine the criterion of non-interference was very large, so we have difficulty in integrating many programs practically. In this paper, we propose a new improved algorithm which can reduce the related program size of non-interference criterion yb use of dynamic slicing techniques for integration of two versions of a program, and prove the efficiency of the proposed algorithm by showing some examples.