王毅刚
- 作品数：37 被引量：85H指数：5
- 供职机构：中国人民解放军军械工程学院更多>>
- 发文基金：中国人民解放军总装备部预研基金国防科技技术预先研究基金河北省自然科学基金更多>>
- 相关领域：自动化与计算机技术兵器科学与技术军事交通运输工程更多>>
- 一种基于场景的软件维护性需求分析方法被引量：2
- 2013年
- 软件维护性是软件质量的重要属性之一,它在很大程度上决定了软件的后期维护成本。设计赋予软件良好的维护性是软件需求、设计和开发经常忽视的一个问题,也是一个难题。提出了一种基于场景的软件维护性需求分析方法,即通过对软件将来可能发生的维护场景进行分析以获取软件可维护性需求。
- 叶飞朱小冬王毅刚
- 关键词：软件维护性软件维护
- 某型地空导弹武器系统维修时间仿真方法
- 2002年
- 通过分析某型地空导弹武器系统现有的维修性指标 ,提出了基于维修流程框图的维修时间仿真方法 ,对武器系统的维修性设计、预计和分析有较好的作用 .采用这种维修时间仿真方法开发的软件系统也具有一定的实用价值 .
- 聂成龙何应德王毅刚
- 关键词：地空导弹维修性仿真
- 软件体系结构级维护时间预测
- 2013年
- 软件维护难度大、费用高已成为人们日益关注的焦点,而软件体系结构设计在很大程度上决定了软件的可维护性。为提高软件维护效率,降低费用,首先提出对某一体系结构设计变更场景,将变更场景按复杂性区分为简单场景、一般场景及复杂场景,并分配相应的权重;然后归纳了影响软件维护工作量的技术和非技术因素,并分别给出了上述因素相应的改进工作量因子,并在体系结构级构建了软件维护的时间模型。模型可在体系结构级预测因软件变化所导致软件维护的工作量,可帮助软件人员尽早合理的组织和安排资源,以便提高维护效率,降低维护费用。最后给出了应用实例,验证了上述方法的可行性和实用性。
- 刘丽朱小冬叶飞王毅刚
- 关键词：软件体系结构软件可维护性
- 基于TestQuest的软件测试自动化方法研究被引量：1
- 2011年
- 随着软件开发规模的增大以及复杂程度的增加,自动化测试工具在提高软件测试的效率及准确度上越来越重要,而现有的软件测试存在自动化程度不高、测试过程不完善等问题,针对此问题展开了软件测试自动化的研究。在分析了软件自动化测试的重要性及软件自动化测试的周期、技术的基础上,提出了基于TestQuest测试工具的一套软件测试自动化方法和测试流程,最后针对"虚拟维修训练系统"具体结合工具展开实例验证。
- 王乾宇朱小冬王毅刚
- 关键词：软件测试自动化测试工具
- 对软件测试过程模型的思考被引量：4
- 2011年
- 在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。
- 张俊萍朱小冬王毅刚梁欣
- 关键词：V模型X模型W模型
- 基于运行序列的软件故障诊断方法被引量：7
- 2006年
- 在软件失效机理分析的基础上,提出了基于运行序列的软件故障诊断方法。该方法根据最近邻思想,采用编辑距离在大量正常运行中搜索故障运行的最近邻,利用故障运行序列与最近邻序列的对比差异生成程序可疑部分报告,并给出了报告的评价函数。最后设计试验验证了该方法。
- 王毅刚朱小冬甘茂治
- 关键词：最近邻
- 软件可靠性测试用例的复用度量被引量：1
- 2010年
- 针对目前基于复用的软件可靠性测试缺少对测试用例复用度量的现实问题,在构建测试用例复用模型的基础上,首先应用特征分析法求解测试用例各复用资源的权重,然后再分别计算它们在测试中的复用度,最后求解得到测试用例的平均复用度。从定量的角度解决了测试用例的复用度量问题。
- 卜国峰朱小冬王毅刚孙志刚
- 关键词：测试用例
- 软件运行时验证加速中的多目标约束模型研究
- 2016年
- 由于复杂性质的运行时验证中常产生高额时间开销,影响了该技术在系统部署后的应用;减小验证开销提高验证效率已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速中的多目标约束模型;实验表明:该模型的求解结果能够用来判定可加速监控器,为实施软件运行时验证加速提供量化依据。
- 刘彦斌叶飞王毅刚
- 关键词：多目标约束监控器
- 基于交互事件流模型的GUI测试用例生成被引量：1
- 2012年
- 根据GUI基于事件驱动的特点,对事件流思想在GUI测试中的应用进行研究。针对事件流模型对GUI事件之间的关系描述过于薄弱,生成大量冗余测试用例的问题,在事件流模型中加入用来描述事件间交互关系的信息。同时指出事件交互的本质是事件处理程序之间的变量共享和消息传递。最后给出生成有效交互测试用例的具体算法,并在实例中验证了其有效性。
- 徐永杰朱小冬王毅刚
- 关键词：GUI测试软件测试测试用例生成
- 基于改进关联规则的维修专业组合与优化模型被引量：2
- 2013年
- 针对维修过程中各专业忙闲不均和协同工作效率低下等问题,提出了一种基于改进关联规则的维修专业组合和优化方法。首先,以均衡任务量为目标,建立了维修专业关联度分析模型;其次,以功能聚合为目标,提出了以较大概率共同承担任务且任务量偏小的维修专业组合方法;最后,从维修任务和维修专业两方面考虑,建立了组合维修专业的优化模型。通过具体实例分析,证明了该方法的有效性和正确性。
- 孙志刚朱小冬王毅刚
- 关键词：关联规则组合优化
