朱丹江
- 作品数：4 被引量：4H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于代数规格化说明的OOP测试用例生成算法研究
- 随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统的测试方面出现了许多测试方法,基于形式化规格说明的软件测试方法是其中重要、有效的一种。在基于形式...
- 朱丹江
- 关键词：软件测试可靠性
- 基于场景控制特征的安全性需求分析方法被引量：4
- 2016年
- 安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。
- 朱丹江姚淑珍谭火彬
- 关键词：安全性需求
- 基于代数规格说明的OOP测试用例生成算法研究
- 2013年
- 现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.
- 朱丹江王黎明
- 关键词：软件测试范式
- 一种基于随机时间Petri网的系统安全性分析方法
- 本发明涉及一种基于随机时间Petri网的系统安全性分析方法，用于在安全攸关系统设计期间通过系统安全性需求分析，建立系统的sTPN模型，基于时序逻辑CSL公式将安全性度量指标转化为形式化的表达，最后计算稳定状态安全度和基于...
- 姚淑珍谭火彬彭颖朱丹江
- 文献传递
