• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.919-921
• /
• 2005

본 논문은 임베디드 소프트웨어 개발자가 개발 소프트웨어의 성능 테스팅 결과를 그래픽 형태의 인터페이스를 통해 쉽고 편리하게 분석할 수 있는 성능 분석기를 제안한다. 제안하는 성능 분석기는 임베디드 소프트웨어에 대해 생성된 텍스트 기반 저수준의 성능 평가 정보를 그래픽 형태의 결과 화면으로 재구성하기 위한 API로 변형하는 정보 변환기 모듈과 API 형태의 자료구조를 이용해 성능 평가 결과를 그래픽 형태로 출력하는 레포트 생성기로 구성된다. 제안하는 그래픽 기반의 성능 분석기는 개발자나 사용자에게 그래픽 형태의 편리한 성능 분석 레포팅을 제공한다. 따라서, 임베디드 소프트웨어 개발자는 기존의 텍스트 형태의 결과를 분석하기 위한 시간과 노력을 줄일 수 있고, 즉각적이고 직관적인 결과 분석기회를 얻을 수 있어 관련 소프트웨어 개발 효율성을 높일 수 있을 것이다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.149-152
• /
• 2010

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 인도시기에 관한 모형은 무한 고장 수에 의존하는 비동질적인 포아송 과정을 적용하였다. 이러한 포아송 과정은 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성을 반영하는 모형이다. 적용모형은 여러 수명 분포들을 적합시키는데 효율적인 특성을 가진 콤페르쯔, 파레토, 로그-로지스틱 모형과 같은 로그형 특성분포를 이용하였다. 따라서 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 방출시간이 최적 소프트웨어 방출 정책이 된다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하여 최적 방출시기를 추정하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.173-182
• /
• 2004

The research to estimate development effort of software has been progress. But, it is not easy gain that testing data for estimating of development effort. Also, if we get the testing data, it is important that analysis testing data. In this paper, we study the data analysis of software development effort using the 789 software development projects which developed in the 1990's. Software development scale and software development team site are various. Using the characteristic of factor, we have to study characteristic of data and we estimate the development effort step by step. First, we prove the difference of development effort with the 789 project data according to development type, development environment, the development language etc. Also, we execute the crosstabs analysis that team site and function point.

• Convergence Security Journal
• /
• v.7 no.2
• /
• pp.49-55
• /
• 2007

Software failure time presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing. For data analysis of software reliability model, data scale tools of trend analysis are developed. The methods of trend analysis are arithmetic mean test and Laplace trend test. Trend analysis only offer information of outline content. From the subdivision of this analysis, new attemp needs the side of the quality control. In this paper, we discuss process capability analysis using process capability indexs. Because of software failure interval time is pattern of nonnegative value, instead of capability analysis of suppose to normal distribution, capability analysis of process distribution using to Box-Cox transformation is attermpted. The used software failure time data for capability analysis of process is SS3, the result of analysis listed on this chapter 4 and 5. The practical use is presented.

• Journal of IKEEE
• /
• v.15 no.1
• /
• pp.43-48
• /
• 2011

Decision problem called an optimal release policies, after testing a software system in development phase and transfer it to the user, is studied. The infinite failure non-homogeneous Poisson process models presented and propose an optimal release policies of the life distribution applied extreme distribution which used to find the minimum (or the maximum) of a number of samples of various distributions. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, extreme value distribution as another alternative of existing the Poisson execution time model and the log power model can be verified using inter-failure time data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.829-831
• /
• 2002

최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알져지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Teade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KRY에 대해서 4개(STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들이 가이드 라인에 대한 정보를 제공한다.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.3-10
• /
• 2012

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, finite failure non-homogeneous Poisson process model, considering learning factor, presented and propose release policies of the life distribution, log linear type model which used to an area of reliability because of various shape and scale parameter. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, the parameters estimation using maximum likelihood estimation of failure time data, make out estimating software optimal release time.

• Convergence Security Journal
• /
• v.10 no.1
• /
• pp.55-61
• /
• 2010

It is of great practical interest to deciding when to stop testing a software system in development phase and transfer it to the user. This decision problem called an optimal release policies. In this paper, because of the possibility of introducing new faults when correcting or modifying the software, we were researched release comparative policies which based on infinite failure NHPP model and types of interval failure times. The policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement can optimal software release times. In a numerical example, applied data which were patterns, if intensity function constant or increasing, decreasing, estimated software optimal release time.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.7
• /
• pp.1-8
• /
• 2009

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. The optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement is generally accepted. The Bayesian parametric inference of model using log Poisson execution time employ tool of Markov chain(Gibbs sampling and Metropolis algorithm). In a numerical example by T1 data was illustrated. make out estimating software optimal release time from the maximum likelihood estimation and Bayesian parametric estimation.