久久99精品久久久久久琪琪,久久人人爽人人爽人人片亞洲,熟妇人妻无码中文字幕,亚洲精品无码久久久久久久

計算機軟件高級詞匯中英對照(最終五篇)

時間:2020-10-21 12:01:27下載本文作者:會員上傳
簡介:寫寫幫文庫小編為你整理了多篇相關的《計算機軟件高級詞匯中英對照》,但愿對你工作學習有幫助,當然你在寫寫幫文庫還可以找到更多《計算機軟件高級詞匯中英對照》。

第一篇:計算機軟件高級詞匯中英對照

計算機軟件高級詞匯中英對照

導讀:我根據大家的需要整理了一份關于《計算機軟件高級詞匯中英對照》的內容,具體內容:電腦,又稱計算機,是機械的一種,現在使用的越來越多。接下來我為大家整理了,希望對你有幫助哦!軟件經驗數據 software experience data 軟件風險 so...電腦,又稱計算機,是機械的一種,現在使用的越來越多。接下來我為大家整理了,希望對你有幫助哦!

軟件經驗數據 software experience data

軟件風險 software hazard

軟件庫管理員 software librarian

軟件庫 software library

軟件生存周期 software life cycle

軟件維護員 software maintainer

軟件監控程序 software monitor

軟件操作員 software operator

軟件產品 software product

軟件采購員 software purchaser

軟件質量 software quality

質量保證 quality assurance

質量度量學 quality metrics

軟件度量學 software metrics

軟件質量保證 software quality assurance

軟件質量評判準則 software quality criteria

軟件可靠性 software reliability

軟件注冊員 software registrar

軟件儲藏庫 software repository

軟件復用 software reuse

軟件安全性 software safety

軟件潛行分析 software sneak analysis

軟件單元 software unit

軟件驗證程序 software verifier

規約語言 specification language

規約驗證 specification verification

穩定性 stability

供方 supplier

支持軟件 support software

符號執行 symbolic execution

系統體系結構 system architecture

系統設計 system design

系統文檔 system documentation

系統庫 system library

系統可靠性 system reliability

系統軟件 system software

系統確認 system validation

系統驗證 system verification

終止性證明 termination proof

測試用例生成程序 test case generator

測試覆蓋 test coverage

測試數據生成程序 test data generator

測試驅動程序 test driver

測試階段 test phase

測試過程 test procedure

測試可重復性 test repeatability

測試報告 test report

分時 time sharing

計時分析程序 timing analyzer

追蹤程序 tracer

培訓 training

類型 type

軟件性能 software performance

自適應性 adaptability

內聚性 cohesion

模塊性 modularity

可復用性 reusability

部分正確性 partial correctness

完全正確性 total correctness

有效性 validity

用戶合同管理員 user contract administrator

用戶文檔 user documentation

實用軟件 utility software

版本控制 version control

更改控制 change control

基線 baseline

原型 prototype

原型制作 prototyping

原型速成 rapid prototyping

領域建模 domain modeling, DM

體系結構建模 architecture modeling, AM

黑箱 black-box

白箱 white-box

領域工程師 domain engineer

軟件體系結構 software architecture

軟件再工程 software reengineering

軟件過程 software process

可復用構件 reusable component

基于構件的軟件開發 component-based software development, CBSD

基于構件的軟件工程 component-based software engineering, CBSE

3C 模型 concept, content and context 3C 3C 指概念、內容和語境。

特定領域軟件體系結構 domain-specific software architecture, DSSA

軟件體系結構風格 software architectural style, SAS

合法性撤消 revocation 又稱“合法性取消”。

版本升級 version upgrade

向下兼容 downward compatibility

向上兼容 upward compatibility

管理過程 management process

獲取過程 acquisition process

供應過程 supply process

維護過程 maintenance process

支持過程 supporting process

剪裁過程 tailoring process

軟件工程經濟學 software engineering economics

計算機軟件的法律保護 legal protection of computer software

軟件版權 software copyright

事務分析 transaction analysis

人工認知 artificial cognition

腦功能模塊 brain function module

腦成像 brain imaging

腦模型 brain model

腦科學 brain science

知識塊 chunk

認知 cognition

認知映射 cognitive mapping

認知過程 cognitive process

認知心理學 cognitive psychology

認知仿真 cognitive simulation

認知系統 cognitive system

思維科學 noetic science

認知科學 cognitive science

感知 perception

認知模型 cognitive model

動態記憶 dynamic memory

情景記憶 episodic memory

認識學 epistemology

智能 intelligence

智能科學 intelligent science

群體智能 swarm intelligence

宏理論 macro-theory

記憶組織包 memory organization packet, MOP

記憶表示 memory representation

心智能力 mental ability

心智圖像 mental image

心智信息傳送 mental information transfer

心智機理 mental mechanism

心智狀態 mental state

心智心理學 mental psychology

微理論 micro-theory

機器智能 machine intelligence

物理符號系統 physical symbol system

DS 理論 Dempster-Shafer theory

框架語法 frame grammar

知識工程 knowledge engineering, KE

知識 knowledge

領域知識 domain knowledge

啟發式知識 heuristic knowledge

常識 commonsense

知識表示 knowledge representation, KR

陳述性知識 declarative knowledge

過程性知識 procedural knowledge

知識表示方式 knowledge representation mode

知識模式 knowledge schema

框架知識表示 frame knowledge representation

概念結點 concept node

腳本知識表示 script knowledge representation

狀態空間 state space

狀態圖 state graph

元知識 metaknowledge

元規則 metarule

面向對象表示 object-oriented representation

黑板 blackboard

黑板結構 blackboard structure

知識源 knowledge source

知識結構 knowledge structure

問題 problem

問題診斷 problem diagnosis

問題重構 problem reformulation

問題空間 problem space

問題狀態 problem state

過程分析 procedure analysis

進程定性推理 process qualitative reasoning

規則子句 rule clause

規則 rule

啟發式規則 heuristic rule

前提 antecedent, premise

條件式 conditions

產生式規則 production rule

產生式系統 production system

領域無關規則 domain-independent rule

反向推理 backward reasoning, backward chained reasoning

雙向推理 bidirection reasoning

目標導向推理 goal-directed reasoning

基于知識推理 knowledge-based inference

邏輯推理 logical reasoning

自頂向下推理 top-down reasoning

自底向上推理 bottom-up reasoning

元推理 metareasoning

不確定推理 uncertain reasoning

模糊推理 fuzzy reasoning

類比推理 analogical inference

單調推理 monotonic reasoning

非單調推理 non-monotonic reasoning

限定推理 circumscription reasoning

目標引導行為 goal-directed behavior

啟發式算法 heuristic algorithm

啟發式方法 heuristic approach

啟發式函數 heuristic function

啟發式信息 heuristic information

啟發式程序 heuristic program

啟發式技術 heuristic technique

不完全性理論 incompleteness theory

不合邏輯 illogicality

合一 unification

合一子 unifier

泛合一 universal unification

微信掃一掃二維碼分享到微信好友或朋友圈來源:網友投稿

第二篇:珠寶首飾詞匯中英對照

飾品相關英語詞匯

Hair ornaments 發飾

Hairpin 發夾

Fascinator 用羽毛、花朵、珠子等組成的華麗頭飾 headband 頭巾 tiara 小皇冠

Head ornaments 頭飾及面部裝飾

clip-on earrings 夾式耳環 magnetic earrings 磁石耳環 nose ring 鼻環 nose stud 鼻釘 coronet 花冠

Arm ornaments 臂飾

armlet 臂環 cuff link 袖扣 bangle 手鐲/腳鐲

Body ornaments 身體上的飾物 brooch 胸針 chatelaine 腰鏈 anklet 腳鏈

寶石(Stone)

鉆石Diamond 紅寶石Ruby 藍寶石Sapphire 祖母綠Emerald 綠柱石Beryl 鋯石Zircon 橄欖石Peridot 石榴石Garnet 石英Quartz 水晶Rock crystal 翡翠Jadeite 綠松石Turquoise 孔雀石Malachite 大理石Marble 壽山石Lardetite 珍珠Pearl 珊瑚Coral 琥珀Amber 象牙Ivory 貝殼Shell 閃山靈Opal 縞瑪瑙Onyx 形狀(Shape)

圓形Round 錐形Taper 馬眼形Marquise 梨形Pear 正方形Square 長方形Rectangle 橢圓形Oval 心形Heart 八角形Octagon 三角形Triangle 半圓形Semicircle 類型(Type)

戒指Ring 耳環Earring 吊墜Pendant 手鐲Bangle 手鏈Bracelet 項鏈Necklace 配件Parts 鏈Chain 呔針Tie Pin 呔夾Tie Clip 呔鏈Tie Chain 呔釘Tie Tack 夾子Clip 套裝Set 扣子Clasp 踝飾Anklet 袖口鈕Cufflinks 發夾Hair Clip 框Frame 筆夾Pen Clip 金幣Gold Coin 胸針Brooch 一串Strand 鎖匙扣Key Holder 雕刻品Carving 條形襟針Stick Pin 表Watch 相盒Locket 封底片Plate 瓜子耳Bails 珠子Bead 扣掣Snap 款式Style 鑲嵌(Setting)

針板鑲座Bar setting 包鑲Bezel setting 夾鑲Channel setting 群鑲Cluster setting 吉普賽鑲Gypsy setting 隱藏式鑲Invisible 密鑲式鑲Pave setting 爪鑲Prong setting 座單石鑲Solitaire setting 帝凡尼鑲Tiffany setting 金屬(Metal)

黃金Gold 銀Silver 銅Cuprum 鉑金Platinum 鈀金Palladium ———————————————————————————————— bangle(手,腳)鐲的 bracelet(手,腳)鏈鐲的

tennis bracelet 由塊狀物連接起來的手鏈brooch(胸,領)針的 charm 鏈的添加飾品,用來個性化手鏈的 earring 耳環的 necklace 項鏈的

navel jewellery 肚臍飾品的 belly ring 環狀肚臍飾品的 barbell 杠鈴狀肚臍飾品的 dangle 有墜子的肚臍飾品的 pendant 項鏈的墜子的 ring 戒指的

toe ring 腳趾也戴戒指的 tongue ring 舌環...的

tongue bar 裝在舌頭上的的 fine silver 999 純銀的 sterling silver 925 銀的 coin silver 800 或900 銀的 gemstone 寶石的 gold plated 鍍金的的

genuine diamond 真鉆石的

CZ diamond 水鉆,就是種水晶的 ruby 紅寶石的 sapphire 藍寶石的 emerald 綠寶石的

