基于软件体系结构的测试方法

来源 :第二届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户:wfj0808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了尽早发现软件中的错误,提高软件质量,降低研制成本,提出一种以软件开发过程中第一阶段的产品--软件体系结构为基础的新的软件测试方法.从测试内容、测试准则和测试用例的产生三个方面对测试方法进行论述,以自动取款机为例说明了方法的具体操作过程.
其他文献
为了探索人参皂苷Rg1与菌体CpG DNA联合作为重组质粒pcDNA-VP2基因疫苗免疫佐剂提高免疫效果的作用机理,采用鸡外周血淋巴细胞的体外诱导实验,通过细胞形态学观察、MTT测定法
会议
CD58在机体免疫系统中具有重要作用,本研究通过设计兼并引物,应用反转录PCR技术克隆猪CD58基因并在大肠杆菌中进行原核表达,同时运用生物信息学方法对其核苷酸序列、编码的氨
会议
为了解不同免疫抑制性病毒共感染对鸡群细胞免疫反应的影响,用网状内皮增生症病毒(REV)分别与J亚群白血病病毒(ALV-J)、马立克氏病病毒(MDV)和禽呼肠孤病病毒(ARV)单一感染和
会议
LogicSQL数据库是自主研制基于Linux的高安全级别安全数据库.为推广LogicSQL安全数据库,本文进行了LogicSQL安全数据库应用开发研究,并针对企业内部信息进行归档,针对信息的
本试验用RT-PCR方法从ConA刺激的四川山地乌骨鸡的外周血淋巴细胞和脾淋巴细胞总RNA分别扩增了鸡IL-2和IL-15的cDNA.将分离的cDNA片段克隆到PMD18-T载体,进行序列测定分析.结
会议
在阐述操作系统测评原理的基础上,给出一个基于Linux操作系统的安全保护等级测评系统的设计方案,该系统能够半自动的完成操作系统的测评,即在操作人员的参与下对操作系统进行
金手指,日本1982年杂交育成,1993年登记注册,是日本“五指”中(美人指、少女指、婴儿指、长指、金手指)唯一的欧美杂交种。因其果实呈弓形,头稍尖,色泽金黄,故命名为金手指。2001年引入山东省平度市大泽山农科园艺场,2002年开始结果,经过几年的栽培观察,表现非常理想,深受消费者的喜爱。2006年8月14日,在第五届中国优质葡萄擂台赛上,我场选送的金手指葡萄以25.22度的含糖量力压群雄,在近
我和阿英同志相识,是在一九三三年。那时我二十一岁,学徒满师不到两年,从杭州来到上海小西门蓬莱市场传经楼书店当职工,兼为店里的两个学徒传授古书修补技术。这家书店的主要业务是经营古旧书,在上海算小的。其时,时常有这样一个人来店里搜集晚明诗文集,并且为店里重印《山歌》作过序,三十出头,高盘脸,宽额角,眼睛很有神气——这就是阿英,当时化名“张凤吾”。由于店主经常外出收书,逾月不回,店内事务常托我照看。因此
为了提高软件失效间隔时间预测的精度,提出一种基于ALL(自适应局部线性化)算法进行软件失效间隔时间预测的新方法:①对失效间隔时间数据进行预处理,将它们转换为累计运行时间
会议
为解决高安全操作系统在保密性、完整性、统一多级访问控制模型可用性差等问题,本文为安全操作系统引入了可信计算(TCPA)技术,增强其安全性.依据TCPA所提出的可信计算平台原
会议