舰船安全性分析技术研究

结合舰船安全性的要求,论述了舰船安全性分析的基本过程,提出了舰船安全性分析适用的工作项目、分析方法和实施程序,并给出了危险识别以及危险分析表格,以便更好地开展舰船安全性分析技术的研究工作。     

舰船嵌入式软件测试用例自动驱动研究

针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。     

基于任务的舰船装备软件测试技术研究

针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰船装备软件测试自动化执行等三方面关键技术进行了研究,研制了配套的软件测试工具,形成了一整套基于任务的舰船装备软件测试技术,以满足基于任务的舰船装备软件测试的需要。在此基础上,开展了基于任务的舰船装备软件测试技术实例应用,验证了该技术的工程适用性和配套工具的有效性,并形成了典型应用实例,为该技术的推广提供支撑。