• Title, Summary, Keyword: Software

Search Result 24,054, Processing Time 0.073 seconds

RISKY MODULE PREDICTION FOR NUCLEAR I&C SOFTWARE

  • Kim, Young-Mi;Kim, Hyeon-Soo
    • Nuclear Engineering and Technology
    • /
    • v.44 no.6
    • /
    • pp.663-672
    • /
    • 2012
  • As software based digital I&C (Instrumentation and Control) systems are used more prevalently in nuclear plants, enhancement of software dependability has become an important issue in the area of nuclear I&C systems. Critical attributes of software dependability are safety and reliability. These attributes are tightly related to software failures caused by faults. Software testing and V&V (Verification and Validation) activities are hence important for enhancing software dependability. If the risky modules of safety-critical software can be predicted, it will be possible to focus on testing and V&V activities more efficiently and effectively. It should also make it possible to better allocate resources for regulation activities. We propose a prediction technique to estimate risky software modules by adopting machine learning models based on software complexity metrics. An empirical study with various machine learning algorithms was executed for comparing the prediction performance. Experimental results show SVMs (Support Vector Machines) perform as well or better than the other methods.

A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE

  • Park, Gee-Yong;Jang, Seung Cheol
    • Nuclear Engineering and Technology
    • /
    • v.46 no.1
    • /
    • pp.55-62
    • /
    • 2014
  • A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.

Design of Product-Line Architecture based-on Common Architecture (공통 아키텍처 기반 제품계열 아키텍처 설계)

  • Oh, Young-Bae;Shin, Sung-Oog;Kim, Young-Gab;Baik, Doo-Kwon
    • Journal of Information Technology Services
    • /
    • v.5 no.2
    • /
    • pp.155-168
    • /
    • 2006
  • Software product line is a software product or a set of software system, which has common functions. We can develop a specific software product, which satisfies requirements of a particular market segment and a mission in a specific domain by reusing the core asset such as the developed software architecture through the software product line. Software development methodology based on the software product line can develop a software more easily and fast by reusing the developed software core asset. Developed countries of software technology select software product line as a core field of software production technology, and support technology development. In case of USA, CMU/SEI(Carnegie Mellon University/Software Engineering Institute) developed product-line framework 4.0 together with the industry and the Department of Defense. Europe is supporting the development of product line technology through ITEA(IT for European Advancement) program. However, industries in our country understand the necessity of software production technology based on product line concept for the purpose of increasing productivity, it is not sufficient to invest for this technology development. In this paper, we aim to construct the common architecture of software product line for production of the software product line.

An Evolution of Software Reliability in a Large Scale Switching System: using the software

  • Lee, Jae-Ki;Nam, Sang-Sik;Kim, Chang-Bong
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.29 no.4A
    • /
    • pp.399-414
    • /
    • 2004
  • In this paper, an evolution of software reliability engineering in a large-scale software project is summarized. The considered software consists of many components, called functional blocks in software of switching system. These functional blocks are served as the unit of coding and test, and the software is continuously updated by adding new functional blocks. We are mainly concerned with the analysis of the effects of these software components in software reliability and reliability evolution. We analyze the static characteristics of the software related to software reliability using collected failure data during system test. We also discussed a pattern which represents a local and global growth of the software reliability as version evolves. To find the pattern of system software, we apply the S-shaped model to a collection of failure data sets of each evolutionary version and the Goel-Okumoto(G-O) model to a grouped overall failure data set. We expect this pattern analysis will be helpful to plan and manage necessary human/resources fur a new similar software project which is developed under the same developing circumstances by estimating the total software failures with respect to its size and time.

A Study on the Design and Effect of Computational Thinking and Software Education

  • Kwon, Jungin;Kim, Jaehyoun
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.12 no.8
    • /
    • pp.4057-4071
    • /
    • 2018
  • The software centered world following the fourth industrial revolution is rapidly approaching us. Countries around the world attach importance to software's ability as one of the key elements for training future human resources. In order to train software centered human resources, each university has designated Software Education as an essential curriculum for not only major but also non-majors. In the past Software Education was an education for a major, but recent Software Education was changed to the essential education that is necessary for all living in the software centered world. In the past the curriculum was focused on software development and implementation-oriented education, but recent curriculum emphasizes sequential arranging and thinking of problem solving. In order to reflect trends in recent Software Education in detail, we integrate Software Education with major concept of Computational Thinking. In this paper, we analyzed the effect of the main concept of Computational Thinking on Software Education for non-majored learners who received Software Education based on Computational Thinking (here refers to learners who major in humanities, social sciences and arts). In addition, research models of satisfaction, self-efficacy, and occupational change was established as the elements of Software Education, and it was found that there was a relation between Computational Thinking and Software Education.

