The software fault prediction model based on the AltaRica language

被引：0
|
作者：
Song, Jingyu [1 ]
Chen, Bo [1 ]
Li, Xueliang [1 ]
Yang, Yi [1 ]
Liu, Chang [2 ]
Li, Haifeng [2 ]
机构：
[1] China State Shipbldg Corp, Syst Engn Res Inst, Beijing, Peoples R China
[2] Beihang Univ, Inst Reliabil Engn, Beijing, Peoples R China
来源：
PROCEEDINGS OF 2019 IEEE 3RD INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2019) | 2019年
关键词：
fault prediction; AltaRica; software safety; requirement model; Line Temporal Logic;
D O I：
10.1109/itnec.2019.8729235
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Many existing software fault prediction methods are difficult to identify and predict various complex faults such as the abnormal interface data, the concurrency conflict between functions, and the invalid state transition. To solve this problem, a new software fault prediction model based on AltaRica language is proposed in this paper based on the AltaRica language and the Line Temporal Logic (LTL) with the operation characters of the airborne support system. The experimental results show that this new model can improve the effectiveness and applicability of the fault prediction methods which can describe the operation characters of the airborne support system software accurately and identify the complex faults adequately.
引用
收藏
页码：2549 / 2552
页数：4
相关论文
共 50 条
  • [1] ACO based comprehensive model for software fault prediction
    Singh, Pradeep
    Verma, Shrish
    [J]. INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2020, 24 (01) : 63 - 71
  • [2] Software fault prediction using language processing
    Binkley, David
    Feild, Henry
    Lawrie, Dawn
    Pighin, Maurizio
    [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 99 - +
  • [3] Comprehensive Model for Software Fault Prediction
    Singh, Pradeep
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INVENTIVE COMPUTING AND INFORMATICS (ICICI 2017), 2017, : 1103 - 1108
  • [4] System Modeling and Fault Tree Analysis Based on AltaRica
    Li, Zhen
    Jiang, Zhengqi
    Wang, Dongsheng
    Wang, Zhaobin
    [J]. IEEE ACCESS, 2020, 8 : 168879 - 168897
  • [5] Generalised rule induction-based model for software fault prediction
    Mishra, Ashutosh
    Singla, Meenu
    [J]. International Journal of Reliability and Safety, 2021, 15 (1-2) : 89 - 103
  • [6] A sequential ensemble model for software fault prediction
    Mangla, Monika
    Sharma, Nonita
    Mohanty, Sachi Nandan
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2022, 18 (02) : 301 - 308
  • [7] A sequential ensemble model for software fault prediction
    Monika Mangla
    Nonita Sharma
    Sachi Nandan Mohanty
    [J]. Innovations in Systems and Software Engineering, 2022, 18 : 301 - 308
  • [8] Increasing diversity: Natural language measures for software fault prediction
    Binkley, David
    Feild, Henry
    Lawrie, Dawn
    Pighin, Maurizio
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (11) : 1793 - 1803
  • [9] Deriving Safety Software Requirements from an AltaRica System Model
    Humbert, Sophie
    Seguin, Christel
    Castel, Charles
    Bosc, Jean-Marc
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 320 - +
  • [10] Product failure modeling method based on Altarica language
    Long, Gao
    Liang, Ao
    [J]. 2017 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM-HARBIN), 2017, : 959 - 964
12345