具有高级决策图的突变分析

2010 11th Latin American Test Workshop Pub Date : 2010-03-28 DOI:10.1109/LATW.2010.5550336

Hanno Hantson, J. Raik, M. Jenihhin, A. Chepurov, R. Ubar, G. D. Guglielmo, F. Fummi

{"title":"具有高级决策图的突变分析","authors":"Hanno Hantson, J. Raik, M. Jenihhin, A. Chepurov, R. Ubar, G. D. Guglielmo, F. Fummi","doi":"10.1109/LATW.2010.5550336","DOIUrl":null,"url":null,"abstract":"The paper presents a new tool for mutation analysis using the system model of high-level decision diagrams (HLDD). The tool is integrated into the APRICOT verification environment. It is based on HLDD simulation and graph perturbation. A strategy that relies on a restricted set of five key mutation operators is developed in order to speed up the mutation analysis. Experiments on several ITC99 benchmarks and an industrial example show the feasibility of the mutation analysis approach.","PeriodicalId":358177,"journal":{"name":"2010 11th Latin American Test Workshop","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Mutation analysis with high-level decision diagrams\",\"authors\":\"Hanno Hantson, J. Raik, M. Jenihhin, A. Chepurov, R. Ubar, G. D. Guglielmo, F. Fummi\",\"doi\":\"10.1109/LATW.2010.5550336\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper presents a new tool for mutation analysis using the system model of high-level decision diagrams (HLDD). The tool is integrated into the APRICOT verification environment. It is based on HLDD simulation and graph perturbation. A strategy that relies on a restricted set of five key mutation operators is developed in order to speed up the mutation analysis. Experiments on several ITC99 benchmarks and an industrial example show the feasibility of the mutation analysis approach.\",\"PeriodicalId\":358177,\"journal\":{\"name\":\"2010 11th Latin American Test Workshop\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-03-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 11th Latin American Test Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LATW.2010.5550336\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 11th Latin American Test Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LATW.2010.5550336","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

本文提出了一种利用高层决策图系统模型进行突变分析的新工具。该工具集成到APRICOT验证环境中。它是基于HLDD仿真和图摄动的。为了提高突变分析的速度，提出了一种依赖于5个关键突变算子的限制性策略。在几个ITC99基准测试和一个工业实例上的实验表明了突变分析方法的可行性。

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

查看原文本刊更多论文

Mutation analysis with high-level decision diagrams

The paper presents a new tool for mutation analysis using the system model of high-level decision diagrams (HLDD). The tool is integrated into the APRICOT verification environment. It is based on HLDD simulation and graph perturbation. A strategy that relies on a restricted set of five key mutation operators is developed in order to speed up the mutation analysis. Experiments on several ITC99 benchmarks and an industrial example show the feasibility of the mutation analysis approach.

求助全文

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

来源期刊

2010 11th Latin American Test Workshop

自引率

0.00%

发文量