摘要：在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。

摘要：针对导弹系统可测试性设计和故障诊断中的测试点选取问题,以相关性模型为基础,综合测试费用等因素提出了不同测试级别测试点优选方法和故障诊断策略。根据系统信号流关系建立拓扑有向图,得到相关性矩阵;根据测试点对故障检测、隔离或定位贡献大小及其费用的分析确定各测试点的价值度量。选择测试点,确定出优化的故障诊断策略。结果表明,用文中所提出的方法进行测试点优化选取,可以很好的满足不同测试级别的测试要求。