Metric-based method of software requirements correctness improvement

被引:1
|
作者
Yaremchuk, Svitlana [1 ]
Bardis, Nikolaos [2 ]
Vyacheslav, Kharchenko [3 ]
机构
[1] Natl Univ Odessa Maritime Acad, Danube Inst, UA-68600 Odessa, Ukraine
[2] Hellen Mil Acad, Dept Math & Engn Sci, Athens 16673, Greece
[3] Natl Space Univ, Dept Comp Syst & Networks, UA-61070 Kiev, Ukraine
关键词
D O I
10.1051/itmconf/20170903009
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The work highlights the most important principles of software reliability management (SRM). The SRM concept construes a basis for developing a method of requirements correctness improvement. The method assumes that complicated requirements contain more actual and potential design faults/defects. The method applies a newer metric to evaluate the requirements complexity and double sorting technique evaluating the priority and complexity of a particular requirement. The method enables to improve requirements correctness due to identification of a higher number of defects with restricted resources. Practical application of the proposed method in the course of demands review assured a sensible technical and economic effect.
引用
收藏
页数:8
相关论文
共 50 条
  • [21] Formal Modeling of Automotive Software Requirements by Correctness
    Liu, Xiaojian
    Wang, Zhixue
    Yan, Xuqin
    Li, Yang
    Li, Jianxin
    ADVANCES IN SCIENCE AND ENGINEERING, PTS 1 AND 2, 2011, 40-41 : 961 - 967
  • [22] Efficient aerodynamic shape optimization with the metric-based POD parameterization method
    Zhang, Chenliang
    Duan, Yanhui
    Chen, Hongbo
    Lin, Jinxing
    Xu, Xiaoyu
    Wang, Guangxue
    Liu, Shenshen
    STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2023, 66 (06)
  • [23] Efficient aerodynamic shape optimization with the metric-based POD parameterization method
    Chenliang Zhang
    Yanhui Duan
    Hongbo Chen
    Jinxing Lin
    Xiaoyu Xu
    Guangxue Wang
    Shenshen Liu
    Structural and Multidisciplinary Optimization, 2023, 66
  • [24] Software metric-based neural network classification models of a very large telecommunications system
    Khoshgoftaar, TM
    Allen, EB
    Hudepohl, JP
    Aud, SJ
    APPLICATIONS AND SCIENCE OF ARTIFICIAL NEURAL NETWORKS II, 1996, 2760 : 634 - 645
  • [25] Metric-Based Fault Prediction for Spreadsheets
    Koch, Patrick
    Schekotihin, Konstantin
    Jannach, Dietmar
    Hofer, Birgit
    Wotawa, Franz
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (10) : 2195 - 2207
  • [26] Metric-based Measurement and Selection for Software Product Quality Assessment: Qualitative Expert Interviews
    Bukhari, Zubaidah
    Yahaya, Jamaiah
    Deraman, Aziz
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2019, 10 (07) : 223 - 231
  • [27] Metric-Based Detection of Robot Kidnapping
    Campbell, Dylan
    Whitty, Mark
    2013 EUROPEAN CONFERENCE ON MOBILE ROBOTS (ECMR 2013), 2013, : 192 - 197
  • [28] Metric-based Generative Adversarial Network
    Dai, Guoxian
    Xie, Jin
    Fang, Yi
    PROCEEDINGS OF THE 2017 ACM MULTIMEDIA CONFERENCE (MM'17), 2017, : 672 - 680
  • [29] Metric-Based Resolvability of Quartz Structure
    Imran, Muhammad
    Ahmad, Ali
    Azeem, Muhammad
    Elahi, Kashif
    CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 71 (01): : 2053 - 2071
  • [30] LogDet Metric-Based Domain Adaptation
    Liu, Youfa
    Du, Bo
    Tu, Weiping
    Gong, Mingming
    Guo, Yuhong
    Tao, Dacheng
    IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2020, 31 (11) : 4673 - 4687