An auto-review tool for model-based testing of safety-critical systems

Atit Mishra, M. Rao, C. Chethan, V. Rao, Y. Jeppu, N. Murthy
{"title":"An auto-review tool for model-based testing of safety-critical systems","authors":"Atit Mishra, M. Rao, C. Chethan, V. Rao, Y. Jeppu, N. Murthy","doi":"10.1145/2489280.2489294","DOIUrl":null,"url":null,"abstract":"Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their requirement coverage (High/Low level) analysis and justified discrepancies (if any) are the primary objectives that must be satisfied. Manual reviews are the most common methods for achieving these objectives. This paper consolidates some of the past experiences of conducting manual reviews in the flight control software V&V for a commercial aircraft program. Through them a clear need and scope for automating portions of manual review is identified. This led to the development of an Auto Review Tool (ART) which is qualified for claiming the certification credits. All the necessary documents such as Tool’s Operational Requirement (TOR), Tool Qualification Plan (TQP) and Tool Assessment Summary (TAS) are prepared. The paper presents the tool development process beginning with defining a library of Input/Output relation based functions for different control blocks, parser development and qualification activity that were performed by an independent testing team.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"JAMAICA 2013","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2489280.2489294","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

Abstract

Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their requirement coverage (High/Low level) analysis and justified discrepancies (if any) are the primary objectives that must be satisfied. Manual reviews are the most common methods for achieving these objectives. This paper consolidates some of the past experiences of conducting manual reviews in the flight control software V&V for a commercial aircraft program. Through them a clear need and scope for automating portions of manual review is identified. This led to the development of an Auto Review Tool (ART) which is qualified for claiming the certification credits. All the necessary documents such as Tool’s Operational Requirement (TOR), Tool Qualification Plan (TQP) and Tool Assessment Summary (TAS) are prepared. The paper presents the tool development process beginning with defining a library of Input/Output relation based functions for different control blocks, parser development and qualification activity that were performed by an independent testing team.
用于安全关键系统的基于模型的测试的自动审查工具
验证测试程序和测试用例(TP, TC)是在开发安全关键飞行控制系统软件时实现RTCA/DO-178B/C合规目标的重要过程阶段。这些结果的正确性,它们的需求覆盖(高/低级别)分析和合理的差异(如果有的话)是必须满足的主要目标。手工评审是实现这些目标的最常用方法。本文总结了以往对某商用飞机飞行控制软件V&V进行人工评审的一些经验。通过它们,确定了手动审查部分自动化的清晰需求和范围。这导致了自动审查工具(ART)的开发,该工具有资格申请认证学分。准备好所有必要的文件,如《刀具使用要求》(TOR)、《刀具确认计划》(TQP)和《刀具评估总结》(TAS)。本文介绍了工具开发过程,首先定义了一个基于输入/输出关系的函数库,用于不同的控制块、解析器开发和由独立测试团队执行的鉴定活动。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信