国家高技术研究发展计划(2008AA01Z142)
- 作品数:6 被引量:19H指数:3
- 相关作者:董云卫张凡吴晓路晓丽周兴社更多>>
- 相关机构:西北工业大学西北大学更多>>
- 发文基金:国家高技术研究发展计划陕西省教育厅科研计划项目中国航空科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 面向服务软件的蜕变测试方法被引量:2
- 2011年
- 在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题。为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于面向服务软件的单元测试和集成测试过程中,依据面向服务软件每个服务的自身性质构造蜕变关系,设计蜕变测试类执行测试用例并验证蜕变关系是否保持,如果蜕变关系被违反了,则发现和报告缺陷,从而有效地支持面向服务软件的测试。
- 路晓丽董云卫
- 关键词:软件测试面向服务架构
- Web应用软件的结构测试研究被引量:4
- 2010年
- 为了保证Web应用的质量和可靠性,Web应用软件测试受到了人们越来越多的重视。有效的Web应用软件的测试依赖于对其进行充分的分析和理解,掌握其内部的控制流和数据流信息,构建结构模型实施基于覆盖率的结构测试。提出了一种Web应用软件结构模型,它分为5级,分别为函数级、函数群级、对象级、对象群级和应用级,且基于此结构模型,提出了测试用例的设计和选择的方法,从而更好地支持了Web应用软件的结构测试。
- 路晓丽董云卫
- 关键词:WEB应用软件
- AADL模型的测试方法研究被引量:6
- 2009年
- 近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法。最后,通过示例进一步说明了该方法。
- 王庚周兴社张凡董云卫
- 关键词:马尔可夫链
- 嵌入式软件仿真监控系统的优化与实现
- 2010年
- 针对基于xPC Target的嵌入式软件仿真系统,探讨仿真实时监控系统的相关技术及实现方案的不足,提出一种优化方案,以解决因仿真数据丢失、重复所导致的仿真数据不完整问题。采用模块化及层次化的设计思想,利用多线程技术进行系统实现。将该监控系统应用到智能家庭的仿真实验中,实验结果表明,经过优化后的监控系统能保证数据的完整性,提供精确的仿真结果。
- 凌恒吴晓王宇英董云卫
- 关键词:实时监控XPC目标软件仿真
- 机载嵌入式软件安全性保证技术研究
- 2010年
- 近年来,机载软件的安全性问题日趋严重;文中针对航空机载软件的领域特点,着重研究机载软件安全性关键技术的应用,并与软件过程管理方法相融合,借鉴软件能力成熟度模型CMM中的分级思想,提出机载软件安全性的保障技术框架,对不同软件等级的软件采用相应的安全性保障技术进行过程控制,使机载软件能够满足DO-178B适航标准的安全性要求。
- 霍宏周兴社董云卫
- 关键词:CMM
- MC/DC最小测试用例集快速生成算法被引量:7
- 2009年
- 以条件判定组合的语法树为研究对象,总结语法树的左右分支对判定结果的影响方式及结果,根据其影响特点提出超越语法树的快速生成改进判定/条件覆盖最小测试用例集的算法。与其他算法在在空间及时间方面进行比较,结果表明该算法具有一定的优越性。
- 段飞雷吴晓张凡董云卫
- 关键词:最小测试用例集快速生成算法