湖北省自然科学基金(2010CDB04001)
- 作品数：7 被引量：17H指数：3
- 相关作者：叶俊民陈曙金聪王珍张帆更多>>
- 相关机构：华中师范大学杭州电子科技大学湖北省军区更多>>
- 发文基金：湖北省自然科学基金中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于二分图故障检测模型的软件故障定位方法研究被引量：1
- 2013年
- 软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象。通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型。然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位。实验表明,本研究方案能够有效处理软件故障定位问题。
- 王耀宣叶俊民陈静汝欧中红
- 关键词：故障定位二分图
- 一种源程序级软件验证方法研究被引量：3
- 2014年
- 软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型.
- 叶俊民王珍戴跃庭金聪
- 关键词：KRIPKE结构控制流图NUSMV
- 基于PSO和朴素贝叶斯的软件缺陷预测模型被引量：6
- 2011年
- 为了设计高效的软件缺陷预测模型,提出一种将粒子群优化算法与朴素贝叶斯(NB)相结合的方法。该方法对历史数据进行离散化后,以NB分类的错误率作为粒子适应值函数,构建软件缺陷预测模型。通过对美国国家航天局软件工程项目的JM1数据进行仿真实验,证明该模型在预测性能方面优于同类方法,预测效果良好。
- 葛贺贺金聪叶俊民
- 关键词：粒子群优化朴素贝叶斯数据离散化
- 参数化运行时监控研究被引量：1
- 2014年
- 随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。
- 王珍叶俊民陈曙辜剑金聪
- 一种基于污点数据传播和无干扰理论的软件行为可信性分析模型被引量：1
- 2013年
- 以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理。
- 陈曙叶俊民张帆
- 关键词：可信计算污点分析无干扰
- 一种面向软件行为和多视点的需求模型验证方法被引量：4
- 2013年
- 软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.
- 陈曙毋国庆叶俊民陈明楷
- 关键词：多视点
- 一种自动机学习和符号化执行的软件自动测试方法被引量：1
- 2013年
- 针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
- 陈曙叶俊民张帆
- 关键词：自动机抽象机
