【摘 要】
:
基于软件测试数据,提出了一种具有变点的非完全排错软件安全性模型,并给出了具有多种错误类型时的软件安全性均值函数模型。
【基金项目】
:
国家自然科学基金(70571018)资助
论文部分内容阅读
基于软件测试数据,提出了一种具有变点的非完全排错软件安全性模型,并给出了具有多种错误类型时的软件安全性均值函数模型。
其他文献
以菊花 1 4个品种配成多种组合及 2个品种的自交组合 ,观察了花、茎、叶的若干性状在F1的表现。在实验中 ,发现花色遗传并不都是偏母性遗传 ,而应根据具体情况而定 ;花期表现
小诗是“五四”时期最为流行的新诗品种之一。然而它的影响来源却不是主流文化的西方思潮而主要是东方的泰戈尔与日本的徘句。这种看似“意外”的现象即有着深刻的时代背景,又
尤金·奥尼尔一生着力于现代心理悲剧的创作,以写实的手法展现了二十世纪美国人民灵魂扭曲的可悲心态和美国现代社会的精神窘困的可忧状况,表达了对人生理想之梦的努力探索和
以三氧化二铝为载体,通过浸渍法制备了Cr2O3/Al2O3催化剂并应用于丙烷脱氢制丙烯反应,研究Cr2O3/Al2O3催化剂的失活原因。借助XRF、强度测试、BET、XRD、TPD、TPR、UV、TG等
建筑业历来是一个国家的支柱产业,建筑业的发展轨迹与一个国家的宏观经济形势呈现出显著的正相关性,当一个国家经济繁荣、增长快的时期,基础建设投资和住宅消费需求大,建筑业
社会主义新农村建设是一项艰巨的影响国计民生的艰巨的系统工程。对于这一全新的战略任务,需要广大农民自身的努力。乡镇公务员作为最贴近农村的政府代表,作为新农村建设这一
盐酸氨溴索缓释胶囊适用于急、慢性呼吸道疾病,如急、慢性支气管炎、支气管哮喘、支气管扩张、肺结核等引起的痰液粘稠、咳痰困难。本品为粘液溶解剂,能增加呼吸道黏膜浆液腺
<正>当前,我国城市管理面临着一系列后发型国家城市化进程中特有的矛盾和问题。山东省济南市在全力推进工业化和城市化进程中,把创新和优化城市管理作为加强和创新社会管理的
<正>笔者参加了2013年广东省高考历史学科的阅卷工作,发现相当一部分考生因非知识性因素和非能力性因素丢分,主要表现在两个方面:一是不能科学合理地分配政治、历史、地理三
中国影子银行源于国家严控金融导致正规金融供给不足,造成金融发展出现替代化。影子银行主要包括:银行理财产品、非银行金融机构贷款产品和民间借贷。中国影子银行的存在对实