×

印度空间研究组织

swMATH ID: 7652
软件作者: 德万吉,阿努普;森古普塔,德巴西斯;查克拉博蒂,阿希斯·库马尔
说明: 软件可靠性的离散时间模型及其在飞控软件中的应用这项工作的动机是印度空间研究组织(ISRO)开发的飞行控制软件单元中的一个特定软件可靠性问题,在该软件单元中,软件测试分多个批次进行,每个批次包括几次运行。由于错误是在批内运行期间发现的,因此会记录这些错误,但不会立即进行调试;它们只在特定批运行结束时进行调试。在这项工作中,我们引入了一个适用于这种周期性调试计划的离散时间模型,并描述了模型参数的最大似然估计。该模型用于评估软件的可靠性。我们还开发了一种方法,以确定估计可靠性所需的额外无错误测试运行次数,从而以较高的概率实现特定目标。我们在ISRO的飞行控制软件上分析了测试数据。
主页: http://onlinelibrary.wiley.com/doi/10.1002/asmb.902/abstract
关键词: 模块;综合测试;定期调试;逻辑回归;平均故障时间;目标可靠性
相关软件:
引用于: 1文件

按年份列出的引文