排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。 相似文献
2.
网络化操作系统课程是为了让学生了解和掌握网络化环境下的新型操作系统技术而设置的一门研究生专业选修课,课程梳理了网络化操作系统与传统操作系统的对应关系,并从中选择了主要的关键技术作为课程内容。课程通过教师讲授+学生课堂报告+项目实践等多个环节让学生理解基础原理的同时,了解操作系统的最新发展前沿,同时锻炼和提升解决实际问题的能力。针对教学内容涉及面广以及学生参与性不足等问题,课程将国际前沿的教学理念BOPPPS模型运用到课程设计中,通过课程引入、确定课程目标、预评测、参与式学习、后评价和课程总结六个环节,充分调动学生的积极主动性,有效提升教学效果。 相似文献
3.
4.
5.
重点探讨了与计算机原理相关的几个重要知识点:中断与异常、原语的实现技术、页式虚存管理。特别澄清了中断与异常的不同,P.V.操作的忙等待实现方式,给出了访存指令执行过程中硬软件之间的交互。 相似文献
6.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。 相似文献
7.
本文提出了一种圆环型的有向图拓扑布局算法,能够清晰地展示软构件之间的相互依赖关系,有助于设计人员更好地理解和分析多构件系统中构件间依赖关系的整体态势,进而优化系统结构,提高系统性能,实现高效的软构件组装。 相似文献
8.
9.
在多重中断C程序中,中断嵌套可能会导致一些非期望的交叠执行,从而造成错误的程序执行结果。典型的问题是共享变量引起的数据竞争破坏了程序的原子性。针对此类问题,对多重中断C程序的运行时语义进行建模,根据共享变量的访问给出了一种原子性的定义,提出了相应的数据竞争及原子性检测方法,并采用函数摘要技术缩减静态分析过程中所需遍历的程序状态。最后,设计并实现了一个数据竞争及原子性检测原型工具MIDAC(multiple interruption C program data race and atomicity checker),实验结果表明,该工具能够针对一定规模的实际程序得到很好的检测效果。 相似文献
10.
并发反应式系统的组合模型检验与组合精化检验 总被引:1,自引:2,他引:1
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向. 相似文献