{"title":"在飞行关键软件测试环境中结合商业计算机辅助软件工程工具的经验教训","authors":"J. Hagar","doi":"10.1109/DASC.1996.559145","DOIUrl":null,"url":null,"abstract":"In flight critical, software intensive, avionics systems, a major technical and managerial component is the testing and analysis of the developed software. In many of these systems the software must be \"ultra-reliable\" (work the first time and every time) and produced within schedule and budget. In this paper, we will examine how an existing successful software verification and validation project incorporated commercial computer aided software engineering (CASE) tools. The paper examines the original approach, how CASE and new tool concepts have been incorporated within this approach, and some observed impacts to cost and quality. A final section identifies the challenges that were faced during development of the test system.","PeriodicalId":332554,"journal":{"name":"15th DASC. AIAA/IEEE Digital Avionics Systems Conference","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1996-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Lessons learned from incorporation of commercial computer aided software engineering tools in a flight critical software test environment\",\"authors\":\"J. Hagar\",\"doi\":\"10.1109/DASC.1996.559145\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In flight critical, software intensive, avionics systems, a major technical and managerial component is the testing and analysis of the developed software. In many of these systems the software must be \\\"ultra-reliable\\\" (work the first time and every time) and produced within schedule and budget. In this paper, we will examine how an existing successful software verification and validation project incorporated commercial computer aided software engineering (CASE) tools. The paper examines the original approach, how CASE and new tool concepts have been incorporated within this approach, and some observed impacts to cost and quality. A final section identifies the challenges that were faced during development of the test system.\",\"PeriodicalId\":332554,\"journal\":{\"name\":\"15th DASC. AIAA/IEEE Digital Avionics Systems Conference\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-10-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"15th DASC. AIAA/IEEE Digital Avionics Systems Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.1996.559145\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"15th DASC. AIAA/IEEE Digital Avionics Systems Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1996.559145","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Lessons learned from incorporation of commercial computer aided software engineering tools in a flight critical software test environment
In flight critical, software intensive, avionics systems, a major technical and managerial component is the testing and analysis of the developed software. In many of these systems the software must be "ultra-reliable" (work the first time and every time) and produced within schedule and budget. In this paper, we will examine how an existing successful software verification and validation project incorporated commercial computer aided software engineering (CASE) tools. The paper examines the original approach, how CASE and new tool concepts have been incorporated within this approach, and some observed impacts to cost and quality. A final section identifies the challenges that were faced during development of the test system.