摘要:模型检测技术因其自动化程度高和简洁明了的特点在软件测试的发展中占据重要地位。本文以某型对抗靶标为例,通过一种模型检测技术的检测逻辑、逻辑语义和检测算法,对该系统的相关特性进行研究。通过这种方法,我们可以对系统的可靠性和正确性进行有效评估,提升了测试效率,为测试工作的进一步优化奠定了良好的基础。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
相关文章
影响因子:0.91
期刊级别:统计源期刊
发行周期:半月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!