搜索筛选:
搜索耗时3.4058秒,为你在为你在102,285,761篇论文里面共找到 13 篇相符的论文内容
类      型:
[学位论文] 作者:舒绍娴, 来源:中国人民解放军国防科学技术大学 年份:2018
[期刊论文] 作者:舒绍娴,徐小平, 来源:科技信息 年份:2012
软件失效模式及影响分析(FMEA)是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图......
[期刊论文] 作者:舒绍娴,王大翊, 来源:科技信息 年份:2012
测试是统一软件开发过程RUP中的一个重要核心工作流。本文探讨了如何在RUP过程中实施测试,包括RUP中产品质量维度和测试类型、与迭代过程相结合的测试生命周期,阐述了具体的测...
[期刊论文] 作者:董威, 舒绍娴, 徐小平,, 来源:计算机工程与科学 年份:2014
针对国家和军队信息化建设中需求工程面临的挑战,考虑需求工程对人员的技术能力、交流协调能力、问题分析能力、社会知识基础的综合要求较高,结合软件工程知识体(SWEBOK)、软件......
[期刊论文] 作者:张可迪,舒绍娴,董威, 来源:计算机工程与科学 年份:2014
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注.然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究.对面向...
[期刊论文] 作者:舒绍娴,黎建兴,齐治昌, 来源:计算机工程与应用 年份:2003
在分布式条件下使用区域分解法求解偏微分方程定常解时,效率会比单个区域的情况有所下降,这是因为网格上的通讯和计算的比例不协调。为了尽可能地做到适时通讯,采用Agent模型负......
[期刊论文] 作者:舒绍娴,徐小平,荣霓,郭敏, 来源:计算机工程与科学 年份:2013
摘要:高效、准确地定位软件特征所对应的代码实现,对软件维护十分重要。针对面向对象软件系统,提出一种综合的特征定位方法。该方法利用软件搜索技术为特征与相关类建立初始追踪......
[期刊论文] 作者:舒绍娴 黎建兴 齐治昌, 来源:计算机工程与应用 年份:2003
摘 要 在分布式条件下使用区域分解法求解偏微分方程定常解时,效率会比单个区域的情况有所下降,这是因为网格上的通讯和计算的比例不协调。为了尽可能地做到适时通讯,采用Agent模型负责每个予区域上的计算,自主控制于区域之间的通讯,从而避免了因通讯不当带来的效......
[会议论文] 作者:叶永凯,董威,舒绍娴,徐小平, 来源:第十六届计算机工程与工艺年会暨第二届微处理器技术论坛 年份:2012
freeRTOS是轻量级的嵌入式实时操作系统,提供了基于优先级抢占式调度.RM(Rate Monotonic)算法是最优的静态实时调度算法.本文介绍了以freeRTOS内核的基本调度器为基础的RM算...
[期刊论文] 作者:董威,李暾,舒绍娴,齐治昌, 来源:高等教育研究学报 年份:2004
建设高水平的"软件工程"课程,培养高素质软件工程人才是信息化建设的迫切需要.论文首先对国内外著名院校"软件工程"课程设立情况进行了概述,然后具体阐述了国防科技大学计算...
[期刊论文] 作者:董威,舒绍娴,徐小平,DONGWei,SHUShao-xian,XUXiao-ping, 来源:计算机工程与科学 年份:2014
[期刊论文] 作者:叶俊民,辜剑,陈曙,董威,舒绍娴,, 来源:小型微型计算机系统 年份:2015
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时...
[期刊论文] 作者:叶俊民,何印标,陈曙,董威,舒绍娴,, 来源:小型微型计算机系统 年份:2015
基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限.为...
相关搜索: