【摘 要】
：
软件内建自测试摈弃了传统的独立的手工测试方法,提出在软件开发过程中通过模板与程序开发人员交互得到有用的测试信息并将其保存在模板中,然后编写程序自动从模板导出测试用
论文部分内容阅读
软件内建自测试摈弃了传统的独立的手工测试方法,提出在软件开发过程中通过模板与程序开发人员交互得到有用的测试信息并将其保存在模板中,然后编写程序自动从模板导出测试用例,自动运行测试用例进行测试的自动测试方法.该论文主要讨论模板的设计.论文提出了可信系统并阐述了其特点,然后根据可信系统的特点提出建立可信模板系统和建立步骤.论文还给出了模板的概念、模板的内容、模板内容的组织、模板与程序员交互的机制和模板的参数.论文提出并设计了基准程序来计算模板的参数以便于评测、挑选模板及判断模板的可信性.基准程序是根据某类程序的特点来设计的一系列特殊程序.它的提出是受基准电路的启发,基准电路是一组专门设计的电路,用以评测了各种硬件测试算法,它很好地达到了预期效果.我们希望所设计的基准程序也能很好的解决模板的评测问题.最后论文根据以上理论的指导,为科学计算程序建立了一系列的基准程序,然后设计和实现了科学计算程序的测试模板,利用基准程序计算了模板的特征参数并验证了所设计科学计算程序的测试模板的可信性.
其他文献
该文提出了基于IPSec安全传输平面的新体系结构.针对IPSec现有的本地实施和网关实施框架,提出了基于IPSec的安全传输平台的总体框架和模块结构,使之能够和现有的基于IPSec的V
神经网络的学习方式通常包括三种：监督(supervised)学习、无监督(unsupervised)学习和强化(reinforcement)学习。由S.Grossberg和G.A.Carpenter等人提出的自适应谐振理论(Adap
由于企业、政府和其他组织的工作越来越依赖于计算机网络系统，保护这些系统免受攻击已成为当务之急。随着互联网计算机的不断增加，IDS显然已成为必不可少的重要手段。 入侵
随着我国道路交通的不断完善，机动车辆日益增多，各行业为了实现和改善对机动车辆的监控和管理，对车辆监控系统提出了更新更高的要求。基于这样的需求背景，我们研究了各种相关技术
随着Internet及全球信息网应用的快速发展，Web应用正逐步走向企业级计算，其复杂性和动态性的要求更高。纯静态web页面已远不能满足用户和开发者的需求，满足用户动态请求，页面内容
中国高等院校在科学技术的研究与开发方面已经有了长足的发展,科技工作的发展以及日益激烈的科技竞争使得高校科技管理工作面临新的挑战.同时,我们也看到,校园网建设的进展以