• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Dependable Systems and Their Applications >A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System
【24h】

A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System

机译：一种基于复杂设备系统混合模型的软件可靠性测试套件生成方法

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

As a large software-intensive system, the reliability of complex equipment system has a significant impact on the weapon equipment operational effectiveness and the battle field survival rate. Software testing profile is the difficult point in the software reliability testing. The existing theory of software reliability test profile can not respond to the needs of reliability test for complicated complex equipment system. In addition, it's lack of effective methods for generating test data. Hence, founded on the analysis of the software task features for complex equipment, we divide the task profile by combining Musa profile and Markov chain model based on hybrid model. Then we can get reliability test cases by combining the use cases defined by operational profile model and the Markov state transition model. As a result, the problems of huge task decomposition and multiple interactions incentive profile division for complicated complex equipment system are solved. Cases show that the generating test case framework has a good stability and there is no repeated phenomenon. What's more, this method combines the advantages of operational profile model and the Markov model. And it can be used to generate software reliability test.
机译：作为一个大型软件密集型系统，复杂设备系统的可靠性对武器设备运营效率和战斗场生存率产生了重大影响。软件测试配置文件是软件可靠性测试中的难点。现有的软件可靠性测试配置文件理论不能响应复杂复杂设备系统的可靠性测试的需求。此外，它还缺乏生成测试数据的有效方法。因此，建立在分析复杂设备的软件任务特征上，我们通过基于混合模型组合Musa简介和马尔可夫链模型来划分任务配置文件。然后，我们可以通过组合由操作简档模型和Markov状态转换模型定义的用例来获得可靠性测试用例。结果，解决了复杂复杂设备系统的巨大任务分解和多次交互激励剖面的问题。病例表明，发电测试案例框架具有良好的稳定性，并且没有重复的现象。更重要的是，该方法结合了操作简档模型和马尔可夫模型的优点。它可用于生成软件可靠性测试。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号