张大帅
- 作品数：5 被引量：8H指数：2
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学一般工业技术更多>>
- 软件安全性测试
- 本文通过讨论软件安全性与软件可靠性的关系,阐明软件可靠性对于软件安全性的作用.在此基础上,进而研究软件安全测试的方法和技术,并讨论建立软件系统的'顶事件表'的作用和方法.
- 徐仁佐张大帅邹丰忠熊忠伟吴闽泉
- 关键词：软件安全性测试
- 文献传递
- 故障树分析在软件可靠性稳定增长与安全性测试中的应用
- 软件可靠性和软件安全性是软件系统的重要质量指标,也是人们在软件的开发中努力追求的目标.如何进行软件可靠性的测试,特别是如何进行软件可靠性的稳定增长测试和软件安全性测试,是软件测试中的重要问题.我们在本文中,通过具体的实例...
- 徐仁佐邹丰忠张大帅杨晶熊忠伟吴闽泉
- 关键词：故障树分析软件测试
- 文献传递
- 软件可靠性分配的一个非线性规划模型被引量：3
- 2003年
- 讨论一个软件可靠性分配模型，该模型在保证系统开发费用最低的前提下，将可靠性指标分配到各模块中。在问题的求解过程中，运用了遗传算法来搜索模型的最优解。实践表明，这是一个有效的途径。
- 徐仁佐张良平张大帅
- 关键词：遗传算法非线性规划
- 面向路径的软件测试数据自动生成研究
- 当一个软件开发完成后,能否实际地投入运行并准确无误地完成任务,软件的质量是关键.针对如何确保软件开发质量问题,虽然已经提出了许多技术和方法,但迄今为止,软件的质量主要还是要靠测试来保证.然而,软件测试是一个复杂的过程,需...
- 张大帅
- 关键词：软件测试测试数据生成遗传算法测试自动化
- 文献传递
- 基于模块开发控制的一个软件可靠性分配模型被引量：5
- 2003年
- 提出了一个软件可靠性分配模型 ,该模型在保证系统开发费用最低的前提下 ,将可靠性指标分配到各模块中 ;此外还运用了遗传算法来搜索模型的最优解 .实践表明 ,这是一个有效的途径 .
- 徐仁佐张良平陈波张大帅
- 关键词：遗传算法非线性规划问题最优解可靠性指标软件工程
