嵌入式软件的下一代测试技术:抽象语义分析

The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576) Pub Date : 2004-10-24 DOI:10.1109/DASC.2004.1390726

C. Hote

{"title":"嵌入式软件的下一代测试技术:抽象语义分析","authors":"C. Hote","doi":"10.1109/DASC.2004.1390726","DOIUrl":null,"url":null,"abstract":"In this document, we discuss the power of abstract semantics analysis, a breakthrough technique that has been successfully applied to solve traditional software testing challenges in the embedded systems industry. This approach radically departs from conventional testing as it does not rely on random tests to analyze code robustness. The paper addresses what abstract semantics analysis is, how the technique works and why it is a more effective solution to run-time error detection and debugging.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Next generation testing tecrnique for embedded software: abstract semantics analysis\",\"authors\":\"C. Hote\",\"doi\":\"10.1109/DASC.2004.1390726\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this document, we discuss the power of abstract semantics analysis, a breakthrough technique that has been successfully applied to solve traditional software testing challenges in the embedded systems industry. This approach radically departs from conventional testing as it does not rely on random tests to analyze code robustness. The paper addresses what abstract semantics analysis is, how the technique works and why it is a more effective solution to run-time error detection and debugging.\",\"PeriodicalId\":422463,\"journal\":{\"name\":\"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)\",\"volume\":\"90 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.2004.1390726\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.2004.1390726","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在本文中，我们讨论了抽象语义分析的力量，这是一项突破性的技术，已成功地应用于解决嵌入式系统行业中传统的软件测试挑战。这种方法从根本上脱离了传统的测试，因为它不依赖于随机测试来分析代码的健壮性。本文阐述了什么是抽象语义分析，该技术是如何工作的，以及为什么它是运行时错误检测和调试的更有效的解决方案。

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

查看原文本刊更多论文

Next generation testing tecrnique for embedded software: abstract semantics analysis

In this document, we discuss the power of abstract semantics analysis, a breakthrough technique that has been successfully applied to solve traditional software testing challenges in the embedded systems industry. This approach radically departs from conventional testing as it does not rely on random tests to analyze code robustness. The paper addresses what abstract semantics analysis is, how the technique works and why it is a more effective solution to run-time error detection and debugging.

求助全文

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

来源期刊

The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)

自引率

0.00%

发文量