摘要：
3 历史 20世纪90年代是C++等面向对象语言发展的时代。由于所开发的系统复杂难懂，导致系统部署后面临设计和分析问题。很难向他人解释系统。 UML一经问世，许多改变游戏规则的实验和方法便应运而生，从而简化了分析系统的艰巨任务。 UML 是一种面向对象的统一建模语言。它是由Rational软件公司杰 阅读全文
摘要：
1 简介 主要：UML图表简介、UML符号、关系、类图、对象图、用例图、状态机图、组件图、部署图和UML工具。 1.2 什么是UML？ UML是统一建模语言（Unified Modeling Language）的缩写。它是一种标准，主要用于为现实世界中的任何软件系统创建面向对象、有意义的文档模型。它 阅读全文
摘要：
4 自动重现和分析嵌入式软件中的Bug 4.1 引言 嵌入式软件的重要性逐年增加。ISO26262标准的最高安全级别要求十个9小时内无故障运行。然而，历史上的一些项目表明，即使进行了全面的测试，多年来仍有许多错误未被发现。航天飞机的控制计算机仅有50万行源代码，却经过了长达8年的测试，每行源代码耗资 阅读全文
摘要：
1 安全概念 安全就是降低风险。 一方面所有者，即产品或服务的受益者（用户、制造商、企业主等）。所有者希望保护资产，即产品或服务中任何有价值的东西（数据、代码、声誉等）。 另一方面威胁行为者，即能够表现出威胁的人或事物（恶意黑客等），即任何能够以可能造成伤害的方式对资产采取行动的东西。 为了体现威胁 阅读全文