论文部分内容阅读
本文首先介绍了用于指导测试用例生成的理论基础,重点论述了测试用例各种产生方式和衡量测试终止的指标,给出了基于运行剖面的可信度统计覆盖测试技术的测试用例生成和终止的流程。
基于运行剖面的测试用例生成技术
【摘 要】
：
本文首先介绍了用于指导测试用例生成的理论基础,重点论述了测试用例各种产生方式和衡量测试终止的指标,给出了基于运行剖面的可信度统计覆盖测试技术的测试用例生成和终止的流程。
【机 构】
：
航天二院706所
【出 处】
：
第十六届全国抗恶劣环境计算机学术年会
【发表日期】
：
2006年8期
其他文献
通过对舰船用电子设备状态检测记录现状的介绍,结合各类存储技术要求的分析,提出船用电子设备检测记录技术的发展趋势,并简要阐述了实现设想.
设备规模日益庞大,各种采集信号的通道数目急剧增加,关联性大幅提升,单一记录设备逐步无法满足需求.现实有效的解决方案是将记录设备组成记录系统,以保障设备整体效能的充分发挥.本文通过对未来综合信息记录系统架构的研究,提出了目前综合信息记录系统的解决方案和记录设备的发展方向.
电磁脉冲武器的出现对计算机构成了严重的威胁,它可以使计算机无法正常工作,或造成能以修复的物理损伤.本文论述了电磁脉冲对计算机的危害及防护措施.
本文描述了一种基于需求的用于苛刻性系统测试、验证和分析工具以及相关的实施过程,该工具包括一个支持需求获取和分析的集成开发环境、基于需求的测试向量生成、测试覆盖分析、测试驱动生成和测试结果分析.本文将描述需求模型、方法、开发环境和工具的实现方法;并且将自动测试生成器的性能和基本的概念以及相关的测试策略和机制进行了比较分析.
体系结构开发模型是软件系统体系结构研究中的重要组成部分,选择合理有效的原则、过程进行体系结构的开发对于确保满足商业需求、保证体系结构的开发进度、提高体系结构开发的效率有很大的影响.北京系统工程研究所对体系结构及其开发模型进行了较全面地研究,本文简要介绍了国外一些主流的体系结构以及开发模型,并对如何进行体系结构的开发提出了我们的建议.
DSP程序有仿真器加载,FLASH加载,HPI主机口加载三种方式,针对多DSP通用信号处理板在显控台的特殊用途,采用HPI主机口加载方式,克服了FLASH加载,速度慢,不容易修改等缺点.总结了为实现HPI加载,要注意的四项内容.该技术在使用DSP开发板的军用信息技术领域有广阔的应用.
目前企业的信息表现形式越来越多样化,加上数据库的技术发展,数据源呈异构化发展,这直接导致信息孤岛的形成,本文分析了解决信息孤岛的传统数据集成技术,提出了基于web服务面向SOA的异构数据源集成技术,具有一定的可行性和实用性,能够胜任异构数据库的集成工作.
软件质量问题由来已久.早期,人们就发现软件质量低下将导致可靠性差,维护费用高昂.面对软件规模的迅速扩大,复杂性的急剧增加,各行各业的计算机应用对软件质量提出了前所未有的挑战.因此,如何提高软件质量,成为当前软件产业发展中一个迫在眉睫的问题.本文探讨软件的性能测试。
本文基于ISA总线非标准接口板在显示控制系统的实际应用,讨论了在Windows2000环境下用SDK/DDK开发驱动程序,驱动程序和应用程序的结合方法,并在此基础上提出了用WinDriver和WinIo结合的模式进行编程从而实现直接在应用程序中对非标准端口进行读写以及响应中断的方法,在实际应用中验证了这种方法的可行性.该方法为其它总线板卡的程序编写提供了有益的参考.使开发人员能更透明的理解软件控制