topaz 黃寶石,它也是有很多顏色的的 moonstone 月光石,月亮石的 garnet 石榴石的 jade 翡翠的 crystal 水晶的 amethyst 紫水晶的 rose quartz 玫瑰石英的 opal 澳寶的

zircon 鋯石,風信子石,據說跟水晶一樣硬而韌,比鉆石色散更高,較便宜的 oval 卵狀的 teardrop 淚狀的 leaf 葉狀的 wing 翅狀的 heart 心形的

bead 珠子,珠狀的 jewellery box 首飾盒

------------------1、寶石名稱

寶石類:

鉆石:diamond 剛玉:corundum 紅寶石: ruby 藍寶石: sapphire 綠寶石: beryl 石英: quartz 水晶:

無色水晶:rock crystal 黃水晶: citrine 煙晶: smoky quartz 紫晶: amethyst 薔薇輝石:rhodonite 綠柱石:

祖母綠: emerald 金綠寶石:chrysoberyl 石榴石: garnet 尖晶石: spinel 鋯石: zircon 電氣石: tourmaline 橄欖石: peridot 變石(亞歷山大石):alexandrite 托帕石: topaz 瑪瑙: agate 方解石: calcite 磷灰石: apatite 琥珀: amber 珍珠: pearl 象牙: ivory 閃亮拉光石labradorite 貝殼sea-shell 玉石類:

硬玉: jadeite 翡翠:jade 軟玉: nephrite 歐泊: opal 孔雀石: malachite 長石: feldspar 玉髓: chalcedony 綠松石: turquoise 金屬(metal)鉑金: platinum 純金: gold 純銀: sterling 銅: copper 黃銅: brass 鐵: iron 鈣: calcium 錫: tin 鎂: magnesium 錳: manganese 鉻: chromium 琺瑯: enamel 白蠟: pewter 合金: alloy 非合金: unalloy 塊金: nugget 2.常見首飾

手鐲bracelet 戒指ring 胸針brooches 掛件pendant 耳環earring 鈕扣button 項鏈necklace 皮帶strap 領帶tie 紐扣button 珠子bead 3.物理、化學性質

硬度hardness 摩氏硬度:Mohs scale 全稱the Mohs hardness 體積volume 韌性toughness 斷口fracture 貝殼狀斷口:conchoidal fracture 參差狀斷口:splintery fracture 無斷口: smooth or even fracture 鋸齒狀斷口:hackly or uneven fracture 解理cleavage 裂開parting 密度density 相對密度:relative density=specific gravity 比重specific gravity(S.G.)光澤luster 失去光澤tarnish 熔點melt point 煉制合金alloying 拋cast 錘hammer 焊solder 鍍plate(鍍金、銀等)電鍍 plated ad.鍍金的,裝甲的

plating n.(電)鍍,噴鍍;鍍金(術),包覆金屬 熔敖deposit 熔敖,涂,(噴)鍍 腐蝕corrosion 退火annealing 軟焊soldering

4、寶石的特征: 美麗的beauty 稀有的rarity 耐久的durability 穩定的stable 可塑的malleable 可塑的,有延展性的 malleability 能力,可塑性平坦地plainly平坦地,明白地 客觀的external 外部的 避邪的talismanic 護身符的 醫療的curative 預防疾病的prophylactic 傳統的traditional 超自然的supranatural 象征性的symbolically

5、計量單位: 卡拉karat(K)克拉carat

仿首飾:imitation jewelry/semi-precious 真首飾:fine jewelry/precious...頭飾:hair accessories 皇冠:tiara 項鏈:necklace 吊墜:pendant 耳環:earring 胸針:brooch 手鏈:bracelet 手鐲:bangle 戒指:ring 腳鏈:anklet 絲巾扣scarf buckle 奧鉆:swarovski rhinestone 捷克鉆:czech stones 松石:turquoise 電泳:electrophoresis 電鍍:electroplate 磨砂石:matte plastic bead 貓眼:cat's eye 水晶:crystal 珍珠:pearl 合金鑄造:white metal casting 爪鏈:cup chain 壓克力:acrylic 鍍金:gold plating 古金:antique gold 古銀:antique silver 古銅:antique copper 古青銅:antique bronze 霧金:matte gold 鍍白金:rhodium plated 鍍代銠:imitation rhodium 烤漆:lacquer 鉆色

crystal 白色

black diamond 淺茶 jet 黑色

aquamarine 湖藍 lt.sapphire 淺蘭 sapphire 深藍 montana 墨蘭 capri blue peridot 淺綠 olivine 橄欖綠 blue zircon 綠鋯石 emerald 深綠 green turaline 淺黃jonquil 金黃topaz 淡黃lt.colorado topaz 煙黃smoked topaz 淺粉lt.rose 粉紅rose 梅紅fuchsia 紅鋯石hyacinth 大紅lt.siam 深紅siam 紅寶石ruby 石榴紅garnet 淺紫:lt.amethyst 深紫:amethyst Walton filter 沃爾頓濾色鏡 Wardite 水磷鋁納石 Wart agate 瘤狀瑪瑙

Wart pearl 瘤狀珍珠同blister pearl Warty Back pearl 沃蒂拜克珍珠 Washboard pearl 洗衣皮珍珠 Wassie(Wass)大裂片 Watch fob 表鎖環 Water 水(鉆),水(色)Water agate 水瑪瑙

Water chrysolite 水橄欖石同moldavite Water drop 水滴

Water drop quartz 水滴石英,水膽水晶 Water-of-Ayr stone 恨水石 Water opal 水蛋白石 Water sapphire 水藍寶石 Water stone 水石

Watermelon tourmalin 西瓜碧璽 WaterWorn stone 水蝕石 Wax agata 蠟狀瑪瑙 Wax jade 蜜蠟黃玉 Wax opal 蠟狀蛋白石 Wax pearl 蠟珍珠

Webster Kopjie Diamond 韋伯斯特?考帕吉鉆石 Wedding anniversary 結婚紀念日 Wedding ring 結婚戒指 WedgeWood 瓷器 Well 井眼

Wernerite 柱石

Wesseltons 維謝爾頓鉆

Wet digging 濕礦山,沖積礦山 Whern 燧石 Whistle 魚鰾型 Whitamite 綠廉石

Whitby jet 懷特比煤礦 White carnelian 白光玉髓 White Cliffs opal 白崖歐泊 White emerald 白祖母綠 White garnet 白色石榴石 White gold 白色金

White iron pyrites 白鐵礦 White jade 白玉 White jadeite 白翡翠

White moss agate 白苔蘇瑪瑙 White metal 白色合金 White opal 白歐泊

White sapphire 白色藍寶石 White Saxon 白薩克森鉆石 White schorl 鈉長石 White silk stone 白絹石 White stone 玻璃假寶石 White topaz 白色黃寶石

WickloW diamond 威克洛鉆石 Wilconite 紫方柱石 Wild pearl 野生珍珠 Willemite 硅鋅礦 Williamsite 纖蛇紋石 Wilsonite 紫紅方柱石

Wiluite 硼符山石,鈣鋁榴石,威魯石 WindoW cut 窗型 Wing pearl 羽翼珍珠

Wisconsin pearl 威斯康星珍珠 Wisps 云雪瑕疵 Wolf's eye 狼眼石 Wolf's eye ston 狼眼石 Wollastonite 硅灰石 飾品名詞

常見的電鍍有如下幾種:

