错误分析

symbolic execution

符号执行

再次,这个工具使用了符号执行(symbolic execution)技术指出导致错误发生的条件,并在输出结果中打印出整个出错路径供程序员分析. 例如清单 4:

tape cartridge

磁带盒

查看本文国际来源 美国先进数字信息公司(Advanced Digital Information Corp.,简称ADIC)宣布对旗下的Scalar i2000磁带库系统进行全面升级,在前代产品的基础之上添加了用户们期待已久的"储存和分析指定磁带盒(tape cartridge)的错误报告"的功能

the Federal Reserve

联邦储备局

在分析危机原因的时候,人们通常把它完全归结于这样的几类原因:按揭贷款人的欺诈,证券投资人、对冲基金、评级机构的贪得无厌,甚至是联邦储备局(the Federal Reserve)前主席阿兰.格林斯潘(Alan Greenspan)所犯下的错误.

trustworthiness

可信赖性

研究结果表明:互联网用户对于网站的细节问题很注重,一些诸如拼写错误之类的小问题都会严重影响用户对于网站的信心. 该项研究分析了决定网站可信度的主要因素,包括专业性(expertise)、可信赖性(trustworthiness)、赞助(sponsorship)以及各种决定网站可信度的

Walkthrough

代码走查

传统的代码分析方式以代码走查(walkthrough)为主,纯手工劳动,费时费力,而且效率低下. 目前国际上许多大学和公司都开展自动化的软件错误检查方法的研究,其理论基础包括了模型检测技术(Model指针逻辑的引入,

lexical hedges

表现形式

词汇错误:Lexical Errors | 表现形式:lexical hedges | 词义分析:lexical analysis

abnormal psychology

变态心理

个体及个体心理一直是心理学中的中心议题,精神分析学说起初是弗洛伊德等心理学家对变态心理(Abnormal Psychology)及个体心理的治疗与关怀;国际政治认知心理层次中的知觉与错误知觉、意象与信念体系以及个体的社会学习等都是从个体心理层次出发的剖析.

French Fifth Republic：法蘭西第五共和

Freight rate 运费率 | French Fifth Republic 法兰西第五共和 | Frequency 次数;频率

cartographic communication：地图传输 地図通信

■ cartographic analysis 地图分析 地図分析 | ■ cartographic communication 地图传输 地図通信 | ■ cartographic data 制图数据 地図データ