Verification based Development Process for improving Reliability of Open Feedback System

摘要

The paper relates generally to an open feedback system, which are capable of providing multiple anonymous users with content based on open source and allowing the content of multiple users to be smoothly modified and shared. Specially, the open feedback system is very important to establish a process of rapidly and accurately performing a series of processes of releasing, obtaining, and reviewing software improved by users. For this purpose, an open feedback system also needs to be systematically constructed based on the established process. We propose verification based process and software architecture for improving reliability of open feedback system.