SOFL基于形式化规范编程的需求相关故障预防机制

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI:10.1109/QRS-C57518.2022.00060

Jiandong Li, Shaoying Liu

{"title":"SOFL基于形式化规范编程的需求相关故障预防机制","authors":"Jiandong Li, Shaoying Liu","doi":"10.1109/QRS-C57518.2022.00060","DOIUrl":null,"url":null,"abstract":"Fault prevention is important for software quality assurance. In this paper, we propose an approach for software fault prevention. The fault prevention effect is achieved by means of inferring correct order of implementing components in the formal specification, and automatic code generation for various components or fragments of components in a SOFL specification. The expected effect of the proposed approach is to provide guidance to programmers in formal specification-based programming, enhance their productivity and help them reduce the risk of introducing faults into software.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming\",\"authors\":\"Jiandong Li, Shaoying Liu\",\"doi\":\"10.1109/QRS-C57518.2022.00060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Fault prevention is important for software quality assurance. In this paper, we propose an approach for software fault prevention. The fault prevention effect is achieved by means of inferring correct order of implementing components in the formal specification, and automatic code generation for various components or fragments of components in a SOFL specification. The expected effect of the proposed approach is to provide guidance to programmers in formal specification-based programming, enhance their productivity and help them reduce the risk of introducing faults into software.\",\"PeriodicalId\":183728,\"journal\":{\"name\":\"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QRS-C57518.2022.00060\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QRS-C57518.2022.00060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

故障预防对于软件质量保证非常重要。本文提出了一种软件故障预防方法。通过推断正式规范中组件的正确实现顺序，以及SOFL规范中各个组件或组件片段的自动代码生成，达到故障预防的效果。所提出的方法的预期效果是在正式的基于规范的编程中为程序员提供指导，提高他们的生产力，并帮助他们减少将错误引入软件的风险。

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

查看原文本刊更多论文

Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming

Fault prevention is important for software quality assurance. In this paper, we propose an approach for software fault prevention. The fault prevention effect is achieved by means of inferring correct order of implementing components in the formal specification, and automatic code generation for various components or fragments of components in a SOFL specification. The expected effect of the proposed approach is to provide guidance to programmers in formal specification-based programming, enhance their productivity and help them reduce the risk of introducing faults into software.

求助全文

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

来源期刊

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)

自引率

0.00%

发文量