基于混合模型的复杂装备系统软件可靠性测试套件生成方法

Yin Li, Zhi-an Sun, Ting-Ting Jiang
{"title":"基于混合模型的复杂装备系统软件可靠性测试套件生成方法","authors":"Yin Li, Zhi-an Sun, Ting-Ting Jiang","doi":"10.1109/DSA.2017.32","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":436097,"journal":{"name":"International Conferences on Dependable Systems and Their Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System\",\"authors\":\"Yin Li, Zhi-an Sun, Ting-Ting Jiang\",\"doi\":\"10.1109/DSA.2017.32\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":436097,\"journal\":{\"name\":\"International Conferences on Dependable Systems and Their Applications\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conferences on Dependable Systems and Their Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DSA.2017.32\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conferences on Dependable Systems and Their Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DSA.2017.32","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Architecture of Security Protection technology for Aviation Cyberspace The Airborne Information Processing System Development Research Software Defect Classification Approach Based on the Modified Latent Dirichlet Allocation Topic Model Considering the Domain Characters Peacekeeping Equipment Support Spare Parts Demand Forecast Multimodal Feature Fusion Recognition of Modulated Signals Based on Image and Waveform Domain
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1