窦朝晖
- 作品数：6 被引量：22H指数：3
- 供职机构：北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学更多>>
- 软件工程中系统模型的构建
- 随着计算机日益广泛的应用,人们越来越重视软件开发及软件工程.系统模型的构建是软件开发的基础,也是软件工程中的重要环节.本文就软件工程中系统模型的构建进行初步的讨论.
- 李德治窦朝晖
- 关键词：软件工程系统模型软件开发
- 文献传递
- 卫星点波束覆盖区域算法研究被引量：9
- 2009年
- 本文根据立体空间中点、线、面之间的几何关系,对卫星天线点波束覆盖地球表面区域的算法进行了研究,给出其解析方法及其相应的计算机软件编程算法。
- 李德治窦朝晖吕波魏波
- 关键词：点波束
- 基于过程与场景分析的航天应用软件测试方法被引量：7
- 2020年
- 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。
- 张卫祥张敏窦朝晖马贤颖魏波
- 关键词：测试用例生成软件测试
- 主维对矩阵运算性能的影响
- 1999年
- 随着计算机体系结构的发展，高速缓存（ｃａｃｈｅ）的引入，分块方法成为矩阵计算中性能优化的主要方法，而矩阵主维对分块算法的性能影响很大。本文分析了矩阵主维影响性能的原因以及如何选取主维来改善性能，并与拷贝方法进行了比较。最后用矩阵乘法和ＬＵ分解进行了试算。
- 窦朝晖胡庆丰张秀山
- 关键词：矩阵高速缓存
- 基于蚁群算法的测试用例优先排序被引量：4
- 2020年
- 测试用例优先排序技术通过优化测试用例的执行次序来提高软件测试的效率,是增强型软件测试和回归测试的重要研究课题。针对基于需求的测试用例优先排序问题,提出了一种基于蚁群算法的求解方法,采用不同的测试用例间距离及用例序列评价策略,给出了该方法的2种不同实现方式。首先,针对黑盒测试特点,设计了基于需求的一般性测试用例序列评价指标;其次,提出测试用例吸引度概念,基于测试用例吸引度定义了测试用例间的距离;然后,给出了信息素更新策略、最优解集更新策略、局部最优解突变策略等主要设计策略,分别实现了该方法基于距离和基于指标的2种实现方式。实验结果表明,该方法具有很好的全局寻优能力,整体效果上优于粒子群算法、遗传算法和随机测试。
- 张卫祥齐玉华魏波张敏窦朝晖
- 关键词：软件测试蚁群算法黑盒测试
- Copy:提高分块算法性能的有效方法被引量：2
- 1999年
- 本文介绍的ｃｏｐｙ 方法就是针对大规模线性代数问题而提出的一种ｃａｃｈｅ优化方法， 基本思想是把不连续的数组元素拷贝到一连续的数组， 以减少ｃａｃｈｅ自冲突，且使分块算法的访存连续，从而提高ｃａｃｈｅ利用率。文中以大规模矩阵乘法为例进行了验算，
- 窦朝晖胡庆丰
- 关键词：拷贝分块算法高速缓冲存储器线性代数
