Collaborative Research: CSR---AES: Unification of Validation and Verification Methods

该项目的根本目标是提高软件系统的可靠性和安全性。计算机系统在安全和安全关键系统中扮演着越来越重要的角色，软件系统的复杂性也在增加，因为它们包括并发性、并行性和分布式功能。几乎所有的病毒、蠕虫、安全攻击和设备故障都是由于软件设计或实现中的缺陷，而这些缺陷是零敲碎打的V&A；V；方法无法检测到的。该项目将制定一种统一和全面的方法来验证和确认软件系统(V&amp；V)。这一综合方法将包括对功能属性和非功能属性(如性能)的验证和确认。到目前为止，还没有对这些方法和工具的协同效应和重叠进行全面分析，更不用说利用协同效应和互补性来处理V&A；V；V；该项目将通过计算机科学的几个主要分支学科的协同研究和整合，对软件系统的V&A；V；V方法进行系统的综合和统一。

This project's fundamental goal is to increase the reliability and security of software systems. Computer systems are increasingly assuming critical roles in safety- and security-critical systems, and software systems are increasing in complexity as they include concurrency, parallelism, and distributed functionality. Almost all viruses, worms, security attacks, and equipment malfunctions are due to flaws in software design or implementation that were not detected with piecemeal V&V methods. The project will develop a unified and comprehensive approach to the verification and validation (V&V) of software systems. This comprehensive approach will incorporate verification and validation of both functional properties and non-functional properties, such as performance. Todate, there does not exist a comprehensive analysis of the synergisms and overlaps of these methods and tools, much less a unified approach to V&V that exploits both synergisms and complementarities. A systematic synthesis and unification of V&V methods for software systems, will be pursued in this project, by synergistic research and integration of several major sub-disciplines of computer science.