一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法  

Method to Automatic Testcase Generation toward Safety Critical Scenarios of Cyber-physical Systems

作　　者：姜鹏[1,2] 陈鑫[1,2] 李宣东[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210046 [2]南京大学计算机科学与技术系,南京210046

出　　处：《计算机科学》2014年第11期124-127,161,共5页Computer Science

摘　　要：对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。Effectively testing safety-critical scenarios is an important means to improve security of cyber-physical systems.How to model safety critical scenarios so that the behavior of systems can be completely and precisely described,and how to effectively generate test cases so as to enhance the test coverage and reduce testing cost,are two key technical problems that must be solved in safety-critical scenarios’ testing.Existing scenario modeling and test case generation techniques lack the support to describing and treating the important features of cyber-physical systems,thus they can’t generate test cases satisfying the testing requirements of the safety critical scenarios.We studied modeling and test case generation methods to safety critical scenarios in cyber-physical systems.A method that satisfies the requirement for modeling safety-critical scenarios by extending UML activity diagram with external event driven mechanism and timeliness characterizing mechanism was proposed.Then based on the scenario models,we studied a method to automatically generate test cases.

关 键 词：信息物理融合系统 安全攸关场景 测试用例自动生成 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]