张虹
- 作品数：23 被引量：42H指数：3
- 供职机构：北京航空航天大学可靠性与系统工程学院更多>>
- 发文基金：国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学航空宇航科学技术一般工业技术更多>>
- 音频信号测试仪研制
- 张虹
- 关键词：USB传输
- 一种从UML活动图到Event-B模型的转换方法
- 本发明是一种从UML活动图到Event‑B模型的转换方法，属于计算机软件工程领域。确定UML活动图的模型元素：发起活动的对象、基本活动和活动流；建立对象集合和活动集合，建立不变式以保证每个活动只属于一个对象，将活动的前置...
- 张虹孙伟瑄胡思远
- 文献传递
- 嵌入式软件测试中的仿真建模方法研究被引量：25
- 2002年
- 对嵌入式软件测试中的仿真建模方法进行了研究 ,根据嵌入式软件测试的特点 ,探讨了仿真建模在整个测试环境中应实现的功能 ,并给出模型的体系结构 ,同时 ,对仿真模型的通用性。
- 张虹阮镰刘斌
- 关键词：仿真嵌入式软件软件测试软件开发
- 面向航电软件测试的建模描述语言研究
- 2006年
- 针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL)。对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用。
- 何俊涛杨顺昆张虹
- 关键词：仿真模型XML
- 一种缺陷驱动的软件可靠性设计方法
- 本发明公开了一种缺陷驱动的软件可靠性设计方法。该方法通过收集相类似软件已发生的缺陷数据，识别出软件中潜在的缺陷，制定缺陷分类标准，建立软件缺陷模式库。在缺陷模式库的基础上，通过软件故障树分析（SFTA）完善缺陷原因，针对...
- 曾福萍陆民燕张虹
- 文献传递
- 一种基于SOA的软件系统操作剖面构造方法
- 本发明提出一种基于SOA的软件系统操作剖面构造方法，以传统的操作剖面的概念为基础，并结合SOA系统的业务流程及用户并发特点，构造SOA系统的业务剖面及用户并发剖面，旨在解决传统的操作剖面不能有效描述SOA系统实际使用场景...
- 张虹陆民燕丰超潘聪
- 代码走查辅助工具的MDA开发模式被引量：2
- 2007年
- 研究和分析了软件代码走查问题域,提取出软件代码走查辅助工具的基本功能。使用模型驱动体系结构方法,结合软件代码走查辅助工具的特点,逐步构建软件代码走查辅助工具的平台无关模型、平台相关模型与代码模型,并对不同模型之间的转换规则进行了初步研究。
- 王志刘斌钟德明张虹
- 关键词：软件测试
- 综合应用SFMEA与SFTA技术提高软件可靠性
- 在大型系统的研制过程中,软件可靠性十分重要。目前,两种主要的软件可靠性分析技术：SFMEA (Software Failure Modes Effect Analysis)和 SFTA(Software Fault Tr...
- 刘彬彬张虹
- 关键词：SFMEA
- 文献传递
- GUI软件功能测试用例数据选取策略研究被引量：1
- 2010年
- GUI软件功能测试用例设计分为执行路径的确定和测试数据选取两个步骤,在假定测试执行路径已确定的前提下,提出了GUI软件功能测试中的正常输入测试用例、异常输入测试用例和边界测试用例的选取策略,借助成功树与故障树来描述3种测试用例下功能与GUI控件状态或输入值之间的逻辑关系,并选用适当的组合算法指导测试数据的选取,提高了测试用例生成的速度与质量,并且在保证测试覆盖的前提下减少了测试用例的数目,从而提高了测试效率.该选取策略也为实现GUI软件测试用例的自动生成提供了方法依据.在某型号软件功能测试中,运用该选取策略指导测试用例的生成,验证了该方法的实用性与有效性.
- 黄百乔张虹陆民燕李海峰
- 关键词：GUI软件故障树
- 基于Object-FMA的软件代码审查方法被引量：1
- 2010年
- 针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.
- 黄百乔张虹陆民燕李震
- 关键词：失效模式审查
