胡璇
- 作品数:4 被引量:29H指数:2
- 供职机构:北京航空航天大学可靠性与系统工程学院工程系统工程系更多>>
- 发文基金:国家部委资助项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 软件代码缺陷分类及其应用被引量:11
- 2009年
- 分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明,该代码缺陷分类可以有效指导代码审查。
- 胡璇刘斌陆民燕
- 关键词:代码审查
- 基于Python的实时嵌入式软件测试脚本被引量:17
- 2009年
- 基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。
- 蒋崇武刘斌王轶辰胡璇
- 关键词:自动化软件测试测试脚本实时嵌入式软件仿真测试环境
- 基于本体的软件需求缺陷模式应用
- 2009年
- 提出软件缺陷模式的概念,给出其正交属性、说明及需求缺陷模式产生模型.对领域相关需求缺陷模式进行本体描述,并着重分析其发生的直接场景.直接场景能够帮助测试人员熟悉用户的实际使用情况及现实系统的各种行为和目的,并能指导审查和测试过程.通过实例应用证明了基于需求缺陷模式直接场景进行审查和测试的有效性,并通过缺陷模式的正交属性对软件开发及测试质量进行了分析.
- 胡璇刘斌王轶辰蒋崇武
- 关键词:正交本体
- 代码缺陷模式的概念及形式化表示被引量:1
- 2010年
- 针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下。实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性。
- 胡璇刘斌王轶辰
- 关键词:形式化表示