资源描述：
《using quality criteria in programming industry a case studynew》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、UsingQualityCriteriainProgrammingIndustry:ACaseStudyMartinBlom,EivindJ.Nordby,DonaldF.RossUniversityofKarlstade-mail:Martin.Blom@hks.seUniversityofKarlstad65188Karlstadfax:+4654838446ErlandJonssone-mail:jonsson@ce.chalmers.seChalmersUniversityofTechnol
2、ogyInstitutionenfordatorteknik,Horsalsvagen1141296GoteborgJune16,1998Neitherthispapernoranyversionclosetoithasbeenorisbeingo eredelsewhereforpublication.Allnecessaryclearanceshavebeenobtainedforthepublicationofthispaper.Ifaccepted,thepaperwillbemadeava
3、ilableinCamera-readyformsbyJune15th,1998,anditwillbepersonallypresentedattheEUROMICRO98Conferencebytheauthororoneoftheco-authors.Thepresentingauthor(s)willpre-registerforEUROMICRO98beforetheduedateoftheCamera-readypaper.MartinBlomAbstractSemanticaspect
4、sofprogramminghavebeenstudiedinacademiaformanyyearsasameanstoachievehighersoftwarequality.Itisnotcleartowhichextentthesehavebeenacceptedinprogrammingindustry.Therefore,wemadeacasestudyofanindustrialprojectusingachecklistofqualitycriteriaspeci callyprod
5、ucedforthisstudy.Theresultsfromthecasestudyshowthathighleveldocumentationandlowleveldocumentationissucient.However,therenosemanticdescriptionconstitutingagapbetweenthesetwo.Thisgap,whichconstitutesapotentialsourceoferrors,mustbe lledinordertosigni can
6、tlyimprovesoftwarequality.1IntroductionIntheearlyyearsofprogrammingthemainconcernwastodevelopsyntax,i.e.languageswithwhichyoucouldcommunicatewiththecomputer,butovertheyearstheconcernhasmovedovertosemanticissues[2,6].Inacademia,theoriesforsemanticcorrec
7、tnesshasbeenanimportantissueformanyyears[3,7].Webelieve,however,thatthereisalackofunderstandingofsemanticaspectsinprogrammingindustry.Toseeifthisassumptionholds,acasestudyofanindustrialprojectwasdone.1BertrandMeyerde nedasetofcriteriain[11]forachieving
8、semanticcorrectnessandbythatobtainingbetterprograms.Eventhoughthesecriteriaareusefulanddoimprovequality,theyarequiteextensive.Thegaininqualityisprobablynotlargeenoughtojustifytheoverheadintroducedbythem.Therefore,wehavede nedareducedset
