一个有效的数组参考分析数据流测试

Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94) Pub Date : 1994-12-21 DOI:10.1109/STRQA.1994.526398

I. Forgács

{"title":"一个有效的数组参考分析数据流测试","authors":"I. Forgács","doi":"10.1109/STRQA.1994.526398","DOIUrl":null,"url":null,"abstract":"Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"An efficient array reference analysis for data flow testing\",\"authors\":\"I. Forgács\",\"doi\":\"10.1109/STRQA.1994.526398\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing.\",\"PeriodicalId\":125322,\"journal\":{\"name\":\"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-12-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/STRQA.1994.526398\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/STRQA.1994.526398","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

尽管提出了许多处理数组变量的数据流分析技术，但它们都局限于不同的编译器优化应用，并且没有给出精确的结果。提出了一种更精确地确定定义-使用(du)对的新方法，并给出了每个du对的程序路径。因此，这是第一种非常适用于数据流测试的数组分析技术。

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

查看原文本刊更多论文

An efficient array reference analysis for data flow testing

Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing.

求助全文

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

来源期刊

Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)

自引率

0.00%

发文量