舒绍娴
- 作品数：11 被引量：16H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于分层程序频谱的软件故障定位方法研究被引量：4
- 2015年
- 基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限.为此,提出一种基于分层程序频谱的软件故障定位方法,其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次,在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算,主动筛选"最有可能"发生故障的函数;在语句故障定位层次上优先处理可疑值较大的函数,计算函数中每条语句发生故障可疑值,根据可疑值大小定位语句故障.实验表明,提出的方法能快速地找到故障语句,缩小故障代码审查区域.
- 叶俊民何印标陈曙董威舒绍娴
- freeRTOS内核的RM调度器的设计与实现
- freeRTOS是轻量级的嵌入式实时操作系统,提供了基于优先级抢占式调度。RM(Rate Monotonic)算法是最优的静态实时调度算法。本文介绍了以freeRTOS内核的基本调度器为基础的RM算法的调度器的设计与实现...
- 叶永凯董威舒绍娴徐小平
- 关键词：实时调度FREERTOS
- 文献传递
- 面向对象软件的综合特征定位方法
- 2013年
- 高效、准确地定位软件特征所对应的代码实现,对软件维护十分重要。针对面向对象软件系统,提出一种综合的特征定位方法。该方法利用软件搜索技术为特征与相关类建立初始追踪关系;然后以这些类作为种子构造面向对象程序的关注图;进一步采用面向对象切片技术,以关注图中的属性和语句作为切片准则,计算对特征实现具有直接影响的语句代码。该方法有较高的自动化程度,能够提高软件维护中程序理解的效率。
- 舒绍娴徐小平荣霓郭敏
- 关键词：软件维护程序切片
- 面向对象软件的程序级FMEA方法
- 2012年
- 软件失效模式及影响分析(FMEA)是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图描述代码间存在的复杂的依赖关系,并采用切片技术提高失效原因和影响分析的效率。
- 舒绍娴徐小平
- 关键词：FMEA面向对象软件程序切片
- 分布科学计算实例研究中的Agent模型被引量：1
- 2003年
- 在分布式条件下使用区域分解法求解偏微分方程定常解时,效率会比单个区域的情况有所下降,这是因为网格上的通讯和计算的比例不协调。为了尽可能地做到适时通讯,采用Agent模型负责每个子区域上的计算,自主控制子区域之间的通讯,从而避免了因通讯不当带来的效率损失。
- 舒绍娴黎建兴齐治昌
- 关键词：AGENT偏微分方程
- 基于RUP的软件测试实施过程
- 2012年
- 测试是统一软件开发过程RUP中的一个重要核心工作流。本文探讨了如何在RUP过程中实施测试,包括RUP中产品质量维度和测试类型、与迭代过程相结合的测试生命周期,阐述了具体的测试方法以及提高测试效率的自动化测试工具。
- 舒绍娴王大翊
- 关键词：自动化测试
- 软件需求工程课程建设思考与实践被引量：6
- 2014年
- 针对国家和军队信息化建设中需求工程面临的挑战,考虑需求工程对人员的技术能力、交流协调能力、问题分析能力、社会知识基础的综合要求较高,结合软件工程知识体(SWEBOK)、软件工程教育知识体(SEEK)等规范最新进展,对软件需求工程本科和研究生课程的建设进行了思考,针对课程内容建设、教学实践环节设计、考核方式等提出一系列改进措施,并对这些措施的具体实施进行讨论。
- 董威舒绍娴徐小平
- 关键词：课程建设
- 基于时间属性序列图的监控器构造方法
- 2015年
- 运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸.
- 叶俊民辜剑陈曙董威舒绍娴
- 关键词：时间自动机监控器
- 基于Agent偏微分方程分布求解的技术研究
- 随着计算机性能的提高及其应用的日益广泛，“科学计算”已经成为一种重要的科学研究方法。偏微分方程数值定常解问题作为科学计算的一个重要应用领域，在各个工业领域都会用到。在实际应用中，由于方程的求解区域比较复杂，通常会采用区域...
- 舒绍娴
- 关键词：AGENT偏微分方程
- 一种嵌入式操作系统运行时验证方法被引量：3
- 2014年
- 作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。
- 张可迪舒绍娴董威
- 关键词：嵌入式操作系统
