排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
2.
以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。 相似文献
3.
4.
5.
第二范式(2NF)和第三范式(3NF)在关系数据库规范化中起着重要作用.然而,所有的文献都没有给出第二、三范式的判别算法,当关系模式属性较多或数据依赖较复杂时,很难通过手算做出正确的判断.本文首先给出判别给定属性集是否键码的算法以及求给定关系模式的所有键码和所有非主属性的算法,然后在简单刻划函数依赖特征的基础上提出2NF和3NF的判别算法.这些算法与现有文献上的各种算法一起便于在计算机上编程实现,从而使关系规范化理论变成应用软件. 相似文献
6.
7.
8.
1