1.鍍20K 金(20K GOLD PLATING)2.鍍白K(Imitation Rhodium Plated)3.鍍銀(silver plated)4.鍍古金(antique gold)5.鍍古銀(antique silver)6.鍍古銅(antique copper)7.鍍古青銅(antique bronze)8.鍍白金(rodium plated)9.鍍槍黑(gun color plated)無鎳((Nickle free)仿首飾:imitation jewelry/semi-precious 真首飾:fine jewelry/precious.......飾品常見的材質分為以下幾種:

1.合金飾品:white metal casting Jewelry or alloy jewelry 2.爪鏈飾品:cup chain Jewelry or claw chain 3.銀飾品:salver 925 Jewelry 4.珍珠飾品:pearl Jewelry 水鉆有很多種類,從高到低依次為:

1.奧地利產,施華洛世奇swarovski rhinestone 2.奧登鉆

2.捷克鉆czech stones 3.中東鉆

4.印度鉆(也稱碎石)5.國貿鉆(國產鉆)

7.壓克力(塑料的)acrylic 與飾品搭配的還有:

1.鋯石(zircon)2.貓眼(cat's eye)3.馬眼(horses)3.水晶(crystal eye)4.珍珠(pearl)5.貝殼(cowry)6.松石(turquoise)7.膠珠:(PLASTIC BEADS)8.水晶膠(crystal pastern)9.樹脂(Resin)10.綠松石(turquoise)

Wollastonite cat's eye 硅灰石貓眼石 Wood agate 木瑪瑙 Wood opal 木蛋白石 Wood stone 木石 Wood tin 木錫石

World's eye 眾人之眼,世界之眼 Wurttenberg jet 維滕貝爾格煤精 Wyoming jade 懷俄明 Wyse ruby 威斯紅寶石

Ornaments,headgear,jewelry 首飾 Gold fashions 金飾 Silver fashions 銀飾 Hair decorations 發飾 Waist chain 腰鏈 Trousers chain 褲鏈 Pendant 項飾 Necklace 項鏈 Earrings 耳環 Ring 戒指

Bracelet 手鏈, 手鐲 Bobby pin 發夾 Brooch 胸針 Bangle 手鐲 Pendant 鏈墜 Toe ring 腳戒 Gemstone 寶石 Gold plated 鍍金的

Genuine diamond 真鉆石 CZ diamond 水鉆,水晶 Zircon 鋯石,風信子石, Heart 心形的 Bead 珠子 Set 套飾

Mobile chain 手機鏈 Key chain 鑰匙扣 Button 鈕扣 Pin 別針

Headgear 頭飾

Fine silver 999 純銀的 Sterling silver 925銀 Coin silver 800或900銀 Button 紐扣 Stock 庫存 Dog chain 爪鏈 Conch 貝殼 Woodiness 木質 Acryl 壓克力 Alloy 合金 Iron 鐵

Material 材質 Size 尺寸 Finery 服飾 Fittings 配件 Crown 皇冠 Resin 樹脂 Opal 貓眼石 Necklace----項鏈 Earring----耳環 Pendant----吊塹 Key chain—鑰匙鏈 Key ring---鑰匙扣 Acryl---亞克力 Pantone---潘東色卡號

Rose gold colour----玫瑰金色 Plastic beed-----塑料珠子 Bubble bag----氣泡袋 Organza bag---紗袋 color printed polybag---四色印刷OPP 袋 Czech crystal----捷克鉆

Drop shaped pendant----水滴形吊塹 Beed---珠子 Plating---電鍍

Black fabric strap for hanging the mobile---?(掛手機的繩子)Charm bracelets-----手鐲掛件 Metal charms---金屬掛件 gemstone 寶石的 gold plated 鍍金的的

genuine diamond 真鉆石的

CZ diamond 水鉆,就是種水晶的 ruby 紅寶石的 sapphire 藍寶石的 emerald 綠寶石的

topaz 黃寶石,它也是有很多顏色的的 moonstone 月光石,月亮石的 garnet 石榴石的 jade 翡翠的 crystal 水晶的 amethyst 紫水晶的 rose quartz 玫瑰石英的 opal 澳寶的

Natural color;begin colour 自然色

Primary colour;fundamental colour 原色 Pure colour 純色

Complementary colour 補色

Fashion colour;trend colour 流行色 International colour 國際流行色 Essential colour 基本色 Similar colour 同類色 Multicolour 多種色彩 Full colour 彩色 Plain colour 素色

Secondary color 混合色 Contract colour 對比色 Cold colour 冷色 Warm colour 暖色

Neutral colour;intermedium colour 中間色 Soft colour 柔和色 Rich in colour 濃色

Advancing colour 前進色 Receding colour 后退色 Expansive colour 膨脹色 Contracting colour 收縮色 Ground colour 底色 Surface colour 表面色 Transparent color 透明色 Metal colour 金屬色 Accent colour 強調色

Colour matching;colour combination 配色 Colour mixing 調色 bangle(手,腳)鐲的 bracelet(手,腳)鏈鐲的

tennis bracelet 由塊狀物連接起來的手鏈brooch(胸,領)針的 charm 鏈的添加飾品,用來個性化手鏈的 earring 耳環的 necklace 項鏈的

navel jewellery 肚臍飾品的 belly ring 環狀肚臍飾品的 barbell 杠鈴狀肚臍飾品的 dangle 有墜子的肚臍飾品的 pendant 項鏈的墜子的 ring 戒指的

toe ring 腳趾也戴戒指的 tongue ring 舌環...的

tongue bar 裝在舌頭上的的 fine silver 999純銀的 sterling silver 925銀的 coin silver 800或900銀的 gemstone 寶石的 gold plated 鍍金的的

genuine diamond 真鉆石的

CZ diamond 水鉆,就是種水晶的 ruby 紅寶石的 sapphire 藍寶石的 emerald 綠寶石的

topaz 黃寶石,它也是有很多顏色的 moonstone 月光石,月亮石的 garnet 石榴石的 jade 翡翠的 crystal 水晶的 amethyst 紫水晶的 rose quartz 玫瑰石英的 opal 澳寶的

zircon 鋯石,風信子石,據說跟水晶一樣硬而韌,比鉆石色散更高,較便宜的 oval 卵狀的 teardrop 淚狀的 leaf 葉狀的 wing 翅狀的 heart 心形的

bead 珠子,珠狀的 jewellery box 首飾盒

第三篇:數學詞匯中英對照

初等數學 elementary mathematics 高等數學 higher mathematics 現代數學 modern mathematics 基礎數學 basic mathematics 應用數學 applied mathematics 計算數學computational mathematics 復變函數論 theory of functions of a complex variable 實變函數論 theory of functions of a real variable 泛函分析 functional analysis 數理邏輯 mathematical logic 數理統計 mathematical statistics 常微分方程 ordinary differential equation 偏微分方程 partial differential equation 數理方程 equation of mathematical physics 代數拓撲學 algebraic topology 集合論 set theory 拓撲空間 topological 概率論 probability 隨機過程 stochastic process 李群 Lie group 數論 number theory 圖論 graph theory 編碼理論 coding theory 混沌理論 chaotic theory 一般詞匯

數學 mathematics, maths(BrE), math(AmE)公理 axiom 定理 theorem 計算 calculation 運算 operation 證明 prove 假設 hypothesis, hypotheses(pl.)命題 proposition

算術 arithmetic 加 plus(prep.), add(v.), addition(n.)被加數 augend, summand 加數 addend 和 sum 減 minus(prep.), subtract(v.), subtraction(n.)被減數 minuend 減數 subtrahend 差 remainder 乘 times(prep.), multiply(v.), multiplication(n.)被乘數 multiplicand, faciend 乘數 multiplicator 積 product 除 divided by(prep.), divide(v.), division(n.)被除數 dividend 除數 divisor 商 quotient 等于 equals, is equal to, is equivalent to 大于 is greater than 小于 is lesser than 大于等于 is equal or greater than 小于等于 is equal or lesser than 運算符 operator 數字 digit 數 number 自然數 natural number 整數 integer 小數 decimal 小數點 decimal point 分數 fraction 分子 numerator 分母 denominator 比 ratio 正 positive 負 negative 零 null, zero, nought, nil 十進制 decimal system 二進制 binary system 十六進制 hexadecimal system 權 weight, significance 進位 carry 截尾 truncation 四舍五入 round 下舍入 round down 上舍入 round up 有效數字 significant digit 無效數字 insignificant digit

代數 algebra 公式 formula, formulae(pl.)單項式 monomial 多項式 polynomial, multinomial 系數 coefficient 未知數 unknown, x-factor, y-factor, z-factor 等式,方程式 equation 一次方程 simple equation 二次方程 quadratic equation 三次方程 cubic equation 四次方程 quartic equation 不等式 inequation 階乘 factorial 對數 logarithm 指數,冪 exponent 乘方 power 二次方,平方 square 三次方,立方 cube 四次方 the power of four, the fourth power n次方 the power of n, the nth power 開方 evolution, extraction 二次方根,平方根 square root 三次方根,立方根 cube root 四次方根 the root of four, the fourth root n次方根 the root of n, the nth root 集合 aggregate 元素 element 空集 void 子集 subset 交集 intersection 并集 union 補集 complement 映射 mapping 函數 function 定義域 domain, field of definition 值域 range 常量 constant 變量 variable 單調性 monotonicity 奇偶性 parity 周期性 periodicity 圖象 image 數列,級數 series 微積分 calculus 微分 differential 導數 derivative 極限 limit 無窮大 infinite(a.)infinity(n.)無窮小 infinitesimal 積分 integral 定積分 definite integral 不定積分 indefinite integral 有理數 rational number 無理數 irrational number 實數 real number 虛數 imaginary number 復數 complex number 矩陣 matrix 行列式 determinant

幾何 geometry 點 point 線 line 面 plane 體 solid 線段 segment 射線 radial平行 parallel 相交 intersect 角 angle 角度 degree 弧度 radian 銳角 acute angle 直角 right angle 鈍角 obtuse angle平角 straight angle 周角 perigon 底 base 邊 side 高 height 三角形 triangle 銳角三角形 acute triangle 直角三角形 right triangle 直角邊 leg 斜邊 hypotenuse 勾股定理 Pythagorean theorem 鈍角三角形 obtuse triangle 不等邊三角形 scalene triangle 等腰三角形 isosceles triangle 等邊三角形 equilateral triangle 四邊形 quadrilateral平行四邊形 parallelogram 矩形 rectangle 長 length 寬 width 菱形 rhomb, rhombus, rhombi(pl.), diamond 正方形 square 梯形 trapezoid 直角梯形 right trapezoid 等腰梯形 isosceles trapezoid 五邊形 pentagon 六邊形 hexagon 七邊形 heptagon 八邊形 octagon 九邊形 enneagon 十邊形 decagon 十一邊形 hendecagon 十二邊形 dodecagon 多邊形 polygon 正多邊形 equilateral polygon 圓 circle 圓心 centre(BrE), center(AmE)半徑 radius 直徑 diameter 圓周率 pi 弧 arc 半圓 semicircle 扇形 sector 環 ring 橢圓 ellipse 圓周 circumference 周長 perimeter 面積 area 軌跡 locus, loca(pl.)相似 similar 全等 congruent 四面體 tetrahedron 五面體 pentahedron 六面體 hexahedron平行六面體 parallelepiped 立方體 cube 七面體 heptahedron 八面體 octahedron 九面體 enneahedron 十面體 decahedron 十一面體 hendecahedron 十二面體 dodecahedron 二十面體 icosahedron 多面體 polyhedron 棱錐 pyramid 棱柱 prism 棱臺 frustum of a prism 旋轉 rotation 軸 axis 圓錐 cone 圓柱 cylinder 圓臺 frustum of a cone 球 sphere 半球 hemisphere 底面 undersurface 表面積 surface area 體積 volume 空間 space 坐標系 coordinates 坐標軸 x-axis, y-axis, z-axis 橫坐標 x-coordinate 縱坐標 y-coordinate 原點 origin 雙曲線 hyperbola 拋物線 parabola

三角 trigonometry 正弦 sine 余弦 cosine 正切 tangent 余切 cotangent 正割 secant 余割 cosecant 反正弦 arc sine 反余弦 arc cosine 反正切 arc tangent 反余切 arc cotangent 反正割 arc secant 反余割 arc cosecant 相位 phase 周期 period 振幅 amplitude 內心 incentre(BrE), incenter(AmE)外心 excentre(BrE), excenter(AmE)旁心 escentre(BrE), escenter(AmE)垂心 orthocentre(BrE), orthocenter(AmE)重心 barycentre(BrE), barycenter(AmE)內切圓 inscribed circle 外切圓 circumcircle

統計 statistics平均數 average 加權平均數 weighted average 方差 variance 標準差 root-mean-square deviation, standard deviation 比例 propotion 百分比 percent 百分點 percentage 百分位數 percentile 排列 permutation 組合 combination 概率,或然率 probability 分布 distribution 正態分布 normal distribution 非正態分布 abnormal distribution 圖表 graph 條形統計圖 bar graph 柱形統計圖 histogram 折線統計圖 broken line graph 曲線統計圖 curve diagram 扇形統計圖 pie diagram 方程

wave equation 波動方程 tangental equation 切線方程 quartic equation 四次方程式 quadratic equation 二次方程式 magnitude equation 【天】星等差 linear equation 一次方程式

irreducible equation 不可約方程 integral equation 積分方程

indicial equation 【數】指數方程 indeterminate equation 不定方程

集合與簡易邏輯

集合(集)

set 非負整數集

the set of all non-negative integers 自然數集

the set of all natural numbers 正整數集

the set of all positive integers 整數集

the set of all integers 有理數集

the set of all rational numbers 實數集

the set of all real numbers 元素

element 屬于

belong to 不屬于

not belong to 有限集

finite set 無限集

infinite set 空集

empty set 包含

inclusion, include 包含于

lie in 子集

subset 真子集

補集(余集)

全集

交集

并集

偶數集

奇數集

含絕對值的不等式

一元二次不等式

邏輯

邏輯聯結詞

真值表

原命題

逆命題

否命題

逆否命題

充分條件

必要條件

充要條件

……的充要條件是……

函數

函數

自變量

定義域

值域

區間

閉區間

開區間

函數的圖象

proper subset

complementary set universe intersection

union

the set of all even numbers

the set of all odd numbers

inequality with absolute value

one-variable quadratic inequality

logic

logic connective

or

and

not

true

false

truth table

original proposition

converse proposition

negative proposition

converse-negative proposition

sufficient condition

necessary condition

sufficient and necessary condition … if and only if …

function argument domain range interval

closed interval open interval graph of function

映射

mapping 象

image 原象

inverse image 單調

monotone 增函數

increasing function 減函數

decreasing function 單調區間

monotone interval 反函數

inverse function 指數

exponent n次方根

根式

根指數

被開方數

指數函數

對數

常用對數

自然對數

對數函數

數列

數列

通項公式

有窮數列

無窮數列

遞推公式

等差數列

公差

等差中項

等比數列

公比

等比中項

三角函數

三角函數

始邊

終邊

正角

負角

零角

象限角

弧度

弧度制

n th root

radical

radical exponent

radicand

exponential function

logarithm

common logarithm

natural logarithm

logarithmic function

sequence of number

term

the formula of general term

finite sequence of number

infinite sequence of number

recurrence formula

arithmetic progression,arithmetic series

common difference

arithmetic mean

geometric progression,geometric series

common ratio

geometric mean trigonometric function initial side terminal side positive angle negative angle zero angle quadrant angle radian

radian measure

角度制

degree measure 正弦

sine 余弦

cosine 正切

tangent 余切

cotangent 正割

secant 余割

cosecant 誘導公式

induction formula 正弦曲線

sine curve 余弦曲線

最大值

最小值

周期

最小正周期

周期函數

振幅

頻率

相位

初相

反正弦

反余弦

反正切

平面向量

有向線段

數量

向量

零向量

相等向量

共線向量

平行向量

向量的數乘

單位向量

基底

基向量

平移

數量積

正弦定理

余弦定理

不等式

算術平均數

幾何平均數

比較法

cosine curve maximum minimum period

minimal positive period periodic function

amplitude of vibration frequency phase

initial phase arc sine arc cosine arc tangent directed line segment scalar quantity vector zero vector equal vector collinear vectors parallel vectors

multiplication of vector by scalar unit vector base

base vectors translation inner product sine theorem cosine theorem

arithmetic mean

geometric mean

method of compare

綜合法

method of synthesis 分析法

method of analysis 直線

傾斜角

angle of inclination 斜率

gradient 點斜式

point slope form 截距

intercept 斜截式

gradient intercept form 兩點式

一般式

夾角

線性規劃

約束條件

目標函數

可行域

最優解

圓錐曲線

曲線

坐標法

解析幾何

笛卡兒

標準方程

一般方程

參數方程

參數

圓錐曲線

橢圓

焦點

焦距

長軸

短軸

離心率

雙曲線

實軸

虛軸

漸近線

拋物線

準線

初等數學 elementary mathematics 高等數學 higher mathematics 現代數學 modern mathematics 基礎數學 basic mathematics 應用數學 applied mathematics

two-point form general form included angle

linear programming constraint condition objective function feasible region optimal solution curve

method of coordinate analytic geometry Descartes

standard equation general equation parameter equation parameter point conic ellipse

focus, focal points focal length major axis minor axis eccentricity hyperbola real axis

imaginary axis asymptote parabola directrix

計算數學computational mathematics 復變函數論 theory of functions of a complex variable 實變函數論 theory of functions of a real variable 泛函分析 functional analysis 數理邏輯 mathematical logic 數理統計 mathematical statistics 常微分方程 ordinary differential equation 偏微分方程 partial differential equation 數理方程 equation of mathematical physics 代數拓撲學 algebraic topology 集合論 set theory 拓撲空間 topological 概率論 probability 隨機過程 stochastic process 李群 Lie group 數論 number theory 圖論 graph theory 編碼理論 coding theory 混沌理論 chaotic theory 一般詞匯

數學 mathematics, maths(BrE), math(AmE)公理 axiom 定理 theorem 計算 calculation 運算 operation 證明 prove 假設 hypothesis, hypotheses(pl.)命題 proposition

算術 arithmetic 加 plus(prep.), add(v.), addition(n.)被加數 augend, summand 加數 addend 和 sum 減 minus(prep.), subtract(v.), subtraction(n.)被減數 minuend 減數 subtrahend 差 remainder 乘 times(prep.), multiply(v.), multiplication(n.)被乘數 multiplicand, faciend 乘數 multiplicator 積 product 除 divided by(prep.), divide(v.), division(n.)被除數 dividend 除數 divisor 商 quotient 等于 equals, is equal to, is equivalent to 大于 is greater than 小于 is lesser than 大于等于 is equal or greater than 小于等于 is equal or lesser than 運算符 operator 數字 digit 數 number 自然數 natural number 整數 integer 小數 decimal 小數點 decimal point 分數 fraction 分子 numerator 分母 denominator 比 ratio 正 positive 負 negative 零 null, zero, nought, nil 十進制 decimal system 二進制 binary system 十六進制 hexadecimal system 權 weight, significance 進位 carry 截尾 truncation 四舍五入 round 下舍入 round down 上舍入 round up 有效數字 significant digit 無效數字 insignificant digit

代數 algebra 公式 formula, formulae(pl.)單項式 monomial 多項式 polynomial, multinomial 系數 coefficient 未知數 unknown, x-factor, y-factor, z-factor 等式,方程式 equation 一次方程 simple equation 二次方程 quadratic equation 三次方程 cubic equation 四次方程 quartic equation 不等式 inequation 階乘 factorial 對數 logarithm 指數,冪 exponent 乘方 power 二次方,平方 square 三次方,立方 cube 四次方 the power of four, the fourth power n次方 the power of n, the nth power 開方 evolution, extraction 二次方根,平方根 square root 三次方根,立方根 cube root 四次方根 the root of four, the fourth root n次方根 the root of n, the nth root 集合 aggregate 元素 element 空集 void 子集 subset 交集 intersection 并集 union 補集 complement 映射 mapping 函數 function 定義域 domain, field of definition 值域 range 常量 constant 變量 variable 單調性 monotonicity 奇偶性 parity 周期性 periodicity 圖象 image 數列,級數 series 微積分 calculus 微分 differential 導數 derivative 極限 limit 無窮大 infinite(a.)infinity(n.)無窮小 infinitesimal 積分 integral 定積分 definite integral 不定積分 indefinite integral 有理數 rational number 無理數 irrational number 實數 real number 虛數 imaginary number 復數 complex number 矩陣 matrix 行列式 determinant

幾何 geometry 點 point 線 line 面 plane 體 solid 線段 segment 射線 radial平行 parallel 相交 intersect 角 angle 角度 degree 弧度 radian 銳角 acute angle 直角 right angle 鈍角 obtuse angle平角 straight angle 周角 perigon 底 base 邊 side 高 height 三角形 triangle 銳角三角形 acute triangle 直角三角形 right triangle 直角邊 leg 斜邊 hypotenuse 勾股定理 Pythagorean theorem 鈍角三角形 obtuse triangle 不等邊三角形 scalene triangle 等腰三角形 isosceles triangle 等邊三角形 equilateral triangle 四邊形 quadrilateral平行四邊形 parallelogram 矩形 rectangle 長 length 寬 width 菱形 rhomb, rhombus, rhombi(pl.), diamond 正方形 square 梯形 trapezoid 直角梯形 right trapezoid 等腰梯形 isosceles trapezoid 五邊形 pentagon 六邊形 hexagon 七邊形 heptagon 八邊形 octagon 九邊形 enneagon 十邊形 decagon 十一邊形 hendecagon 十二邊形 dodecagon 多邊形 polygon 正多邊形 equilateral polygon 圓 circle 圓心 centre(BrE), center(AmE)半徑 radius 直徑 diameter 圓周率 pi 弧 arc 半圓 semicircle 扇形 sector 環 ring 橢圓 ellipse 圓周 circumference 周長 perimeter 面積 area 軌跡 locus, loca(pl.)相似 similar 全等 congruent 四面體 tetrahedron 五面體 pentahedron 六面體 hexahedron平行六面體 parallelepiped 立方體 cube 七面體 heptahedron 八面體 octahedron 九面體 enneahedron 十面體 decahedron 十一面體 hendecahedron 十二面體 dodecahedron 二十面體 icosahedron 多面體 polyhedron 棱錐 pyramid 棱柱 prism 棱臺 frustum of a prism 旋轉 rotation 軸 axis 圓錐 cone 圓柱 cylinder 圓臺 frustum of a cone 球 sphere 半球 hemisphere 底面 undersurface 表面積 surface area 體積 volume 空間 space 坐標系 coordinates 坐標軸 x-axis, y-axis, z-axis 橫坐標 x-coordinate 縱坐標 y-coordinate 原點 origin 雙曲線 hyperbola 拋物線 parabola

三角 trigonometry 正弦 sine 余弦 cosine 正切 tangent 余切 cotangent 正割 secant 余割 cosecant 反正弦 arc sine 反余弦 arc cosine 反正切 arc tangent 反余切 arc cotangent 反正割 arc secant 反余割 arc cosecant 相位 phase 周期 period 振幅 amplitude 內心 incentre(BrE), incenter(AmE)外心 excentre(BrE), excenter(AmE)旁心 escentre(BrE), escenter(AmE)垂心 orthocentre(BrE), orthocenter(AmE)重心 barycentre(BrE), barycenter(AmE)內切圓 inscribed circle 外切圓 circumcircle

統計 statistics平均數 average 加權平均數 weighted average 方差 variance 標準差 root-mean-square deviation, standard deviation 比例 propotion 百分比 percent 百分點 percentage 百分位數 percentile 排列 permutation 組合 combination 概率,或然率 probability 分布 distribution 正態分布 normal distribution 非正態分布 abnormal distribution 圖表 graph 條形統計圖 bar graph 柱形統計圖 histogram 折線統計圖 broken line graph 曲線統計圖 curve diagram 扇形統計圖 pie diagram 方程

wave equation 波動方程 tangental equation 切線方程 quartic equation 四次方程式 quadratic equation 二次方程式 magnitude equation 【天】星等差 linear equation 一次方程式

irreducible equation 不可約方程 integral equation 積分方程

indicial equation 【數】指數方程 indeterminate equation 不定方程

集合與簡易邏輯

集合(集)

set 非負整數集

the set of all non-negative integers 自然數集

the set of all natural numbers 正整數集

the set of all positive integers 整數集

the set of all integers 有理數集

the set of all rational numbers 實數集

the set of all real numbers 元素

element 屬于

belong to 不屬于

not belong to 有限集

finite set 無限集

infinite set 空集

empty set 包含

inclusion, include 包含于

lie in 子集

subset 真子集

proper subset 補集(余集)

complementary set 全集

universe 交集

intersection 并集

union 偶數集

奇數集

含絕對值的不等式

一元二次不等式

邏輯

邏輯聯結詞

真值表

原命題

逆命題

否命題

逆否命題

充分條件

必要條件

充要條件

……的充要條件是……

函數

函數

自變量

定義域

值域

區間

閉區間

開區間

函數的圖象

映射

原象

單調

增函數

the set of all even numbers

the set of all odd numbers

inequality with absolute value

one-variable quadratic inequality

logic

logic connective

or

and

not

true

false

truth table

original proposition

converse proposition

negative proposition

converse-negative proposition

sufficient condition

necessary condition

sufficient and necessary condition … if and only if …

function argument domain range interval

closed interval open interval graph of function mapping image

inverse image monotone

increasing function

減函數

decreasing function 單調區間

monotone interval 反函數

inverse function 指數

exponent n次方根

n th root 根式

radical 根指數

radical exponent 被開方數

radicand 指數函數

exponential function 對數

常用對數

自然對數

對數函數

數列

數列

通項公式

有窮數列

無窮數列

遞推公式

等差數列

公差

等差中項

等比數列

公比

等比中項

三角函數

三角函數

始邊

終邊

正角

負角

零角

象限角

弧度

弧度制

角度制

正弦

余弦

正切

logarithm

common logarithm

natural logarithm

logarithmic function

sequence of number

term

the formula of general term

finite sequence of number

infinite sequence of number

recurrence formula

arithmetic progression,arithmetic series

common difference

arithmetic mean

geometric progression,geometric series

common ratio

geometric mean trigonometric function initial side terminal side positive angle negative angle zero angle quadrant angle radian

radian measure degree measure sine cosine tangent

余切

cotangent 正割

secant 余割

cosecant 誘導公式

induction formula 正弦曲線

sine curve 余弦曲線

cosine curve 最大值

maximum 最小值

minimum 周期

period 最小正周期

周期函數

振幅

頻率

相位

初相

反正弦

反余弦

反正切

平面向量

有向線段

數量

向量

零向量

相等向量

共線向量

平行向量

向量的數乘

單位向量

基底

基向量

平移

數量積

正弦定理

余弦定理

不等式

算術平均數

幾何平均數

比較法

綜合法

分析法

直線

minimal positive period periodic function

amplitude of vibration frequency phase

initial phase arc sine arc cosine arc tangent directed line segment scalar quantity vector zero vector equal vector collinear vectors parallel vectors

multiplication of vector by scalar unit vector base

base vectors translation inner product sine theorem cosine theorem

arithmetic mean

geometric mean

method of compare

method of synthesis

method of analysis

傾斜角

angle of inclination 斜率

gradient 點斜式

point slope form 截距

intercept 斜截式

gradient intercept form 兩點式

two-point form 一般式

general form 夾角

included angle 線性規劃

linear programming 約束條件

目標函數

可行域

最優解

圓錐曲線

曲線

坐標法

解析幾何

笛卡兒

標準方程

一般方程

參數方程

參數

圓錐曲線

橢圓

焦點

焦距

長軸

短軸

離心率

雙曲線

實軸

虛軸

漸近線

拋物線

準線

constraint condition objective function feasible region optimal solution curve

method of coordinate analytic geometry Descartes

standard equation general equation parameter equation parameter point conic ellipse

focus, focal points focal length major axis minor axis eccentricity hyperbola real axis

imaginary axis asymptote parabola directrix

第四篇:語法常用詞匯中英對照

語法常用詞匯中英對照

主語: subject謂語: predicate賓語:object定語:attributive 狀語: adverbial表語: predicative補語:complement

同位語:appositive construction形式主語:formal subject

詞性:part of speech

名詞:noun,singular/plural/collective/compound

動詞:verb形容詞:adjective副詞:adverb代詞:pronoun

介詞:preposition 系動詞:linking verb 連接詞:conjunction 動詞詞組:phrasal verbs 及物動詞:transitive verb不及物動詞:intransitive verb 修飾語: modifier 非謂語:non-finite:不定式: infinitive,現在分詞:present participle phrase,過去分詞:past participle phrase動名詞:gerund

詞組: phrase 固定搭配: set phrase頻率副詞: adverb of frequency 疑問副詞: interrogative adverb疑問代詞: interrogative pronoun

主動語態:active voice被動語態:passive voice 虛擬語氣:subjunctive mood 倒裝:inversion獨立主格: independent genitive 強調句:emphatic sentence 反義疑問句 tag question省略 abbreviation

時態: tense

現在時:present tense過去時:past tense 現在完成時:present perfect tense 現在進行時: present progressive tense過去進行時:past progressive tense 將來進行時: future progressive tense現在完成時: present perfect tense 過去完成時: past perfect tense將來完成時: future perfect tense 標點符號:punctuation

句號:full stop/end mark 逗號:comma 分號:semicolon 冒號:colon

引號:quotation mark大寫字母:capital letter 縮寫: abbreviation

從句:clause

名詞性從句:nominal clause

1.主從:subject clause 2.賓從:object clause3.表從:predicative clause

4.同位語從句:appositive construction

定從: attributive clause/relative clause

狀語從句:adverbial clause

1.原因: cause/reason 2.條件: condition 3.讓步:concession 4.時間:time

5.目的: purpose6.結果:result7.方式:manner8.地點:place

9.比較: comparative

第五篇:軟件工程專業詞匯中英對照

Acceptance Testing--可接受性測試

一般由用戶/客戶進行的確認是否可以接受一個產品的驗證性測試。

actual outcome--實際結果

被測對象在特定的條件下實際產生的結果。

Ad Hoc Testing--隨機測試

測試人員通過隨機的嘗試系統的功能,試圖使系統中斷。

algorithm--算法

一個定義好的有限規則集,用于在有限步驟內解決一個問題;(2)執行一個特定任務的任何操作序列。

algorithm analysis--算法分析

一個軟件的驗證確認任務,用于保證選擇的算法是正確的、合適的和穩定的,并且滿足所有精確性、規模和時間方面的要求。

Alpha Testing--Alpha測試

由選定的用戶進行的產品早期性測試。這個測試一般在可控制的環境下進行的。

analysis--分析

分解到一些原子部分或基本原則,以便確定整體的特性;(2)一個推理的過程,顯示一個特定的結果是假設前提的結果;(3)一個問題的方法研究,并且問題被分解為一些小的相關單元作進一步詳細研究。

anomaly--異常

在文檔或軟件操作中觀察到的任何與期望違背的結果。

application software--應用軟件

滿足特定需要的軟件。

architecture--構架

一個系統或組件的組織結構。

ASQ--自動化軟件質量(Automated Software Quality)

使用軟件工具來提高軟件的質量。

assertion--斷言

指定一個程序必須已經存在的狀態的一個邏輯表達式,或者一組程序變量在程序執行期間的某個點上必須滿足的條件。

assertion checking--斷言檢查

用戶在程序中嵌入的斷言的檢查。

audit--審計

一個或一組工作產品的獨立檢查以評價與規格、標準、契約或其它準則的符合程度。

audit trail--審計跟蹤

系統審計活動的一個時間記錄。

Automated Testing--自動化測試

使用自動化測試工具來進行測試,這類測試一般不需要人干預,通常在GUI、性能等測試中用得較多。

Backus-Naur Form--BNF范式

一種分析語言,用于形式化描述語言的語法

baseline--基線

一個已經被正式評審和批準的規格或產品,它作為進一步開發的一個基礎,并且必須通過正式的變更流程來變更。

Basic Block--基本塊 一個或多個順序的可執行語句塊,不包含任何分支語句。

basis test set--基本測試集

根據代碼邏輯引出來的一個測試用例集合,它保證能獲得100%的分支覆蓋。

behaviour--行為

對于一個系統的一個函數的輸入和預置條件組合以及需要的反應。一個函數的所有規格包含一個或多個行為。

benchmark--標桿/指標/基準

一個標準,根據該標準可以進行度量或比較。

Beta Testing--Beta測試

在客戶場地,由客戶進行的對產品預發布版本的測試。這個測試一般是不可控的big-bang testing--大錘測試/一次性集成測試

非漸增式集成測試的一種策略,測試的時候把所有系統的組件一次性組合成系統進行測試。

Black Box Testing--黑盒測試

根據軟件的規格對軟件進行的測試,這類測試不考慮軟件內部的運作原理,因此軟件對用戶來說就像一個黑盒子。

bottom-up testing--由低向上測試

漸增式集成測試的一種,其策略是先測試底層的組件,然后逐步加入較高層次的組件進行測試,直到系統所有組件都加入到系統。

boundary value--邊界值

一個輸入或輸出值,它處在等價類的邊界上。

boundary value coverage--邊界值覆蓋

通過測試用例,測試組件等價類的所有邊界值。

boundary value testing--邊界值測試

通過邊界值分析方法來生成測試用例的一種測試策略。

Boundry Value Analysis--邊界值分析

該分析一般與等價類一起使用。經驗認為軟件的錯誤經常在輸入的邊界上產生,因此邊界值分析就是分析軟件輸入邊界的一種方法

branch--分支

在組件中,控制從任何語句到其它任何非直接后續語句的一個條件轉換,或者是一個無條件轉換。

branch condition--分支條件

branch condition combination coverage--分支條件組合覆蓋

在每個判定中所有分支條件結果組合被測試用例覆蓋到的百分比。

branch condition combination testing--分支條件組合測試

通過執行分支條件結果組合來設計測試用例的一種方法。

branch condition coverage--分支條件覆蓋

每個判定中分支條件結果被測試用例覆蓋到的百分比。

branch condition testing--分支條件測試

通過執行分支條件結果來設計測試用例的一種方法。

branch coverage--分支覆蓋

通過測試執行到的分支的百分比。

branch outcome--分支結果

見判定結果(decision outcome)

branch point--分支點 見判定(decision)

branch testing--分支測試

通過執行分支結果來設計測試用例的一種方法。

Breadth Testing--廣度測試

在測試中測試一個產品的所有功能,但是不測試更細節的特性。

bug--缺陷

capture/playback tool--捕獲/回放工具

參考capture/replay tool

Capture/Replay Tool--捕獲/回放工具

一種測試工具,能夠捕獲在測試過程中傳遞給軟件的輸入,并且能夠在以后的時間中,重復這個執行的過程。這類工具一般在GUI測試中用的較多。

CASE--計算機輔助軟件工程(computer aided software engineering)

用于支持軟件開發的一個自動化系統。

CAST--計算機輔助測試

在測試過程中使用計算機軟件工具進行輔助的測試。

cause-effect graph--因果圖

一個圖形,用來表示輸入(原因)與結果之間的關系,可以被用來設計測試用例

certification --證明

一個過程,用于確定一個系統或組件與特定的需求相一致。

change control--變更控制

一個用于計算機系統或系統數據修改的過程,該過程是質量保證程序的一個關鍵子集,需要被明確的描述。

code audit --代碼審計

由一個人、組或工具對源代碼進行的一個獨立的評審,以驗證其與設計規格、程序標準的一致性。正確性和有效性也會被評價。

Code Coverage--代碼覆蓋率

一種分析方法,用于確定在一個測試套執行后,軟件的哪些部分被執行到了,哪些部分沒有被執行到。

Code Inspection--代碼檢視

一個正式的同行評審手段,在該評審中,作者的同行根據檢查表對程序的邏輯進行提問,并檢查其與編碼規范的一致性。

Code Walkthrough--代碼走讀

一個非正式的同行評審手段,在該評審中,代碼被使用一些簡單的測試用例進行人工執行,程序變量的狀態被手工分析,以分析程序的邏輯和假設。

code-based testing--基于代碼的測試

根據從實現中引出的目標設計測試用例。

coding standards--編程規范

一些編程方面需要遵循的標準,包括命名方式、排版格式等內容。

Compatibility Testing--兼容性測試

測試軟件是否和系統的其它與之交互的元素之間兼容,如:瀏覽器、操作系統、硬件等。

complete path testing --完全路徑測試

參考窮盡測試(exhaustive testing)

completeness--完整性

實體的所有必須部分必須被包含的屬性。complexity --復雜性

系統或組件難于理解或驗證的程度。

Component--組件

一個最小的軟件單元,有著獨立的規格

Component Testing--組件測試

參考單元測試

computation data use--計算數據使用

一個不在條件中的數據使用。

computer system security--計算機系統安全性

計算機軟件和硬件對偶然的或故意的訪問、使用、修改或破壞的一種保護機制。

condition--條件

一個不包含布爾操作的布爾表達式,例如:A condition coverage--條件覆蓋

通過測試執行到的條件的百分比。

condition outcome--條件結果

條件為真為假的評價。

configuration control--配置控制

配置管理的一個方面,包括評價、協調、批準、和實現配置項的變更。

configuration management--配置管理

一套技術和管理方面的原則用于確定和文檔化一個配置項的功能和物理屬性、控制對這些屬性的變更、記錄和報告變更處理和實現的狀態、以及驗證與指定需求的一致性。

conformance criterion-- 一致性標準

判斷組件在一個特定輸入值上的行為是否符合規格的一種方法。

Conformance Testing-- 一致性測試

測試一個系統的實現是否和其基于的規格相一致的測試。

consistency -- 一致性

在系統或組件的各組成部分和文檔之間沒有矛盾,一致的程度。

consistency checker-- 一致性檢查器

一個軟件工具,用于測試設計規格中需求的一致性和完整性。

control flow--控制流

程序執行中所有可能的事件順序的一個抽象表示。

control flow graph--控制流圖

通過一個組件的可能替換控制流路徑的一個圖形表示。

conversion testing--轉換測試

用于測試已有系統的數據是否能夠轉換到替代系統上的一種測試。

corrective maintenance--故障檢修

用于糾正硬件或軟件中故障的維護。

correctness--正確性

軟件遵從其規格的程度。

correctness--正確性

軟件在其規格、設計和編碼中沒有故障的程度。軟件、文檔和其它項滿足需求的程度。軟件、文檔和其它項滿足用戶明顯的和隱含的需求的程度。

coverage--覆蓋率

用于確定測試所執行到的覆蓋項的百分比。coverage item--覆蓋項

作為測試基礎的一個入口或屬性:如語句、分支、條件等。

crash--崩潰

計算機系統或組件突然并完全的喪失功能。

criticality--關鍵性

需求、模塊、錯誤、故障、失效或其它項對一個系統的操作或開發影響的程度。

criticality analysis--關鍵性分析

需求的一種分析,它根據需求的風險情況給每個需求項分配一個關鍵級別。

cyclomatic complexity--循環復雜度

一個程序中獨立路徑的數量。

data corruption--數據污染

違背數據一致性的情況。

data definition--數據定義

一個可執行語句,在該語句上一個變量被賦予了一個值。

data definition C-use coverage--數據定義C-use覆蓋

在組件中被測試執行到的數據定義C-use使用對的百分比。

data definition C-use pair--數據定義C-use使用對

一個數據定義和一個計算數據使用,數據使用的值是數據定義的值。

data definition P-use coverage--數據定義P-use覆蓋

在組件中被測試執行到的數據定義P-use使用對的百分比。

data definition P-use pair--數據定義P-use使用對

一個數據定義和一個條件數據使用,數據使用的值是數據定義的值。

data definition-use coverage--數據定義使用覆蓋

在組件中被測試執行到的數據定義使用對的百分比。

data definition-use pair --數據定義使用對

一個數據定義和一個數據使用,數據使用的值是數據定義的值。

data definition-use testing--數據定義使用測試

以執行數據定義使用對為目標進行測試用例設計的一種技術。

data dictionary--數據字典

(1)一個軟件系統中使用的所有數據項名稱,以及這些項相關屬性的集合。(2)數據流、數據元素、文件、數據基礎、和相關處理的一個集合。

data flow analysis--數據流分析

一個軟件驗證和確認過程,用于保證輸入和輸出數據和它們的格式是被適當定義的,并且數據流是正確的。

data flow coverage--數據流覆蓋

測試覆蓋率的度量是根據變量在代碼中的使用情況。

data flow diagram--數據流圖

把數據源、數據接受、數據存儲和數據處理作為節點描述的一個圖形,數據之間的邏輯體現為節點之間的邊。

data flow testing--數據流測試

根據代碼中變量的使用情況進行的測試。

data integrity--數據完整性

一個數據集合完全、正確和一致的程度。

data use--數據使用 一個可執行的語句,在該語句中,變量的值被訪問。

data validation--數據確認

用于確認數據不正確、不完整和不合理的過程。

dead code--死代碼

在程序操作過程中永遠不可能被執行到的代碼。

Debugging--調試

發現和去除軟件失效根源的過程。

decision--判定

一個程序控制點,在該控制點上,控制流有兩個或多個可替換路由。

Decision condition--判定條件

判定內的一個條件。

decision coverage--判定覆蓋

在組件中被測試執行到的判定結果的百分比。

decision outcome--判定結果

一個判定的結果,決定控制流走哪條路徑。

decision table--判定表

一個表格,用于顯示條件和條件導致動作的集合。

Depth Testing--深度測試

執行一個產品的一個特性的所有細節,但不測試所有特性。比較廣度測試。

design of experiments--實驗設計

一種計劃實驗的方法,這樣適合分析的數據可以被收集。

design-based testing--基于設計的測試

根據軟件的構架或詳細設計引出測試用例的一種方法。

desk checking--桌面檢查

通過手工模擬軟件執行的方式進行測試的一種方式。

diagnostic--診斷

檢測和隔離故障或失效的過程。

dirty testing--骯臟測試

參考負面測試(negative testing)

disaster recovery--災難恢復

一個災難的恢復和重建過程或能力。

documentation testing --文檔測試

測試關注于文檔的正確性。

domain--域

值被選擇的一個集合。

domain testing--域測試

參考等價劃分測試(equivalence partition testing)

dynamic analysis--動態分析

根據執行的行為評價一個系統或組件的過程。

Dynamic Testing--動態測試

通過執行軟件的手段來測試軟件。

embedded software--嵌入式軟件

軟件運行在特定硬件設備中,不能獨立于硬件存在。這類系統一般要求實時性較高。

emulator--仿真 一個模仿另一個系統的系統或設備,它接受相同的輸入并產生相同的輸出。

End-to-End testing--端到端測試

在一個模擬現實使用的場景下測試一個完整的應用環境,例如和數據庫交互,使用網絡通信等。

entity relationship diagram--實體關系圖

描述現實世界中實體及它們關系的圖形。

entry point --入口點

一個組件的第一個可執行語句。

Equivalence Class--等價類

組件輸入或輸出域的一個部分,在該部分中,組件的行為從組件的規格上來看認為是相同的。

equivalence partition coverage--等價劃分覆蓋

在組件中被測試執行到的等價類的百分比。

equivalence partition testing--等價劃分測試

根據等價類設計測試用例的一種技術。

Equivalence Partitioning--等價劃分

組件的一個測試用例設計技術,該技術從組件的等價類中選取典型的點進行測試。

error--錯誤

IEEE的定義是:一個人為產生不正確結果的行為。

error guessing--錯誤猜測

根據測試人員以往的經驗猜測可能出現問題的地方來進行用例設計的一種技術。

error seeding--錯誤播種/錯誤插值

故意插入一些已知故障(fault)到一個系統中去的過程,目的是為了根據錯誤檢測和跟蹤的效率并估計系統中遺留缺陷的數量。

exception--異常/例外

一個引起正常程序執行掛起的事件。

executable statement--可執行語句

一個語句在被編譯后會轉換成目標代碼,當程序運行是會被執行,并且可能對程序數據產生動作。

Exhaustive Testing--窮盡測試

測試覆蓋軟件的所有輸入和條件組合。

exit point--出口點

一個組件的最后一個可執行語句。

expected outcome--期望結果

參考預期結果(predicted outcome)。

failure--失效

軟件的行為與其期望的服務相背離。

fault--故障

在軟件中一個錯誤的表現。

feasible path--可達路徑

可以通過一組輸入值和條件執行到的一條路徑。

feature testing--特性測試

參考功能測試(Functional Testing)

FMEA--失效模型效果分析(Failure Modes and Effects Analysis)

可靠性分析中的一種方法,用于在基本組件級別上確認對系統性能有重大影響的失效 FMECA--失效模型效果關鍵性分析(Failure Modes and Effects Criticality Analysis)FMEA的一個擴展,它分析了失效結果的嚴重性。

FTA--故障樹分析(Fault Tree Analysis)

引起一個不需要事件產生的條件和因素的確認和分析,通常是嚴重影響系統性能、經濟性、安全性或其它需要特性。

functional decomposition--功能分解

參考模塊分解(modular decomposition)

Functional Specification --功能規格說明書

一個詳細描述產品特性的文檔。

Functional Testing--功能測試

測試一個產品的特性和可操作行為以確定它們滿足規格。

glass box testing--玻璃盒測試

參考白盒測試(White Box Testing)

IEEE--美國電子與電器工程師學會(Institute of Electrical and Electronic Engineers)

incremental testing--漸增測試

集成測試的一種,組件逐漸被增加到系統中直到整個系統被集成。

infeasible path--不可達路徑

不能夠通過任何可能的輸入值集合執行到的路徑。

input domain--輸入域

所有可能輸入的集合。

inspection--檢視

對文檔進行的一種評審形式。

installability testing--可安裝性測試

確定系統的安裝程序是否正確的測試。

instrumentation--插裝

在程序中插入額外的代碼以獲得程序在執行時行為的信息。

instrumenter--插裝器

執行插裝的工具

Integration Testing--集成測試

測試一個應用組合后的部分以確保它們的功能在組合之后正確。該測試一般在單元測試之后進行。

interface--接口

兩個功能單元的共享邊界。

interface analysis--接口分析

分析軟件與硬件、用戶和其它軟件之間接口的需求規格。

interface testing--接口測試

測試系統組件間接口的一種測試。

invalid inputs--無效輸入

在程序功能輸入域之外的測試數據。

isolation testing--孤立測試

組件測試(單元測試)策略中的一種,把被測組件從其上下文組件之中孤立出來,通過設計驅動和樁進行測試的一種方法。

job control language--工作控制語言

用于確定工作順序,描述它們對操作系統要求并控制它們執行的語言。LCSAJ--線性代碼順序和跳轉(Linear Code Sequence And Jump)

包含三個部分:可執行語句線性順序的起始,線性順序的結束,在線性順序結束處控制流跳轉的目標語句。

LCSAJ coverage--LCSAJ覆蓋

在組件中被測試執行到的LCSAJ的百分比。

LCSAJ testing--LCSAJ測試

根據LCSAJ設計測試用例的一種技術。

Load Testing--負載測試

通過測試系統在資源超負荷情況下的表現,以發現設計上的錯誤或驗證系統的負載能力。

logic analysis--邏輯分析

(1)評價軟件設計的關鍵安全方程式、算法和控制邏輯的方法。(2)評價程序操作的順序并且檢測可能導致災難的錯誤。

logic-coverage testing--邏輯覆蓋測試

參考結構化測試用例設計(structural test case design)

maintainability--可維護性

一個軟件系統或組件可以被修改的容易程度,這個修改一般是因為缺陷糾正、性能改進或特性增加引起的。

maintainability testing--可維護性測試

測試系統是否滿足可維護性目標。

modified condition/decision coverage--修改條件/判定覆蓋

在組件中被測試執行到的修改條件/判定的百分比。

modified condition/decision testing --修改條件/判定測試

根據MC/DC設計測試用例的一種技術。

Monkey Testing--跳躍式測試

隨機性,跳躍式的測試一個系統,以確定一個系統是否會崩潰。

MTBF--平均失效間隔實際(mean time between failures)

兩次失效之間的平均操作時間。

MTTF--平均失效時間(mean time to failure)

第一次失效之前的平均時間

MTTR--平均修復時間(mean time to repair)

兩次修復之間的平均時間

multiple condition coverage--多條件覆蓋

參考分支條件組合覆蓋(branch condition combination coverage)

mutation analysis--變體分析

一種確定測試用例套完整性的方法,該方法通過判斷測試用例套能夠區別程序與其變體之間的程度。

Negative Testing--逆向測試/反向測試/負面測試

測試瞄準于使系統不能工作。

non-functional requirements testing--非功能性需求測試

與功能不相關的需求測試,如:性能測試、可用性測試等。

N-switch coverage--N切換覆蓋

在組件中被測試執行到的N轉換順序的百分比。

N-switch testing--N切換測試

根據N轉換順序設計測試用例的一種技術,經常用于狀態轉換測試中。N-transitions--N轉換

N+1轉換順序

operational testing--可操作性測試

在系統或組件操作的環境中評價它們的表現。

output domain--輸出域

所有可能輸出的集合。

partition testing--分類測試

參考等價劃分測試(equivalence partition testing)

path--路徑

一個組件從入口到出口的一條可執行語句順序。

path coverage--路徑覆蓋

在組件中被測試執行到的路徑的百分比。

path sensitizing--路徑敏感性

選擇一組輸入值強制組件走一個給定的路徑。

path testing--路徑測試

根據路徑設計測試用例的一種技術,經常用于狀態轉換測試中。

performance testing--性能測試

評價一個產品或組件與性能需求是否符合的測試。

portability testing--可移植性

測試瞄準于證明軟件可以被移植到指定的硬件或軟件平臺上。

Positive Testing--正向測試

測試瞄準于顯示系統能夠正常工作。

precondition--預置條件

環境或狀態條件,組件執行之前必須被填充一個特定的輸入值。

predicate--謂詞

一個邏輯表達式,結果為‘真’或‘假’。

predicate data use--謂詞數據使用

在謂詞中的一個數據使用。

program instrumenter--程序插裝

參考插裝(instrumenter)

progressive testing--遞進測試

在先前特性回歸測試之后對新特性進行測試的一種策略。

pseudo-random--偽隨機

看似隨機的,實際上是根據預先安排的順序進行的。

QA--質量保證(quality assurance)

(1)已計劃的系統性活動,用于保證一個組件、模塊或系統遵從已確立的需求。(2)采取的所有活動以保證一個開發組織交付的產品滿足性能需求和已確立的標準和過程。

QC--質量控制(quality control)

用于獲得質量需求的操作技術和過程,如測試活動。

Race Condition--競爭狀態

并行問題的根源。對一個共享資源的多個訪問,至少包含了一個寫操作,但是沒有一個機制來協調同時發生的訪問。

recovery testing--恢復性測試

驗證系統從失效中恢復能力的測試。regression analysis and testing--回歸分析和測試

一個軟件驗證和確認任務以確定在修改后需要重復測試和分析的范圍。

Regression Testing--回歸測試

在發生修改之后重新測試先前的測試以保證修改的正確性。

release--發布

一個批準版本的正式通知和分發。

reliability--可靠性

一個系統或組件在規定的條件下在指定的時間內執行其需要功能的能力。

reliability assessment--可靠性評價

確定一個已有系統或組件的可靠性級別的過程。

requirements-based testing--基于需求的測試

根據軟件組件的需求導出測試用例的一種設計方法。

review--評審

在產品開發過程中,把產品提交給項目成員、用戶、管理者或其它相關人員評價或批準的過程。

risk--風險

不期望效果的可能性和嚴重性的一個度量。

risk assessment--風險評估

對風險和風險影響的一個完整的評價。

safety--(生命)安全性

不會引起人員傷亡、產生疾病、毀壞或損失設備和財產、或者破壞環境。

safety critical--嚴格的安全性

一個條件、事件、操作、過程或項,它的認識、控制或執行對生命安全性的系統來說是非常關鍵的。

Sanity Testing--理智測試

軟件主要功能成分的簡單測試以保證它是否能進行基本的測試。參考冒煙測試

SDP--軟件開發計劃(software development plan)

用于一個軟件產品開發的項目計劃。

security testing--安全性測試

驗證系統是否符合安全性目標的一種測試。

security.--(信息)安全性

參考計算機系統安全性(computer system security)

serviceability testing--可服務性測試

參考可維護性測試(maintainability testing)

simple subpath--簡單子路徑

控制流的一個子路徑,其中沒有不必要的部分被執行。

simulation--模擬

使用另一個系統來表示一個物理的或抽象的系統的選定行為特性。

simulation--模擬

使用一個可執行模型來表示一個對象的行為。

simulator--模擬器

軟件驗證期間的一個設備、軟件程序、或系統,當它給定一個控制的輸入時,表現的與一個給定的系統類似。

SLA--服務級別協議(service level agreement)服務提供商與客戶之間的一個協議,用于規定服務提供商應當提供什么服務。

Smoke Testing--冒煙測試

對軟件主要功能進行快餐式測試。最早來自于硬件測試實踐,以確定新的硬件在第一次使用的時候不會著火。

software development process--軟件開發過程

一個把用戶需求轉換為軟件產品的開發過程。

software diversity--軟件多樣性

一種軟件開發技術,其中,由不同的程序員或開發組開發的相同規格的不同程序,目的是為了檢測錯誤、增加可靠性。

software element--軟件元素

軟件開發或維護期間產生或獲得的一個可交付的或過程內的文檔。

software engineering--軟件工程

一個應用于軟件開發、操作和維護的系統性的、有紀律的、可量化的方法。

software engineering environment--軟件工程環境

執行一個軟件工程工作的硬件、軟件和固件。

software life cycle--軟件生命周期

開始于一個軟件產品的構思,結束于該產品不再被使用的這段期間。

SOP--標準操作過程(standard operating procedures)

書面的步驟,這對保證生產和處理的控制是必須的。

source code--源代碼

用一種適合于輸入到匯編器、編譯器或其它轉換設備的計算機指令和數據定義。

source statement--源語句

參考語句(statement)

specification--規格

組件功能的一個描述,格式是:對指定的輸入在指定的條件下的輸出。

specified input--指定的輸入

一個輸入,根據規格能預知其輸出。

spiral model --螺旋模型

軟件開發過程的一個模型,其中的組成活動,典型的包括需求分析,概要設計,詳細設計,編碼,集成和測試等活動被迭代的執行直到軟件被完成。

SQL--結構化查詢語句(structured query language)

在一個關系數據庫中查詢和處理數據的一種語言。

state--狀態

一個系統、組件或模擬可能存在其中的一個條件或模式。

state diagram--狀態圖

一個圖形,描繪一個系統或組件可能假設的狀態,并且顯示引起或導致一個狀態切換到另一個狀態的事件或環境。

state transition--狀態轉換

一個系統或組件的兩個允許狀態之間的切換。

state transition testing --狀態轉換測試

根據狀態轉換來設計測試用例的一種方法。

statement--語句

程序語言的一個實體,是典型的最小可執行單元。

statement coverage--語句覆蓋 在一個組件中,通過執行一定的測試用例所能達到的語句覆蓋百分比。

statement testing--語句測試

根據語句覆蓋來設計測試用例的一種方法。

Static Analysis--靜態分析

分析一個程序的執行,但是并不實際執行這個程序。

Static Analyzer--靜態分析器

進行靜態分析的工具。

Static Testing--靜態測試

不通過執行來測試一個系統。

statistical testing--統計測試

通過使用對輸入統計分布進行分析來構造測試用例的一種測試設計方法。

stepwise refinement--逐步優化

一個結構化軟件設計技術,數據和處理步驟首先被廣泛的定義,然后被逐步的進行了細化。

storage testing--存儲測試

驗證系統是否滿足指定存儲目標的測試。

Stress Testing--壓力測試

在規定的規格條件或者超過規定的規格條件下,測試一個系統,以評價其行為。類似負載測試,通常是性能測試的一部分。

structural coverage--結構化覆蓋

根據組件內部的結構度量覆蓋率。

structural test case design--結構化測試用例設計

根據組件內部結構的分析來設計測試用例的一種方法。

structural testing--結構化測試

參考結構化測試用例設計(structural test case design)

structured basis testing--結構化的基礎測試

根據代碼邏輯設計測試用例來獲得100%分支覆蓋的一種測試用例設計技術。

structured design--結構化設計

軟件設計的任何遵循一定紀律的方法,它按照特定的規則,例如:模塊化,有頂向下設計,數據逐步優化,系統結構和處理步驟。

structured programming--結構化編程

在結構化程序開發中的任何包含結構化設計和結果的軟件開發技術。

structured walkthrough--結構化走讀

參考走讀(walkthrough)

stub--樁

一個軟件模塊的框架或特殊目標實現,主要用于開發和測試一個組件,該組件調用或依賴這個模塊。

symbolic evaluation--符號評價

參考符號執行(symbolic execution)

symbolic execution--符號執行

通過符號表達式來執行程序路徑的一種靜態分析設計技術。其中,程序的執行被用符號來模擬,例如,使用變量名而不是實際值,程序的輸出被表示成包含這些符號的邏輯或數學表達式。

symbolic trace--符號軌跡

一個計算機程序通過符號執行是經過的語句分支結果的一個記錄。syntax testing--語法分析

根據輸入語法來驗證一個系統或組件的測試用例設計技術。

system analysis--系統分析

對一個計劃的或現實的系統進行的一個系統性調查以確定系統的功能以及系統與其它系統之間的交互。

system design--系統設計

一個定義硬件和軟件構架、組件、模塊、接口和數據的過程以滿足指定的規格。

system integration--系統集成

一個系統組件的漸增的連接和測試,直到一個完整的系統。

System Testing--系統測試

從一個系統的整體而不是個體上來測試一個系統,并且該測試關注的是規格,而不是系統內部的邏輯。

technical requirements testing--技術需求測試

參考非功能需求測試(non-functional requirements testing)

test automation--測試自動化

使用工具來控制測試的執行、結果的比較、測試預置條件的設置、和其它測試控制和報告功能

test case--測試用例

用于特定目標而開發的一組輸入、預置條件和預期結果。

test case design technique--測試用例設計技術

選擇和導出測試用例的技術。

test case suite--測試用例套

對被測軟件的一個或多個測試用例的集合。

test comparator--測試比較器

一個測試工具用于比較軟件實際測試產生的結果與測試用例預期的結果。

test completion criterion--測試完成標準

一個標準用于確定被計劃的測試何時完成。

test coverage--測試覆蓋

參考覆蓋率(Coverage)

test driver--測試驅動

一個程序或測試工具用于根據測試套執行軟件。

test environment--測試環境

測試運行其上的軟件和硬件環境的描述,以及任何其它與被測軟件交互的軟件,包括驅動和樁

test execution--測試執行

一個測試用例被被測軟件執行,并得到一個結果。

test execution technique--測試執行技術

執行測試用例的技術,包括手工、自動化等。

test generator--測試生成器

根據特定的測試用例產生測試用例的工具。

test harness--測試用具

包含測試驅動和測試比較器的測試工具。

test log--測試日志

一個關于測試執行所有相關細節的時間記錄。test measurement technique--測試度量技術

度量測試覆蓋率的技術。

Test Plan--測試計劃

一個文檔,描述了要進行的測試活動的范圍、方法、資源和進度。它確定測試項、被測特性、測試任務、誰執行任務,并且任何風險都要沖突計劃。

test procedure--測試規程

一個文檔,提供詳細的測試用例執行指令。

test records--測試記錄

對每個測試,明確的記錄被測組件的標識、版本,測試規格,和實際結果

test report--測試報告

一個描述系統或組件執行的測試和結果的文檔。

Test Script--測試腳本

一般指的是一個特定測試的一系列指令,這些指令可以被自動化測試工具執行。

Test Specification--測試規格

一個文檔,用于指定一個軟件特性、特性組合或所有特性的測試方法、輸入、預期結果和執行條件。

test strategy--測試策略

一個簡單的高層文檔,用于描述測試的大致方法,目標和方向。

test suite--測試套

測試用例和/或測試腳本的一個集合,與一個應用的特定功能或特性相關。

test target--測試目標

一組測試完成標準。

testability--可測試性

一個系統或組件有利于測試標準建立和確定這些標準是否被滿足的測試執行的程度。

Testing--測試

IEEE給出的定義是:1)一個執行軟件的過程,以驗證其滿足指定的需求并檢測錯誤。2)一個軟件項的分析過程以檢測已有條件之間的不同,并評價軟件項的特性。

