通过程序变异实现软件质量控制的一种实用方法

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis Pub Date : 1988-07-19 DOI:10.1109/WST.1988.5371

D. Wu, M. Hennell, D. Hedley, I. J. Riddell

{"title":"通过程序变异实现软件质量控制的一种实用方法","authors":"D. Wu, M. Hennell, D. Hedley, I. J. Riddell","doi":"10.1109/WST.1988.5371","DOIUrl":null,"url":null,"abstract":"A novel method of program mutation is presented that increases the feasibility, effectiveness, and efficiency of searching for those errors that have escaped the activities of Afterers and competent programmers. It is based on syntax direction and it is aided by the language semantics. This means that the scope of a program mutation (i.e. the mutation rules of the method) and its corresponding mutants are rigorously directed by a syntax and related semantics as defined by the tester. A paradigm for the mutation syntax and semantics when limited to Boolean expressions and the corresponding test coverage metrics are given.<<ETX>>","PeriodicalId":269073,"journal":{"name":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"A practical method for software quality control via program mutation\",\"authors\":\"D. Wu, M. Hennell, D. Hedley, I. J. Riddell\",\"doi\":\"10.1109/WST.1988.5371\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A novel method of program mutation is presented that increases the feasibility, effectiveness, and efficiency of searching for those errors that have escaped the activities of Afterers and competent programmers. It is based on syntax direction and it is aided by the language semantics. This means that the scope of a program mutation (i.e. the mutation rules of the method) and its corresponding mutants are rigorously directed by a syntax and related semantics as defined by the tester. A paradigm for the mutation syntax and semantics when limited to Boolean expressions and the corresponding test coverage metrics are given.<<ETX>>\",\"PeriodicalId\":269073,\"journal\":{\"name\":\"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WST.1988.5371\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WST.1988.5371","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 17

摘要

提出了一种新的程序突变方法，提高了搜索那些已经逃脱了后继者和有能力的程序员活动的错误的可行性、有效性和效率。它以语法方向为基础，辅以语言语义。这意味着程序突变的范围(即方法的突变规则)及其相应的突变是由测试人员定义的语法和相关语义严格指导的。给出了限定为布尔表达式时的突变语法和语义的范例以及相应的测试覆盖率度量

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A practical method for software quality control via program mutation

A novel method of program mutation is presented that increases the feasibility, effectiveness, and efficiency of searching for those errors that have escaped the activities of Afterers and competent programmers. It is based on syntax direction and it is aided by the language semantics. This means that the scope of a program mutation (i.e. the mutation rules of the method) and its corresponding mutants are rigorously directed by a syntax and related semantics as defined by the tester. A paradigm for the mutation syntax and semantics when limited to Boolean expressions and the corresponding test coverage metrics are given.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis

自引率

0.00%

发文量