Affiliation:
1. Graduate School of Advanced Science and Engineering Hiroshima University Hiroshima Japan
Abstract
AbstractSoftware faults are costly to find and remove from programs. It is better to avoid inserting the faults in the first place. The authors identify requirements‐related faults that can arise during the transformation of formal specifications into programs, analyse each to discover its causes, and propose corresponding fault prevention methods. The approach works by analysing a specification, decomposing it into specification fragments with different levels like components, determining the correct implementation order among the components, and enabling automated code generation for the components and other low‐level specification fragments. The approach seeks to reduce the faults in programs significantly by guiding programmers to work effectively and productively. The authors evaluate the approach's performance experimentally and compare it to the performance of a fault‐prevention method with industry applications.
Funder
China Scholarship Council
Hiroshima University
Publisher
Institution of Engineering and Technology (IET)
Subject
Computer Graphics and Computer-Aided Design
Reference67 articles.
1. Classification of software behaviors for failure detection
2. A review on software fault detection and prevention mechanism in software development activities;Dhanalaxmi B.;IOSR J. Comput. Eng.,2015
3. A software fault prevention approach in coding and root cause analysis
4. Mohammadnazar H.:Improving Fault Prevention with Proactive Root Cause Analysis (PRORCA method)(2016). https://jyx.jyu.fi/bitstream/handle/123456789/49220/1/URN%3ANBN%3Afi%3Ajyu‐201603301967.pdf
5. Fault prevention in industrial automation systems by means of a functional model and a hybrid abnormity identification concept