计算机工程与科学杂志北大期刊CSCD期刊统计源期刊

计算机工程与科学 2005年第04期杂志 文档列表

计算机工程与科学杂志软件测试

一个NHPP类软件可靠性增长模型框架第1-2页

关键词: 软件工程；  软件开发；  nhpp类软件；  软件可靠性增长模型；  软件质量；  计算机；  

基于UML Statechart语义的测试序列生成方法第3-5页

关键词: 软件开发；  软件测试；  测试序列生成方法；  uml；  statechart；  语义模型；  

基于硬件与虚拟用户的大型软件性能测试解决方案第6-7页

关键词: 大型软件性能测试；  软件系统；  硬件；  负载建模；  软件开发；  虚拟用户；  

基于索引的准同步检查点的重新计时策略第8-10页

关键词: 分布式检查点算法；  索引；  准同步检查点算法；  重新计时策略；  计算机；  

改进的快速N＋1奇偶校验检查点第11-13页

关键词: 软件工程；  软件开发；  软件容错；  

一种回归测试后的错误定位方法第14-15页

关键词: 软件测试；  回归测试；  软件开发；  程序切片错误定位方法；  chopping技术；  程序分解技术；  

基于错误的表达式测试研究第16-18页

关键词: 软件测试；  程序失效；  表达式测试方法；  单路测试方法；  计算机；  软件开发；  

软件健壮性的包裹测试第19-21页

关键词: 软件健壮性；  包裹测试；  维度模型；  层次化方法；  软件测试；  软件开发；  

包含异常处理的Java程序切片第22-24页

关键词: java语言；  程序设计；  程序切片；  异常处理模块；  数据依赖图；  

计算机工程与科学杂志硬件测试

针对线间串扰现象的静态定时分析第25-28页

关键词: 集成电路；  制造工艺；  超深亚微米工艺；  线间串扰现象；  静态定时分析；  

用于k测试的BIST测试向量生成器第29-30页

关键词: cmos电路；  k测试；  内建自测试；  bist模块；  测试向量生成器；  

大规模数字集成电路标准矩阵功能测试新方法第31-35页

关键词: 大规模数字集成电路；  vlsi；  列交换算法；  标准矩阵；  功能测试；  

基于扫描森林的BIST策略第36-39页

关键词: 集成电路；  自测试技术；  扫描森林结构；  bist策略；  

面向存储器核的内建自测试第40-42页

关键词: 嵌入式随机存储器；  测试；  存储器；  存储器核；  自测试技术；  

基于CTL的SOCIP核的测试技术第43-45页

关键词: 核测试语言；  ctl语言；  socip核；  测试技术；  程序语言；