1 A Framework for Measurement Valérie Paulus, Miguel Lopez, Gregory Seront, Simon Alexandre.

Slides:



Advertisements
Similar presentations
Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Ch:8 Design Concepts S.W Design should have following quality attribute: Functionality Usability Reliability Performance Supportability (extensibility,
CS 355 – Programming Languages
© Copyright 2008, SoftWell Performance AB 1 Performance Testing Distributed Systems Concepts and Terminology v0.6.1.
The Comparison of the Software Cost Estimating Methods
Software Metrics II Speaker: Jerry Gao Ph.D. San Jose State University URL: Sept., 2001.
1 On the Pertinence of the Notion of Etalon (Standard) for Software Measure Valérie Paulus, Miguel Lopez, Gregory Seront, Simon Alexandre.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
1 These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 5/e and are provided with permission by.
C SC 520 Principles of Programming Languages 1 C SC 520: Principles of Programming Languages Peter J. Downey Department of Computer Science Spring 2006.
Amirkabir University of Technology, Computer Engineering Faculty, Intelligent Systems Laboratory,Requirements Engineering Course, Dr. Abdollahzadeh 1 Goal.
The Software Product Life Cycle. Views of the Software Product Life Cycle  Management  Software engineering  Engineering design  Architectural design.
MCA –Software Engineering Kantipur City College. Topics include  Formal Methods Concept  Formal Specification Language Test plan creation Test-case.
SAS_06_STOL_Tool_Cooper Automated Systems Test and Operations Language (STOL) Analysis Tool Jason G. Cooper July 20, 2006.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 Formal Specification.
10 December, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: DPM Meta model CWA1Page 1.
Analysis and construction of software measures Jean-Marc Desharnais.
Behaviour-Preserving Model Transformation Arend Rensink, University of Twente IPA Spring Days, 18 April 2012.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.
Unit 2: Engineering Design Process
Section 02Systems Documentation1 02 Systems Documentation And Franchise Colleges By MANSHA NAWAZ.
1 Introduction to Modeling Languages Striving for Engineering Precision in Information Systems Jim Carpenter Bureau of Labor Statistics, and President,
ITEC224 Database Programming
Conceptual design of web application families: the BWW approach OOPSLA th Workshop on Domain-Specific Modeling October 22, 2006 Oregon Convention.
Software Models (Cont.) 9/22/2015ICS 413 – Software Engineering1 -Component-based software engineering -Formal Development Model.
ITEC 3220M Using and Designing Database Systems
Victor Eijkhout and Erika Fuentes, ICL, University of Tennessee SuperComputing 2003 A Proposed Standard for Numerical Metadata.
Measuring UML Conceptual Modeling Quality Samira SI-SAID CHERFI* Jacky AKOKA* Isabelle COMYN-WATTIAU* * CEDRIC - CNAM – Paris (France)
On the Representation of Intangible Objects such as Software in a Measurement Context Miguel Lopez Valérie Paulus Grégory Seront Simon Alexandre.
Assessing Quality for Integration Based Data M. Denk, W. Grossmann Institute for Scientific Computing.
Software development process ธนวัฒน์ แซ่ เอียบ. The development process Process –set of rules which define how a development project. Methodology and.
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
1 Chapter 15 Product Metrics for Software Software Engineering: A Practitioner’s Approach, 6th edition by Roger S. Pressman.
Chapter 9 요구사항 모델링: 시나리오 기반 방법론 Requirements Modeling: Scenario-Based Methods 임현승 강원대학교 Revised from the slides by Roger S. Pressman and Bruce R. Maxim.
Ioana Sora, Gabriel Glodean, Mihai Gligor Department of Computers Politehnica University of Timisoara Software Architecture Reconstruction: An Approach.
WXGE6103 Software Engineering Process and Practice Formal Specification.
Lecture Topics covered CMMI- - Continuous model -Staged model PROCESS PATTERNS- -Generic Process pattern elements.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
1 Introduction to Software Engineering Lecture 1.
ES Model development Dr. Ahmed Elfaig The ES attempts to predict results from available information, data and knowledge The model should be able to infer.
Exploiting Context Analysis for Combining Multiple Entity Resolution Systems -Ramu Bandaru Zhaoqi Chen Dmitri V.kalashnikov Sharad Mehrotra.
1 740f02presentations23 A Survey on Software Architecture Analysis Methods Liliana Bobrica and Eila Niemela IEEE TOSE July 02.
CS532 TERM PAPER MEASUREMENT IN SOFTWARE ENGINEERING NAVEEN KUMAR SOMA.
Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor.
ICT EMMSAD’05 13/ Assessing Business Process Modeling Languages Using a Generic Quality Framework Anna Gunhild Nysetvold* John Krogstie *, § IDI,
1 Software Engineering: A Practitioner’s Approach, 6/e Chapter 15a: Product Metrics for Software Software Engineering: A Practitioner’s Approach, 6/e Chapter.
1 These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 5/e and are provided with permission by.
Parastoo Mohagheghi 1 A Multi-dimensional Framework for Characterizing Domain Specific Languages Øystein Haugen Parastoo Mohagheghi SINTEF, UiO 21 October.
Problem solving in control of discrete-event systems Lenko Grigorov and Karen Rudie Queen’s University Kingston, Canada.
West Virginia University Sherif Yacoub, Hany H. Ammar, and Ali Mili A UML Model for Analyzing Software Quality Sherif Yacoub, Hany H. Ammar, and Ali Mili.
NASA Software Assurance Symposium 2001 Metrics for Fault-Tolerant Real-Time Software Afzel Noore Computer Science and Electrical Engineering West Virginia.
Software Measurement: A Necessary Scientific Basis By Norman Fenton Presented by Siv Hilde Houmb Friday 1 November.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 6/e and are provided with permission by.
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Lecture №4 METHODS OF RESEARCH. Method (Greek. methodos) - way of knowledge, the study of natural phenomena and social life. It is also a set of methods.
OBJECT-ORIENTED DESIGN JEAN SIMILIEN. WHAT IS OBJECT-ORIENTED DESIGN? Object-oriented design is the process of planning a system of interacting objects.
Emilia Mendes Professora Visitante CAPES/ Associate Professor Univ. Auckland, NZ. Introdução a Métricas, Qualidade e Medição de Software.
Analysis Classes Unit 5.
A Hierarchical Model for Object-Oriented Design Quality Assessment
DT249/4 Information Systems Engineering Lecture 0
WELCOME TO COSRI IBADAN
Mathematical Competencies A Framework for Mathematics Curricula in Engineering Education SEFI MWG Steering committee Burkhard ALPERS, Marie DEMLOVÁ,
The Basic of Measurement
Chapter 9 Requirements Modeling: Scenario-Based Methods
Requirement Analysis using
Chapter 19 Technical Metrics for Software
Goal-Driven Continuous Risk Management
Goal-Driven Software Measurement
Presentation transcript:

1 A Framework for Measurement Valérie Paulus, Miguel Lopez, Gregory Seront, Simon Alexandre

Workshop on Software Metrics Validation - 6th of July Presentation of the Framework Aim of the framework : –To highlight the different activities involved in the process –To highlight the different products related to these activities –To organize the activities to undertake to achieve a measurement task –To understand and evaluate the existing structure The work is based on : –The process model proposed by Abran & Jacquet (1997) –The validation framework of Kitchenham & al (1995) –The validation approach proposed by Lopez & al (2003) –The vocabulary of metrology proposed by ISO (1993) Allows to refine knowledge we have on the attribute to measure by the possibility to come back to the beginning of the process

Workshop on Software Metrics Validation - 6th of July Presentation of the Framework Measurement Result Exploitation Measurement Method Design Measurement Method Application V&V

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design Measurement method takes place in an empirical situation The context of this situation has to be deeply defined Which parameters : –The goal of the measurement –The constraints of the measurement : oMaturity of our knowledge of the attribute to measure oExisting measuring instrument oUsed measuring instrument o…

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design To elaborate a model that represents the knowledge of practitioners about the entity and the attribute under consideration To make operational the intuitive view practitioners have Traditional view : –A set of entities [A] –A collection of binary relation [R i ] –A collection of operators [O i ] Incomplete for practical measurement method –What about ordering the elements of the set A ? –What about operation, transitivity, strongly completeness ? We propose to base the design on formal and operational view by using the notion of meta model –See last presentation

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the meta-model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design The framework allows large spectrum of modelling languages and approaches Distinction is done between : –The modelling part –The modelling techniques The choice is made based on the essence of the attribute and the entity to measure

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design The goal of design phase is to build the model of the entity to measure But the constructed model of the entity has the aim to highlight the particular attribute to be measured The created abstraction aims to highlight the particular attribute to measure by ignoring others For example : –Coupling measure oBased on UML graph for OO programs –Complexity measure oGraph representation of algorithms –Functional size attribute in the Cosmic FFP oModelling of the FUR with highlighted processes

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design The entity is now well circumscribed We had to define the characteristics of the attribute to measure The attribute itself has to be well defined (it is not currently the case) –What’s coupling or complexity or size of programs ? Methods –Assertion of rules as transitivity, completeness, non negativity –To give a representational set of the entities and to order this set in the view of the attribute to measure ( done by experts) –To give the way the attribute is composed by other (if the attribute is a derived one)

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design Definition of measurement : –A mapping of the empirical world into a numerical one Definition of the mathematical structure –A set with a collection of defined operations on it –To do with the notion of scale and scaling transformation Mathematical structure includes operation –Notion of distance between elements Definition of actual values (for example the zero value) Definition of standards/etalons –See the presentation of Gregory

Workshop on Software Metrics Validation - 6th of July Measurement Method Design 1. Defining the context 2. Modelling the empirical model 1. Characterizing the model to be used 2. Characterizing the entity 3. Characterizing the attribute to be measured 3. Defining a numerical model 4. Defining mapping rules

Workshop on Software Metrics Validation - 6th of July Measurement Method Design Definition of the practical rules needed to map the empirical elements into the numerical world Define the operational process to follow to achieve the measurement For example : –Counting : what is kept or reject, how to count … –Calculation : rules of computing, definition of equation –Utilisation of instrument : description, calibration …

Workshop on Software Metrics Validation - 6th of July Measurement Method Application 1. Constructing a model of the entity to measure 2. Applying the measurement rules and calibration of the instrument

Workshop on Software Metrics Validation - 6th of July Measurement Result Exploitation Could include several aspects : –Measurement analysis oDetection of anomalies oAnalyse for the supposed usage –Quality prediction –Quality assessment –Quality control Allows the comparison of measurement on different programs

Workshop on Software Metrics Validation - 6th of July Validation and Verification Measurement Result Exploitation Measurement Method Design Measurement Method Application V&V

Workshop on Software Metrics Validation - 6th of July Questions ?