On the Study of Software Reliability in Quality Testing Metrics (소프트웨어 신뢰도 품질 평가 메트릭에 대한 연구)

  • Jung Hye-Jung
    • Journal of Internet Computing and Services
    • /
    • v.7 no.2
    • /
    • pp.151-160
    • /
    • 2006
  • Software quality evaluation system and software evaluation criterion have to be defined to evaluate software reliability. In this study, we develop software reliability quality metrics for evaluating of software reliability and research for testing of suitable criteria of software reliability. To accomplish a study successfully, we have to estimate the failure time of software using the number of software bugs. Software reliability is very important in software quality. We propose the estimation of software reliability. We propose the software reliability metrics and the software testing method that the basis of international standard ISO/IEC 9126 in software testing metrics.

  • PDF

A Study of Software Coding Rules Inspection Tool for Railway Signaling Software Safety

  • Hwang, Jong-Gyu;Jo, Hyun-Jeong
    • International Journal of Safety
    • /
    • v.8 no.2
    • /
    • pp.31-36
    • /
    • 2009
  • In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

Integrated Software Quality Evaluation: A Fuzzy Multi-Criteria Approach

  • Challa, Jagat Sesh;Paul, Arindam;Dada, Yogesh;Nerella, Venkatesh;Srivastava, Praveen Ranjan;Singh, Ajit Pratap
    • Journal of Information Processing Systems
    • /
    • v.7 no.3
    • /
    • pp.473-518
    • /
    • 2011
  • Software measurement is a key factor in managing, controlling, and improving the software development processes. Software quality is one of the most important factors for assessing the global competitive position of any software company. Thus the quantification of quality parameters and integrating them into quality models is very essential. Software quality criteria are not very easily measured and quantified. Many attempts have been made to exactly quantify the software quality parameters using various models such as ISO/IEC 9126 Quality Model, Boehm's Model, McCall's model, etc. In this paper an attempt has been made to provide a tool for precisely quantifying software quality factors with the help of quality factors stated in ISO/IEC 9126 model. Due to the unpredictable nature of the software quality attributes, the fuzzy multi criteria approach has been used to evolve the quality of the software.

Content-based Configuration Management System for Software Research and Development Document Artifacts

  • Baek, Dusan;Lee, Byungjeong;Lee, Jung-Won
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.10 no.3
    • /
    • pp.1404-1415
    • /
    • 2016
  • Because of the properties of software such as invisibility, complexity, and changeability, software configuration management (SCM) for software artifacts generated during software life-cycle has been used for guarantee of the quality of the software. However, the existing SCM system has only focused on code artifacts and software development document artifacts such as Software Requirements Specification (SRS), Software Design Description (SDD), and Software Test Description (STD). Moreover, software research-oriented project comes out late the code artifacts and the software development document artifacts. Therefore, there is a need for trace and management of software research document artifacts composed of highly abstracted non-functional requirements like 'the purpose of the project', 'the objectives', and 'the progress' before generation of the code artifacts and the software development document artifacts for a long time. Nevertheless, the existing SCM system cannot trace and manage them. In this paper, we propose content-based configuration management system comprised of the relevance link generation phase and content-based testing phase to trace and manage them. The preliminary application results show applicability and feasibility of the proposed system.

(A Study on Software Quality Metric Methodology and Application for Software Quality Measurement) (소프트웨어 품질측정을 위한 소프트웨어 품질매트릭 방법론과 적용 연구)

  • 이성기
    • Journal of the military operations research society of Korea
    • /
    • v.22 no.2
    • /
    • pp.90-112
    • /
    • 1996
  • Research issues in software engineering in recent may be object oriented methodology and software quality. Since Halstead has proposed metric-software science in 1977, software quality area has been studied in steady but inactively until 1980s. As international standards such as ISO 9000-3, 9126 were enacted in 1990s early, interest in software quality is increased but many problems such as how to validate metric, measure quality or apply metric are remained. This paper proposes software quality metric methodology which software developer or project manager can use in measuring quality and validating metric during software development. The methodology is classified by several phases: establishment of quality requirement, identification of quality metric, data collection, metric implementation, metric validation. In order to show its applicability, test program, metrics and data are applied to each phase of the methodology. Consideration of this methodology as a methodology for software quality measurement similar to development methodology for software development is needed.

  • PDF