作者:吕笑慰 王华茂 闫金栋航天器测试状态流状态图模型测试生成算法
摘要:为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《航天器工程》(CN:11-5574/V)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 28971 评论 52
北大期刊、CSCD期刊、统计源期刊
人气 18698 评论 41
人气 15139 评论 54
人气 14385 评论 46