thread testing--線程測試

自頂向下測試的一個變化版本,其中,遞增的組件集成遵循需求子集的實現。

time sharing--時間共享

一種操作方式,允許兩個或多個用戶在相同的計算機系統上同時執行計算機程序。其實現可能通過時間片輪轉、優先級中斷等。

top-down design--由頂向下設計

一種設計策略,首先設計最高層的抽象和處理,然后逐步向更低級別進行設計。

top-down testing--自頂向下測試

集成測試的一種策略,首先測試最頂層的組件,其它組件使用樁,然后逐步加入較低層的組件進行測試,直到所有組件被集成到系統中。

traceability--可跟蹤性

開發過程的兩個或多個產品之間關系可以被建立起來的程度,尤其是產品彼此之間有一個前后處理關系。

traceability analysis--跟蹤性分析

(1)跟蹤概念文檔中的軟件需求到系統需求;(2)跟蹤軟件設計描述到軟件需求規格,以及軟件需求規格到軟件設計描述;(3)跟蹤源代碼對應到設計規格,以及設計規格對應到源代碼。分析確定它們之間正確性、一致性、完整性、精確性的關系。traceability matrix--跟蹤矩陣

一個用于記錄兩個或多個產品之間關系的矩陣。例如,需求跟蹤矩陣是跟蹤從需求到設計再到編碼的實現。

