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 条
  • [41] Analysis and verification of the interaction model in software design
    Menkhaus, G
    Frei, U
    Wüthrich, J
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 67 - 75
  • [42] MULTILEVEL DESIGN AND VERIFICATION OF HARDWARE SOFTWARE SYSTEMS
    PHILIPSON, L
    [J]. IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (03) : 714 - 719
  • [43] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
  • [44] The measurement of software design quality
    Blundell, JK
    Hines, ML
    Stach, J
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1997, 4 : 235 - 255
  • [45] Software design review framework based on software metrics
    Miyake, Takeshi
    Fuji, Hitoshi
    [J]. NTT R and D, 1996, 45 (03): : 247 - 254
  • [46] Automated Verification and Validation Methods for Transmission Control Software
    Medikeri, Madhura
    Tasky, Thomas
    Richenhagen, Johannes
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2015, 8 (01): : 99 - 105
  • [47] Methods of Formal Software Verification in the Context of Distributed Systems
    Fatkina, Anna
    Iakushkin, Oleg
    Selivanov, Dmitry
    Korkhov, Vladimir
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II, 2019, 11620 : 546 - 555
  • [48] Software Design and Software Product Verification From Security Point of View
    Ozkohen, Albert
    [J]. INNOVATION AND SUSTAINABLE COMPETITIVE ADVANTAGE: FROM REGIONAL DEVELOPMENT TO WORLD ECONOMIES, VOLS 1-5, 2012, : 2896 - 2905
  • [49] APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION
    Todorova, Magdalina
    [J]. 7TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2013), 2013, : 6260 - 6270
  • [50] A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods
    Cervera, Mario
    Albert, Manoli
    Torres, Victoria
    Pelechano, Vicente
    [J]. NEW MODELING CONCEPTS FOR TODAY'S SOFTWARE PROCESSES, 2010, 6195 : 112 - 125