Open Source Quality Project个人感想:应积极关注OSQP方法论与工具实现研究,克服开源系统的不足,开展开源系统科学与工程研究,为开源成果的大规模应用作一些基础性研究工作,提倡社区项目的规范化运作。 Introduction This project investigates techniques and tools for assuring software quality: finding and removing defects in software systems, as well as improving current methodology for designing high-quality software systems at the outset. The project consists of both experimental and theoretical components. The experimental effort is focused on designing and building tools to improve the quality of Open Source software. Open Source is attractive as a research vehicle in software quality because of the critical role it plays in the nation's economy and precisely because it has the unique feature that it is a real-world system that is completely open and available for study. Because of the Open Source tradition of incorporating useful new techniques and tools into the Open Source environment, there is also an opportunity for direct and widespread impact. The foundational work in this project combines expertise in the three branches of the discipline of the analysis of software: formal verification and theorem proving, model checking, and large-scale software analysis. These three areas have developed rapidly in recent years, seeing both significant theoretical and practical advances. A central thesis of this project is that significant further advances are possible by bringing together these areas to work on a common set of problems. http://osq.cs.berkeley.edu/ |
|小黑屋|最新主题|手机版|微赢网络技术论坛 ( 苏ICP备08020429号 )
GMT+8, 2024-9-30 11:41 , Processed in 0.116323 second(s), 12 queries , Gzip On, MemCache On.
Powered by Discuz! X3.5
© 2001-2023 Discuz! Team.