開(kāi)源質(zhì)量工程（OSQP）

fuqiang_huang

Open Source Quality Project個(gè)人感想:應(yīng)積極關(guān)注OSQP方法論與工具實(shí)現(xiàn)研究，克服開(kāi)源系統(tǒng)的不足，開(kāi)展開(kāi)源系統(tǒng)科學(xué)與工程研究，為開(kāi)源成果的大規(guī)模應(yīng)用作一些基礎(chǔ)性研究工作，提倡社區(qū)項(xiàng)目的規(guī)范化運(yùn)作。
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/
               
               
               

本文來(lái)自ChinaUnix博客，如果查看原文請(qǐng)點(diǎn)：http://blog.chinaunix.net/u/20518/showart_1280771.html