{"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}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