下載計算機軟件高級詞匯中英對照(最終五篇)word格式文檔
下載計算機軟件高級詞匯中英對照(最終五篇).doc
將本文檔下載到自己電腦,方便修改和收藏,請勿使用迅雷等下載。
點此處下載文檔

文檔為doc格式


聲明:本文內容由互聯網用戶自發貢獻自行上傳,本網站不擁有所有權,未作人工編輯處理,也不承擔相關法律責任。如果您發現有涉嫌版權的內容,歡迎發送郵件至:645879355@qq.com 進行舉報,并提供相關證據,工作人員會在5個工作日內聯系你,一經查實,本站將立刻刪除涉嫌侵權內容。

相關范文推薦

    音頻詞匯中英對照術語

    音頻詞匯中英對照術語 AC:交流電 DC:直流,直流電 A/D:摸(擬)/數(字)轉換 AIN:音頻輸入 A/V:音頻/視頻 AM:調幅(廣播) FM:調頻(廣播AMP:放大器 ANT:天線 BAL:平衡 BAT:電池 BUT:按鈕,旋鈕CD......

    F1 常用詞匯中英對照

    賽車部件 engine/motor 引擎 chassis 底盤 clutch 離合器 fuel tank 油箱 cylinder 汽缸 automatic transmission 變速箱bonnet 車蓋 electronic ignition system 電子點火......

    審計專業詞匯中英對照

    audit evidence 審計證據 audit program 審計方案 audit procedures 審計程序competence 適當性 sufficiency 充分性 combined effect 聯合效應 persuasiveness 說服力 re......

    韓語高級詞匯

    1? [名] 1兆 3.1?? [名] 3.1運動 [記] 反對日本殖民統治,爭取民族獨立的運動,由于發起日為1919年3月1日而得名,也被稱為“獨立萬歲運動”。在韓國和朝鮮,三月一日都是紀念日......

    高級詞匯前綴

    Prefix a=ab: from, away ? abnormal adj. 反常的,變態的,畸形的 ? abolish v. 廢除,終止(the law) ? abstract adj.抽象的 ? abuse v/n.濫用---alcohol/antibiotic ad=ab......

    英文簡歷常用詞匯(中英對照)大全

    英文簡歷常用詞匯(中英文對照,帶目錄) 6. 1.個人資料 name 姓名 alias 別名 pen name 筆名 date of birth 出生日期 birth date 出生日期 born 出生于 birth place 出生地點 a......

    可樂專業詞匯中英對照五篇

    English-Chinese Glossary of Terms Commonly Used Within The Coca-Cola System 可口可樂系統專用詞匯 Acceptability Account Account Card Account Data Base Account......

    教育類常用詞匯 中英對照5篇

    教育類常用詞匯 (大學)代理校長 Acting President (大學)副校長 Vice President (大學)校長 President/Chancellor (大學)專科 Major Types of Education in China short 2- to......

主站蜘蛛池模板: 亚洲日本一区二区三区在线| 中国丰满熟妇xxxx性| 精品一区二区三区四区五区六区| 亚洲av无码日韩精品影片| 日本簧片在线观看| 337p人体 欧洲人体 亚洲| 2018av天堂在线视频精品观看| 色综合久久久久无码专区| 国产成人精品自在线导航| 久久精品中文字幕一区| 国产又黄又爽又色的免费| 亚洲亚洲人成综合丝袜图片| 麻豆国产尤物av尤物在线观看| 97se狼狼狼狼狼亚洲网| 午夜天堂精品久久久久| 国产山东熟女48嗷嗷叫| 边做饭边被躁bd苍井空图片| 国产av高清怡春院| 长腿校花无力呻吟娇喘的视频| 亚洲精品无码鲁网午夜| 中文字幕 在线观看 亚洲| 精产国品一二三产区m553麻豆| 亚洲欧美洲成人一区二区| 高清无码免费| 欧美亚洲高清国产| 久久精品熟女亚洲av麻豆| 国产毛片女人高潮叫声| 日产无码中文字幕av| 亚洲一区二区制服在线| 48久久国产精品性色aⅴ人妻| 在线播放免费人成视频在线观看| 人人妻人人爽人人添夜夜欢视频| 久久久国产不卡一区二区| 综合色区亚洲熟妇另类| 国产精品久久久久久福利| 丰满少妇女裸体bbw| 国自产拍偷拍精品啪啪一区二区| 欧美日韩亚洲中文字幕一区二区三区| 熟妇人妻中文字幕无码老熟妇| 乱人妻人伦中文字幕| av无码久久久久不卡网站下载|