中国博士后科学基金(20110491843)
- 作品数：3 被引量：8H指数：2
- 相关作者：姚奕郑长友刘晓明任正平稽孟雨更多>>
- 相关机构：解放军理工大学更多>>
- 发文基金：中国博士后科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 军用可信软件现状及发展研究
- 2012年
- 随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。
- 郑长友刘晓明
- 关键词：军用软件可信计算
- 面向整数错误检测的蜕变测试方法研究被引量：2
- 2012年
- 整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。
- 姚奕黄松稽孟雨
- 关键词：整数溢出
- 基于Petri网的面向测试的工作流系统建模方法被引量：6
- 2014年
- 提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。
- 郑长友刘晓明姚奕任正平
- 关键词：PETRI网工作流工作流建模
