响应式软件的可测试性分析

First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings. Pub Date : 2004-11-02 DOI:10.1109/IWOTA.2004.1428409

Thanh Binh Nguyen, C. Robach, M. Delaunay

{"title":"响应式软件的可测试性分析","authors":"Thanh Binh Nguyen, C. Robach, M. Delaunay","doi":"10.1109/IWOTA.2004.1428409","DOIUrl":null,"url":null,"abstract":"This paper is about testability analysis for reactive software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of reactive software, such as avionics software. We first propose the transformation of the source code generated from data-flow designs into the static single assignment (SSA) form; then we describe the algorithm to automatically translate the SSA form into a testability model. Thus, analyzing the testability model can allow the detection of the software parts which induce a testability weakness.","PeriodicalId":120954,"journal":{"name":"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Testability analysis of reactive software\",\"authors\":\"Thanh Binh Nguyen, C. Robach, M. Delaunay\",\"doi\":\"10.1109/IWOTA.2004.1428409\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper is about testability analysis for reactive software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of reactive software, such as avionics software. We first propose the transformation of the source code generated from data-flow designs into the static single assignment (SSA) form; then we describe the algorithm to automatically translate the SSA form into a testability model. Thus, analyzing the testability model can allow the detection of the software parts which induce a testability weakness.\",\"PeriodicalId\":120954,\"journal\":{\"name\":\"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-11-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWOTA.2004.1428409\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWOTA.2004.1428409","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文主要研究响应式软件的可测试性分析。我们描述了撒旦方法的一个应用，该方法允许测量数据流设计的可测试性，以分析响应性软件(如航空电子软件)源代码的可测试性。我们首先提出将数据流设计生成的源代码转换为静态单赋值(SSA)形式;然后描述了将SSA表单自动转换为可测试性模型的算法。因此，分析可测试性模型可以检测出导致可测试性缺陷的软件部分。

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

查看原文本刊更多论文

Testability analysis of reactive software

This paper is about testability analysis for reactive software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of reactive software, such as avionics software. We first propose the transformation of the source code generated from data-flow designs into the static single assignment (SSA) form; then we describe the algorithm to automatically translate the SSA form into a testability model. Thus, analyzing the testability model can allow the detection of the software parts which induce a testability weakness.

求助全文

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

来源期刊

First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings.

自引率

0.00%

发文量