Collaborative Research: Unification of Verification and Validation Methods for Software Systems

该项目的基本目标是提高软件系统的可靠性和安全性。 计算机系统越来越多地在安全和安全关键系统中承担关键角色，并且软件系统的复杂性也在增加，因为它们包括并发性、并行性和分布式功能。 几乎所有的病毒、蠕虫、安全攻击和设备故障都是由于软件设计或实现中的缺陷造成的，而这些缺陷是用零碎的V & V方法无法检测到的。 该项目将制定一个统一和全面的方法来验证和确认（V V）的软件系统。这一综合方法将包括对功能特性和非功能特性（如性能）的验证和确认。 迄今为止，还没有对这些方法和工具的协同作用和重叠之处进行全面分析，更不用说采取一种利用协同作用和互补性的统一的验证和确认办法。 一个系统的综合和统一的软件系统的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.