论文部分内容阅读
混成系统包含了连续组件以及离散组件两个部分,作为一种动态系统广泛应用于安全关键领域.然而,由于混成系统的结构复杂性,使得其测试数据的自动生成成为一个难点问题.随着形式化方法与测试技术的结合,基于形式化规约支持测试用例生成可以有效的指导混成系统测试.本文介绍了混成系统建模及测试技术,并指出了存在的问题及未来的研究方向，运用这种方法增加并发时间或者数据都会导致状态空间爆炸问题，因此可以考虑定义测试视角，即测试目标，对每一类测试目标产生一个可测的时间迁移系统(TTTS)，每个TTTS通过检查其路径等价性生成对应的测试序列，这种方法可以有效的覆盖缺陷。在混成系统的测试过程中，使用形式化的方法可以大大的提高测试效率及准确性，但也存在着相当多的问题。随着混成系统更加广泛的应用，需要更多更加有效的、高可靠的方法来评估混成系统。