{"title":"光泽项目结构覆盖的自动测量:一个案例研究","authors":"A. Lakehal, I. Parissis","doi":"10.1109/AST.2007.3","DOIUrl":null,"url":null,"abstract":"Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Scade is a commercial tool-suite based on this language. We have proposed recently test coverage criteria for Lustre/Scade programs. The coverage assessment is fully automated and has been integrated in a prototype tool, Lustructu. This tool analyzes Lustre programs and extracts the conditions that a test input sequence must verify in order to meet a criterion. The associated measures are fully automated and non-intrusive. In this paper we present a case study that applies the coverage criteria to an alarm management software specification developed in Scade. The case study is used to illustrate the defined criteria as well as to evaluate their applicability and usefulness.","PeriodicalId":211341,"journal":{"name":"Second International Workshop on Automation of Software Test (AST '07)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study\",\"authors\":\"A. Lakehal, I. Parissis\",\"doi\":\"10.1109/AST.2007.3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Scade is a commercial tool-suite based on this language. We have proposed recently test coverage criteria for Lustre/Scade programs. The coverage assessment is fully automated and has been integrated in a prototype tool, Lustructu. This tool analyzes Lustre programs and extracts the conditions that a test input sequence must verify in order to meet a criterion. The associated measures are fully automated and non-intrusive. In this paper we present a case study that applies the coverage criteria to an alarm management software specification developed in Scade. The case study is used to illustrate the defined criteria as well as to evaluate their applicability and usefulness.\",\"PeriodicalId\":211341,\"journal\":{\"name\":\"Second International Workshop on Automation of Software Test (AST '07)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Second International Workshop on Automation of Software Test (AST '07)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AST.2007.3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Second International Workshop on Automation of Software Test (AST '07)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AST.2007.3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Scade is a commercial tool-suite based on this language. We have proposed recently test coverage criteria for Lustre/Scade programs. The coverage assessment is fully automated and has been integrated in a prototype tool, Lustructu. This tool analyzes Lustre programs and extracts the conditions that a test input sequence must verify in order to meet a criterion. The associated measures are fully automated and non-intrusive. In this paper we present a case study that applies the coverage criteria to an alarm management software specification developed in Scade. The case study is used to illustrate the defined criteria as well as to evaluate their applicability and usefulness.