逻辑内置自测试相关论文