安全苛刻系统测试过程中高阶协同性和实时时序性研究

项目名称： 安全苛刻系统测试过程中高阶协同性和实时时序性研究

项目编号： No.61300007

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 吕江花

作者单位： 北京航空航天大学

项目金额： 23万元

中文摘要： 安全苛刻系统的可信需求典型而迫切。安全苛刻系统一般是复杂系统，其可信性问题具有测试依赖性，信息化和自动化测试手段是支撑安全苛刻系统可信性评估和验证的可靠保障。在已有实际工作和初步理论研究工作基础上，针对安全苛刻系统测试中被测产品结构和行为特点，研究被测产品建模方法，形式定义测试过程。在此基础上，针对安全苛刻系统测试过程中存在的高阶协同性、实时和时序性等特点，研究高阶协同、实时和时序的演算模型，刻画测试过程。以上述理论为基础，研究安全苛刻系统测试的通用测试语言，支持测试过程自动化，并支持语言具有独立于具体硬件设备的通用性；最后将通过建立原型系统进一步验证上述理论与方法的可行性和有效性。研究成果对于提高安全苛刻系统的测试效率，验证安全苛刻系统的可信性具有重要的理论价值和现实意义。

中文关键词： 自动化测试；形式化；模型检测；测试用例；测试语言

英文摘要： The trustworthiness is crucial for safety-critical systems (SCS), and their testing plays a decisive role in evaluating and verifying the trustworthiness of SCS. While SCS are usually complex and dramatically huge, in fact testing SCS manually is unfeasible in practice. As a result automatic testing SCS has become an essential way to ensure the trustworthiness of SCS. Based on our existing research work, aims at structures and behaviors of products under test in SCS, Model of products under test is studied to formally describe states of products under test and define the procedure of test.Then aims at high order collaboration, real-time and temporal characteristics in the process of SCS testing, theories and methods of SCS automatic test are researched, and a formal model is brought up to describe these characteristics in the testing process of SCS, and the model's convergency and correctness are reasoned. Following, a testing language is put forward to implement the automation of SCS testing, and the language is general in the point that it is independent of products under test and testing equipments during SCS testing. At last, a prototype system is designed and implemented to verify the theories and methods advanced. The contribution is helpful to improve testing of SCS and is of advantage to support verifyin

英文关键词： automatic test；formalization；modelchecking；test case；test language