• 정보과학회 논문지
• /
• 제45권2호
• /
• pp.150-156
• /
• 2018

소프트웨어 가시화 연구는 개발자들이 소프트웨어 시스템을 이해하고 코드 변경을 수행할 때 도움을 줄 수 있다는 점에서 중요하다. 최근 제시된 상향식 소프트웨어 가시화 도구들은 개발자가 직접 작업하는 코드 정보만을 보여주는 이점으로 개발자들의 작업에 도움을 줄 수 있다는 효과를 입증하고 있다. 하지만 이러한 도구들은 개발자가 탐색한 코드만 한정되게 보여주는 약점이 있다. 본 논문은 상향식 가시화 도구에서 연관이 되는 코드 정보를 제공하여 코드 탐색을 돕기 위하여 소프트웨어 개정 이력을 클래스 다이어그램으로 보이는 도구를 제시한다. 제시 도구는 개발자들이 커밋한 코드 정보를 한 번의 클릭으로 클래스 다이어그램으로 보여줌으로써, 개발자들의 코드 변경에 대한 빠른 이해를 돕는다. 또한 본 논문은 사례 연구를 통하여 개발자들이 수일동안 지속적인 변경 작업을 수행할 때 제시 도구가 유용할 수 있음을 보인다.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.615-621
• /
• 1999

On the aspect of on-time and development resource use, it is very important to predict the software release time during the software development process. In this paper, we present the optimal release problem based on the evaluation indicator and cost evaluation. And also we show the optimal release point considered with both of them. We applied the Exponential Software Reliability Growth Model(E-SRGM) and Testing-effort dependent Software Reliability Growth Model(Te-SRGM) and decided the software release time according to software reliability indicator. As a result of two models comparison, we verify the Te-SRGM is more adopted in our switching system software.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권9호
• /
• pp.3110-3125
• /
• 2014

Network coding improves TCP's performance in lossy wireless networks. However, the complex congestion window evolution of network coded TCP (TCP-NC) makes the analysis of end-to-end throughput challenging. This paper analyzes the evolutionary process of TCP-NC against lossy links. An analytic model is established by applying a two-dimensional Markov chain. With maximum window size, end-to-end erasure rate and redundancy parameter as input parameters, the analytic model can reflect window evolution and calculate end-to-end throughput of TCP-NC precisely. The key point of our model is that by the novel definition of the states of Markov chain, both the number of related states and the computation complexity are substantially reduced. Our work helps to understand the factors that affect TCP-NC's performance and lay the foundation of its optimization. Extensive simulations on NS2 show that the analytic model features fairly high accuracy.

• 한국산업정보학회논문지
• /
• 제15권2호
• /
• pp.99-113
• /
• 2010

소프트웨어 산업에서 특허권의 취득이 일상화된 과정은 그것이 단기간에 이루어졌다는 점 이외에도, 복잡한 법적 판단의 변천과 치열한 경제적 찬반 논리를 거치며 이루어졌다는 특징을 지닌다. 본 연구에서는 소프트웨어 산업에서 특허를 둘러싼 이론과 현실이 어떻게 진화하여 왔는지를 법적, 경제적 측면에서 통합적으로 살펴본다. 이를 위해 미국을 중심으로 소프트웨어 특허에 대해 전개된 법률적 판단의 주요 사례를 분석하고, 그 과정에서 제기된 경제적 주장의 배경 논리를 소프트웨어 산업의 본원적 특성에 대한 이해를 바탕으로 종합적으로 모색한다. 이러한 연구는 우리나라 특허제도가 역사적으로 미국 특허제도로부터 많은 영향을 받아온 점, 그리고 우리나라의 경영학 및 경제학 문헌에서 관련 논의가 부족한 현실을 감안할 때 중요한 의의를 지닌다.

• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.495-504
• /
• 2008

관점지향 프로그래밍(AOP)은 횡단 관심사까지 모듈화 하여 소프트웨어의 모듈화를 높여주는 새로운 프로그래밍 패러다임이다. 이를 이용하면 레거시 시스템에 손대지 않고 소프트웨어를 확장시킬 수 있다. 관점지향 프로그래밍 자체 혹은 레거시 시스템만의 테스트 기법은 많이 있으나 확장된 프로그램의 테스트 기법에 대해선 많은 연구가 진행되지 않고 있다. 이 논문에서는 관점지향 프로그래밍을 이용하여 소프트웨어를 확장한 경우의 테스트 기법에 대해 관점지향 프로그래밍의 결함 모델에 맞춰 제시한다. 우선 AOP의 반사기능의 객체를 이용하여 교차점 패턴의 부정확한 강도 및 부정확한 애스펙트의 우선순위를 테스트하고, 증명 규칙을 이용하여 기대하는 사후 조건 성립의 실패에 대해 테스트하였다. 또한 set() 교차점을 이용하여 불변 조건 보존의 실패에 대해 테스트하고, 제어흐름 그래프를 이용하여 제어 의존의 부정확한 변형에 대해 확인하는 방법을 제시한다. 실증을 위하여 셋탑박스의 채널 관리 시스템을 구현하여 제시한 각각의 테스트 기법들에 대해 실험하였다.

