排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
2.
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 相似文献
3.
对传统的WideBand Delphi估计法、功能点法和类比法进行了分析、比较,提出了一种改进的成本估算方法。该方法以WideBand Delphi估计法为原型,在专家估计过程中,将功能点法和类比法融入其中,有效规避了WideBand Delphi估计法过于依赖专家经验的不足,并通过类比扩展了功能点法所局限的应用领域,既保证了估计方法的科学性,又保证了估计结果的准确性。实际估算数据的比较表明,改进后的估算方法具有更高的精确度。 相似文献
4.
5.
基于HLA的防空作战仿真系统研究 总被引:1,自引:0,他引:1
针对防空作战仿真系统的特点,建立了可视化的公共仿真开发平台,并在此基础上设计开发了一种可扩展的防空作战仿真系统。分析了防空作战仿真系统的功能、联邦组成和相关的关键技术,并对该环境下开发联邦成员进行了详细的说明。本项研究对于其他领域内联邦成员的开发也具有重要的借鉴意义。 相似文献
6.
基于HLA的防空作战仿真系统研究 总被引:1,自引:1,他引:0
针对防空作战仿真系统的特点,建立了可视化的公共仿真开发平台,并在此基础上设计开发了一种可扩展的防空作战仿真系统。分析了防空作战仿真系统的功能、联邦组成和相关的关键技术,并对该环境下开发联邦成员进行了详细的说明。本项研究对于其他领域内联邦成员的开发也具有重要的借鉴意义。 相似文献
1