构建可靠的系统:软件测试和分析

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI:10.1109/CMPSAC.1989.65136

J. Salasin

{"title":"构建可靠的系统:软件测试和分析","authors":"J. Salasin","doi":"10.1109/CMPSAC.1989.65136","DOIUrl":null,"url":null,"abstract":"Approaches and metrics useful in assuring reliable software, starting from the time at which requirements are defined, are discussed. This study provides the background for a discussion of technology and policy advances that are expected to greatly improve the ability to field the systems promised.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Building reliable systems: software testing and analysis\",\"authors\":\"J. Salasin\",\"doi\":\"10.1109/CMPSAC.1989.65136\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Approaches and metrics useful in assuring reliable software, starting from the time at which requirements are defined, are discussed. This study provides the background for a discussion of technology and policy advances that are expected to greatly improve the ability to field the systems promised.<<ETX>>\",\"PeriodicalId\":339677,\"journal\":{\"name\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"volume\":\"87 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1989.65136\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1989.65136","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

从定义需求的时间开始，讨论了在确保可靠软件方面有用的方法和度量。这项研究为讨论技术和政策的进步提供了背景，这些进步有望大大提高所承诺的系统的部署能力

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Building reliable systems: software testing and analysis

Approaches and metrics useful in assuring reliable software, starting from the time at which requirements are defined, are discussed. This study provides the background for a discussion of technology and policy advances that are expected to greatly improve the ability to field the systems promised.<>

求助全文

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

来源期刊

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference

自引率

0.00%

发文量

期刊最新文献

What are the 'carry over effects' in changing from a procedural to a declarative approach? Critical issues in real-time software systems Models to estimate the number of faults still resident in the software after test/debug process Evaluating software development environment quality Structuring large versioned software products