A framework for the design and verification of software measurement methods

被引:21
|
作者
Habra, Naji [1 ]
Abran, Alain [2 ]
Lopez, Miguel [1 ]
Sellami, Asma [3 ]
机构
[1] Univ Namur, PReCISE Res Ctr, B-5000 Namur, Belgium
[2] Ecole Technol Super, Montreal, PQ, Canada
[3] Inst Super Informat & Multimedia, Sfax, Tunisia
关键词
measurement; standards; software measurement design; software measurement verification;
D O I
10.1016/j.jss.2007.07.038
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
At the core of any engineering discipline is the use of measures, based on ISO standards or on widely recognized conventions, for the development and analysis of the artifacts produced by engineers. In the software domain, many alternatives have been proposed to measure the same attributes, but there is no consensus on a framework for how to analyze or choose among these measures. Furthermore, there is often not even a consensus on the characteristics of the attributes to be measured. In this paper, a framework is proposed for a software measurement life cycle with a particular focus on the design phase of a software measure. The framework includes definitions of the verification criteria that can be used to understand the stages of software measurement design. This framework also integrates the different perspectives of existing measurement approaches. lit addition to inputs from the software measurement literature the framework integrates the concepts and vocabulary of metrology. This metrological approach provides a clear definition of the concepts, as well as the activities and products, related to measurement. The aim is to give an integrated view, involving the practical side and the theoretical side, as well as the basic underlying concepts of measurement. (C) 2007 Published by Elsevier Inc.
引用
收藏
页码:633 / 648
页数:16
相关论文
共 50 条
  • [1] Model driven security framework for software design and verification
    Deveci, Engin
    Caglayan, Mehmet U.
    [J]. SECURITY AND COMMUNICATION NETWORKS, 2015, 8 (16) : 2768 - 2792
  • [2] Approximation methods in a software quality measurement framework
    Ramanna, S
    [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 566 - 571
  • [3] A Software Framework for Automated Verification
    Raedts, Ivo
    Petkovic, Marija
    Serebrenik, Alexander
    van der Werf, Jan Martijn
    Somers, Lou
    Boote, Maarten
    [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1031 - +
  • [4] The RAPID Software Verification Framework
    Georgiou, Pamina
    Gleiss, Bernhard
    Bhayat, Ahmed
    Rawson, Michael
    Kovacs, Laura
    Reger, Giles
    [J]. 2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 255 - 260
  • [5] Verification and Validation Methods for a Trust-by-Design Framework for the IoT
    Ferraris, Davide
    Fernandez-Gago, Carmen
    Lopez, Javier
    [J]. DATA AND APPLICATIONS SECURITY AND PRIVACY XXXVI, DBSEC 2022, 2022, 13383 : 183 - 194
  • [6] A Framework for Verification of Software with Time and Probabilities
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 25 - +
  • [7] VERTAF: An application framework for the design and verification of embedded real-time software
    Hsiung, PA
    Lin, SW
    Tseng, CH
    Lee, TY
    Fu, JM
    Bin See, W
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 656 - 674
  • [8] The Analysis of Existing Methods of Software Verification
    Bondarev, Sergei E.
    Chudinov, Maksim A.
    Prokhorov, Andrey S.
    [J]. PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
  • [9] A Framework of Software Architecture Principles for Sustainability-driven Design and Measurement
    Gupta, Sarthak
    Lago, Patricia
    Donker, Roel
    [J]. 2021 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C), 2021, : 31 - 37
  • [10] A new verification framework of object-oriented design specification for small scale software
    Kim, EM
    Kusumoto, S
    Kikuno, T
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (01) : 51 - 56