一种支持软件可信演化的构件模型 | AMiner