{"title":"在测量程序中引入严格的度量规范和验证","authors":"F. Maurice, A. Benzekri, Y. Raynaud","doi":"10.1109/METRICS.1997.10005","DOIUrl":null,"url":null,"abstract":"A methodology including the essential steps for any software measurement activity is described. Based on previous and original works, this methodology allows to specify, verify and validate metrics. Related to a defined goal, metrics are specified using a formal notation and then verified. Validating predictive metrics is a crucial task for any goal aiming at improving software processes or products. Potential issues and precautions that must be taken during the validation phase are presented. In order to illustrate the defined approach, an industrial application of the methodology is presented.","PeriodicalId":282231,"journal":{"name":"IEEE METRICS","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Introducing Rigorous Metrics Specification and Verification into a Measurement Program\",\"authors\":\"F. Maurice, A. Benzekri, Y. Raynaud\",\"doi\":\"10.1109/METRICS.1997.10005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A methodology including the essential steps for any software measurement activity is described. Based on previous and original works, this methodology allows to specify, verify and validate metrics. Related to a defined goal, metrics are specified using a formal notation and then verified. Validating predictive metrics is a crucial task for any goal aiming at improving software processes or products. Potential issues and precautions that must be taken during the validation phase are presented. In order to illustrate the defined approach, an industrial application of the methodology is presented.\",\"PeriodicalId\":282231,\"journal\":{\"name\":\"IEEE METRICS\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-11-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE METRICS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/METRICS.1997.10005\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE METRICS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/METRICS.1997.10005","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Introducing Rigorous Metrics Specification and Verification into a Measurement Program
A methodology including the essential steps for any software measurement activity is described. Based on previous and original works, this methodology allows to specify, verify and validate metrics. Related to a defined goal, metrics are specified using a formal notation and then verified. Validating predictive metrics is a crucial task for any goal aiming at improving software processes or products. Potential issues and precautions that must be taken during the validation phase are presented. In order to illustrate the defined approach, an industrial application of the methodology is presented.