非正式控制代码逻辑

摘要：

一般定义以及推理规则有关控制代码的生产，分布，部署和使用进行了说明。考虑了测试、信任、信心和风险分析的作用。寻求控制代码测试的基本原理，并发现安全关键嵌入式控制代码的情况。

英文摘要：

General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found for the case of safety critical embedded control code.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。