• Journal of Ecology and Environment
• /
• 제31권2호
• /
• pp.89-95
• /
• 2008

Sensing the approach of a predator is critical to the survival of prey, especially when the prey has no choice but to escape at a precisely timed moment. Escape behavior has been approached from both proximate and ultimate perspectives. On the proximate level, empirical research about electrophysiological mechanisms for detecting predators has focused on vision, an important modality that helps prey to sense approaching danger. Studies of looming-sensitive neurons in locusts are a good example of how the selective sensitivity of nervous systems towards specific targets, especially approaching objects, has been understood and realistically modeled in software and robotic systems. On the ultimate level, general optimality models have provided an evolutionary framework by considering costs and benefits of visually elicited escape responses. A recent paper showed how neural network models can be used to understand the evolution of visually mediated antipredatory behaviors. We discuss this new trend towards integration of these relatively disparate approaches, the proximate and the ultimate perspectives, for understanding of the evolution of behavior of predators and prey. Focusing on one of the best-studied escape pathway models, the Orthopteran LGMD/DCMD pathway, we discuss how ultimate-level optimality modeling can be integrated with proximate-level studies of escape behaviors in animals.

• Geomechanics and Engineering
• /
• 제20권1호
• /
• pp.29-41
• /
• 2020

It is extremely important to obtain rock strength parameters for geological engineering. In this paper, the evolution of sandstone cohesion and internal friction angle with plastic shear strain was obtained by simulating the cyclic loading and unloading tests under different confining pressures using Particle Flow Code software. By which and combined with the micro-crack propagation process, the mesoscopic mechanism of parameter evolution was studied. The results show that with the increase of plastic shear strain, the sandstone cohesion decreases first and then tends to be stable, while the internal friction angle increases first, then decreases, and finally maintains unchanged. The evolution of sandstone shear strength parameters is closely related to the whole process of crack formation, propagation and coalescence. When the internal micro-cracks are less and distributed randomly and dispersedly, and the rock shear strength parameters (cohesion, internal friction angle) are considered to have not been fully mobilized. As the directional development of the internal micro-fractures as well as the gradual formation of macroscopic shear plane, the rock cohesion reduces continuously and the internal friction angle is in the rise stage. As the formation of the macroscopic shear plane, both the rock cohesion and internal friction angle continuously decrease to a certain residual level.

• 전자공학회논문지S
• /
• 제35S권1호
• /
• pp.29-38
• /
• 1998

We summarize, in this paper, that we have learned from the slftwar reliability analysis of a large switching software composed of functional blocks which form slotware units. To determine the time of management activity related to sopftware reliability growth, we review the process of detection and correction of software failures. Also we apply the two softwre reliability frowth model, Goel-Okumoto and S-shaped model, to estimate the global software reliability growth to a set of failure found during period of the system test. The analysis methods and results can be applied to other large software development projects.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.164-173
• /
• 2009

Automotive systems have tended to be equipped with many electronic contents to satisfy safety, comport, convenience, and entertainment services over the past years. As a result, the amount of vehicle embedded software in electrical/electronic(E/E) systems is steadily increasing to manage these requirements. This leads to the traditional, document-based software development in the vehicle embedded systems being increasingly displaced by a model-based development in order to reduce software development time and cost. Due to the application of model-based development, a great evolution is being realized in the aspect of efficiency, but the development is being made without sufficient testing. So, erroneous automotive embedded software may cause serious problems such as car accidents which relate to human safety. Therefore, efficient methods for model-based test and validation are needed to improve software reliability in the stage of embedded software development. This paper presents the model-based development and test method for AUTOSAR embedded software to improve its reliability and safety, and it is demonstrated based on the case study.

• International Journal of Computer Science & Network Security
• /
• 제22권2호
• /
• pp.232-240
• /
• 2022

To fulfill user expectations, the rapid evolution of software techniques and approaches has necessitated reliable and flawless software operations. Aging prediction in the software under operation is becoming a basic and unavoidable requirement for ensuring the systems' availability, reliability, and operations. In this paper, an improved evolutionary computing-driven extreme learning scheme (ECD-ELM) has been suggested for object-oriented software aging prediction. To perform aging prediction, we employed a variety of metrics, including program size, McCube complexity metrics, Halstead metrics, runtime failure event metrics, and some unique aging-related metrics (ARM). In our suggested paradigm, extracting OOP software metrics is done after pre-processing, which includes outlier detection and normalization. This technique improved our proposed system's ability to deal with instances with unbalanced biases and metrics. Further, different dimensional reduction and feature selection algorithms such as principal component analysis (PCA), linear discriminant analysis (LDA), and T-Test analysis have been applied. We have suggested a single hidden layer multi-feed forward neural network (SL-MFNN) based ELM, where an adaptive genetic algorithm (AGA) has been applied to estimate the weight and bias parameters for ELM learning. Unlike the traditional neural networks model, the implementation of GA-based ELM with LDA feature selection has outperformed other aging prediction approaches in terms of prediction accuracy, precision, recall, and F-measure. The results affirm that the implementation of outlier detection, normalization of imbalanced metrics, LDA-based feature selection, and GA-based ELM can be the reliable solution for object-oriented software aging prediction.