论文部分内容阅读
本文介绍对军用软件测试的研究,阐述了软件测试的目的、定义、原则以及软件测试的过程,最后进行了软件测试用例设计.
军用软件测试研究
【摘 要】
：
本文介绍对军用软件测试的研究,阐述了软件测试的目的、定义、原则以及软件测试的过程,最后进行了软件测试用例设计.
【机 构】
：
第二炮兵工程学院(西安)
【出 处】
：
2003年全国理论计算机科学学术年会
【发表日期】
：
2003年11期
其他文献
本文概述了软件能力成熟度模型CMM,并根据多年软件开发经验,结合CMM标准的过程化、文档化思想,对软件生命周期模型进行了进一步的改进.
在本文中采用广义遗传算法来解决实时系统中周期性任务静态优化调度.遗传算法具有并行搜索,群体寻优的特点,是解决大规模优化问题的有力工具.
本文研究的系统是基于863项目"基于多Agent的合作求解平台".它的主要目标是为构建各种实用Agent提供一个通用的合作求解平台,同时在这个平台上建立一个示范系统——机器人足球赛系统.
本文主要研究了关于中介命题演算系统MP范式,同时还提出了构造等值完全析取范式形成化算法,并证明了等值完全析取范式的存在和唯一性.
时空数据库是近年来在时态数据库和空间数据库的基础上发展起来的一门数据库技术,本文主要针对移动空间数据的存储和管理所涉及的主要技术进行总结,并指出进一步发展的方向.
本文在讨论受约束多体系统动力方程的数值计算时,不再假设φ满秩,通过构造连接零空间正交基的方法解决多余约束和数值奇点问题.本文方法的提出针对完整约束情形,但可方便地推广到受非完整约束的多体系统动力学模型.
本文是作者对AT88SC102卡测试区各时序图所做的分析,以及根据时序分析所编写的程序.各程序段均经过样机调试,运行成功,并在正式产品上使用.从中不难看出在单片机应用系统设计中,时序图所起的重要作用.所有程序的编写,均依赖于对时序图的分析.所以不能正确进行时序分析,就无从进行系统程序设计.
综合利用材料技术、仿生技术和控制技术的新方法,本文作者设计了采用基因方法进行自我复制和机理调节的智能单元,进而通过对基元的复制和分化,按照生物演化的方式组建智能机器人的整体.