软件测试术语表.doc

《软件测试术语表.doc》由会员分享，可在线阅读，更多相关《软件测试术语表.doc（16页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、Acceptance Testing可接受性测试一般由用户/客户进行的确认是否可以接受一个产品的验证性测试。actual outcome实际结果被测对象在特定的条件下实际产生的结果。Ad Hoc Testing随机测试测试人员通过随机的尝试系统的功能，试图使系统中断。algorithm算法（1）一个定义好的有限规则集，用于在有限步骤内解决一个问题；（2）执行一个特定任务的任何操作序列。algorithm analysis算法分析一个软件的验证确认任务，用于保证选择的算法是正确的、合适的和稳定的，并且满足所有精确性、规模和时间方面的要求。Alpha TestingAlpha测试由选定的用户进行的

2、产品早期性测试。这个测试一般在可控制的环境下进行的。analysis分析（1）分解到一些原子部分或基本原则，以便确定整体的特性；（2）一个推理的过程，显示一个特定的结果是假设前提的结果；（3）一个问题的方法研究，并且问题被分解为一些小的相关单元作进一步详细研究。anomaly异常在文档或软件操作中观察到的任何与期望违背的结果。application software应用软件满足特定需要的软件。architecture构架一个系统或组件的组织结构。ASQ自动化软件质量（Automated Software Quality）使用软件工具来提高软件的质量。assertion断言指定一个程序必须已经存

3、在的状态的一个逻辑表达式，或者一组程序变量在程序执行期间的某个点上必须满足的条件。assertion checking断言检查用户在程序中嵌入的断言的检查。audit审计一个或一组工作产品的独立检查以评价与规格、标准、契约或其它准则的符合程度。audit trail审计跟踪系统审计活动的一个时间记录。Automated Testing自动化测试使用自动化测试工具来进行测试，这类测试一般不需要人干预，通常在GUI、性能等测试中用得较多。Backus-Naur FormBNF范式一种分析语言，用于形式化描述语言的语法baseline基线一个已经被正式评审和批准的规格或产品，它作为进一步开发的一个基

4、础，并且必须通过正式的变更流程来变更。Basic Block基本块一个或多个顺序的可执行语句块，不包含任何分支语句。basis test set基本测试集根据代码逻辑引出来的一个测试用例集合，它保证能获得100%的分支覆盖。behaviour行为对于一个系统的一个函数的输入和预置条件组合以及需要的反应。一个函数的所有规格包含一个或多个行为。benchmark标杆/指标/基准一个标准，根据该标准可以进行度量或比较。Beta TestingBeta测试在客户场地，由客户进行的对产品预发布版本的测试。这个测试一般是不可控的。big-bang testing大锤测试/一次性集成测试非渐增式集成测试的一

5、种策略，测试的时候把所有系统的组件一次性组合成系统进行测试。Black Box Testing黑盒测试根据软件的规格对软件进行的测试，这类测试不考虑软件内部的运作原理，因此软件对用户来说就像一个黑盒子。bottom-up testing由低向上测试渐增式集成测试的一种，其策略是先测试底层的组件，然后逐步加入较高层次的组件进行测试，直到系统所有组件都加入到系统。boundary value边界值一个输入或输出值，它处在等价类的边界上。boundary value coverage边界值覆盖通过测试用例，测试组件等价类的所有边界值。boundary value testing边界值测试通过边界值分

6、析方法来生成测试用例的一种测试策略。Boundry Value Analysis边界值分析该分析一般与等价类一起使用。经验认为软件的错误经常在输入的边界上产生，因此边界值分析就是分析软件输入边界的一种方法。branch分支在组件中，控制从任何语句到其它任何非直接后续语句的一个条件转换，或者是一个无条件转换。branch condition分支条件branch condition combination coverage分支条件组合覆盖在每个判定中所有分支条件结果组合被测试用例覆盖到的百分比。branch condition combination testing分支条件组合测试通过执行分支条件

7、结果组合来设计测试用例的一种方法。branch condition coverage分支条件覆盖每个判定中分支条件结果被测试用例覆盖到的百分比。branch condition testing分支条件测试通过执行分支条件结果来设计测试用例的一种方法。branch coverage分支覆盖通过测试执行到的分支的百分比。branch outcome分支结果见判定结果（decision outcome）branch point分支点见判定（decision）branch testing分支测试通过执行分支结果来设计测试用例的一种方法。Breadth Testing广度测试在测试中测试一个产品的所有功

8、能，但是不测试更细节的特性。bug缺陷capture/playback tool捕获/回放工具参考capture/replay toolCapture/Replay Tool捕获/回放工具一种测试工具，能够捕获在测试过程中传递给软件的输入，并且能够在以后的时间中，重复这个执行的过程。这类工具一般在GUI测试中用的较多。CASE计算机辅助软件工程（computer aided software engineering）用于支持软件开发的一个自动化系统。CAST计算机辅助测试在测试过程中使用计算机软件工具进行辅助的测试。cause-effect graph因果图一个图形，用来表示输入（原因）与结果

9、之间的关系，可以被用来设计测试用例。certification 证明一个过程，用于确定一个系统或组件与特定的需求相一致。change control变更控制一个用于计算机系统或系统数据修改的过程，该过程是质量保证程序的一个关键子集，需要被明确的描述。code audit 代码审计由一个人、组或工具对源代码进行的一个独立的评审，以验证其与设计规格、程序标准的一致性。正确性和有效性也会被评价。Code Coverage代码覆盖率一种分析方法，用于确定在一个测试套执行后，软件的哪些部分被执行到了，哪些部分没有被执行到。Code Inspection代码检视一个正式的同行评审手段，在该评审中，作者的同

10、行根据检查表对程序的逻辑进行提问，并检查其与编码规范的一致性。Code Walkthrough代码走读一个非正式的同行评审手段，在该评审中，代码被使用一些简单的测试用例进行人工执行，程序变量的状态被手工分析，以分析程序的逻辑和假设。code-based testing基于代码的测试根据从实现中引出的目标设计测试用例。coding standards编程规范一些编程方面需要遵循的标准，包括命名方式、排版格式等内容。Compatibility Testing兼容性测试测试软件是否和系统的其它与之交互的元素之间兼容，如：浏览器、操作系统、硬件等。complete path testing 完全路径测

11、试参考穷尽测试（exhaustive testing）completeness完整性实体的所有必须部分必须被包含的属性。complexity 复杂性系统或组件难于理解或验证的程度。Component组件一个最小的软件单元，有着独立的规格Component Testing组件测试参考单元测试computation data use计算数据使用一个不在条件中的数据使用。computer system security计算机系统安全性计算机软件和硬件对偶然的或故意的访问、使用、修改或破坏的一种保护机制。condition条件一个不包含布尔操作的布尔表达式，例如：Acondition coverage

12、条件覆盖通过测试执行到的条件的百分比。condition outcome条件结果条件为真为假的评价。configuration control配置控制配置管理的一个方面，包括评价、协调、批准、和实现配置项的变更。configuration management配置管理一套技术和管理方面的原则用于确定和文档化一个配置项的功能和物理属性、控制对这些属性的变更、记录和报告变更处理和实现的状态、以及验证与指定需求的一致性。conformance criterion 一致性标准判断组件在一个特定输入值上的行为是否符合规格的一种方法。Conformance Testing 一致性测试测试一个系统的实现是否

13、和其基于的规格相一致的测试。consistency 一致性在系统或组件的各组成部分和文档之间没有矛盾，一致的程度。consistency checker 一致性检查器一个软件工具，用于测试设计规格中需求的一致性和完整性。control flow控制流程序执行中所有可能的事件顺序的一个抽象表示。control flow graph控制流图通过一个组件的可能替换控制流路径的一个图形表示。conversion testing转换测试用于测试已有系统的数据是否能够转换到替代系统上的一种测试。corrective maintenance故障检修用于纠正硬件或软件中故障的维护。correctness 正确

14、性软件遵从其规格的程度。correctness 正确性软件在其规格、设计和编码中没有故障的程度。软件、文档和其它项满足需求的程度。软件、文档和其它项满足用户明显的和隐含的需求的程度。coverage 覆盖率用于确定测试所执行到的覆盖项的百分比。coverage item覆盖项作为测试基础的一个入口或属性：如语句、分支、条件等。crash崩溃计算机系统或组件突然并完全的丧失功能。criticality关键性需求、模块、错误、故障、失效或其它项对一个系统的操作或开发影响的程度。criticality analysis关键性分析需求的一种分析，它根据需求的风险情况给每个需求项分配一个关键级别。cyc

15、lomatic 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覆盖在组件中被测试执行到的数

16、据定义P-use使用对的百分比。data definition P-use pair数据定义P-use使用对一个数据定义和一个条件数据使用，数据使用的值是数据定义的值。data definition-use coverage数据定义使用覆盖在组件中被测试执行到的数据定义使用对的百分比。data definition-use pair 数据定义使用对一个数据定义和一个数据使用，数据使用的值是数据定义的值。data definition-use testing数据定义使用测试以执行数据定义使用对为目标进行测试用例设计的一种技术。data dictionary数据字典（1）一个软件系统中使用的所有数

17、据项名称，以及这些项相关属性的集合；（2）数据流、数据元素、文件、数据基础、和相关处理的一个集合。data flow analysis数据流分析一个软件验证和确认过程，用于保证输入和输出数据和它们的格式是被适当定义的，并且数据流是正确的。data flow coverage数据流覆盖测试覆盖率的度量是根据变量在代码中的使用情况。data flow diagram数据流图把数据源、数据接受、数据存储和数据处理作为节点描述的一个图形，数据之间的逻辑体现为节点之间的边。data flow testing数据流测试根据代码中变量的使用情况进行的测试。data integrity数据完整性一个数据集合完

18、全、正确和一致的程度。data use数据使用一个可执行的语句，在该语句中，变量的值被访问。data validation数据确认用于确认数据不正确、不完整和不合理的过程。dead code死代码在程序操作过程中永远不可能被执行到的代码。Debugging调试发现和去除软件失效根源的过程。decision判定一个程序控制点，在该控制点上，控制流有两个或多个可替换路由。Decision condition判定条件判定内的一个条件。decision coverage判定覆盖在组件中被测试执行到的判定结果的百分比。decision outcome判定结果一个判定的结果，决定控制流走哪条路径。deci

19、sion table判定表一个表格，用于显示条件和条件导致动作的集合。Depth Testing深度测试执行一个产品的一个特性的所有细节，但不测试所有特性。比较广度测试。design of experiments实验设计一种计划实验的方法，这样适合分析的数据可以被收集。design-based testing基于设计的测试根据软件的构架或详细设计引出测试用例的一种方法。desk checking桌面检查通过手工模拟软件执行的方式进行测试的一种方式。diagnostic诊断检测和隔离故障或失效的过程。dirty testing肮脏测试参考负面测试（negative testing）disaste

20、r recovery灾难恢复一个灾难的恢复和重建过程或能力。documentation testing 文档测试测试关注于文档的正确性。domain域值被选择的一个集合。domain testing域测试参考等价划分测试（equivalence partition testing）dynamic analysis动态分析根据执行的行为评价一个系统或组件的过程。Dynamic Testing动态测试通过执行软件的手段来测试软件。embedded software嵌入式软件软件运行在特定硬件设备中，不能独立于硬件存在。这类系统一般要求实时性较高。emulator仿真一个模仿另一个系统的系统或设备，

21、它接受相同的输入并产生相同的输出。End-to-End testing端到端测试在一个模拟现实使用的场景下测试一个完整的应用环境，例如和数据库交互，使用网络通信等。entity relationship diagram实体关系图描述现实世界中实体及它们关系的图形。entry point 入口点一个组件的第一个可执行语句。Equivalence Class等价类组件输入或输出域的一个部分，在该部分中，组件的行为从组件的规格上来看认为是相同的。equivalence partition coverage等价划分覆盖在组件中被测试执行到的等价类的百分比。equivalence partition t

22、esting等价划分测试根据等价类设计测试用例的一种技术。Equivalence Partitioning等价划分组件的一个测试用例设计技术，该技术从组件的等价类中选取典型的点进行测试。error错误IEEE的定义是：一个人为产生不正确结果的行为。error guessing错误猜测根据测试人员以往的经验猜测可能出现问题的地方来进行用例设计的一种技术。error seeding错误播种/错误插值故意插入一些已知故障（fault）到一个系统中去的过程，目的是为了根据错误检测和跟踪的效率并估计系统中遗留缺陷的数量。exception异常/例外一个引起正常程序执行挂起的事件。executable s

23、tatement可执行语句一个语句在被编译后会转换成目标代码，当程序运行是会被执行，并且可能对程序数据产生动作。Exhaustive Testing穷尽测试测试覆盖软件的所有输入和条件组合。exit point出口点一个组件的最后一个可执行语句。expected outcome期望结果参考预期结果（predicted outcome）。failure失效软件的行为与其期望的服务相背离。fault故障在软件中一个错误的表现。feasible path可达路径可以通过一组输入值和条件执行到的一条路径。feature testing特性测试参考功能测试（Functional Testing）FMEA

24、失效模型效果分析（Failure Modes and Effects Analysis）可靠性分析中的一种方法，用于在基本组件级别上确认对系统性能有重大影响的失效。FMECA失效模型效果关键性分析(Failure Modes and Effects Criticality Analysis)FMEA的一个扩展，它分析了失效结果的严重性。FTA故障树分析(Fault Tree Analysis)引起一个不需要事件产生的条件和因素的确认和分析，通常是严重影响系统性能、经济性、安全性或其它需要特性。functional decomposition功能分解参考模块分解（modular decompos

25、ition）Functional Specification 功能规格说明书一个详细描述产品特性的文档。Functional Testing功能测试测试一个产品的特性和可操作行为以确定它们满足规格。glass box testing玻璃盒测试参考白盒测试（White Box Testing）IEEE美国电子与电器工程师学会（Institute of Electrical and Electronic Engineers）incremental testing渐增测试集成测试的一种，组件逐渐被增加到系统中直到整个系统被集成。infeasible path不可达路径不能够通过任何可能的输入值集合执

26、行到的路径。input domain输入域所有可能输入的集合。inspection检视对文档进行的一种评审形式。installability testing可安装性测试确定系统的安装程序是否正确的测试。instrumentation插装在程序中插入额外的代码以获得程序在执行时行为的信息。instrumenter插装器执行插装的工具Integration Testing集成测试测试一个应用组合后的部分以确保它们的功能在组合之后正确。该测试一般在单元测试之后进行。interface接口两个功能单元的共享边界。interface analysis接口分析分析软件与硬件、用户和其它软件之间接口的需求规

27、格。interface testing接口测试测试系统组件间接口的一种测试。invalid inputs无效输入在程序功能输入域之外的测试数据。isolation testing孤立测试组件测试（单元测试）策略中的一种，把被测组件从其上下文组件之中孤立出来，通过设计驱动和桩进行测试的一种方法。Job工作一个用户定义的要计算机完成的工作单元。job control language工作控制语言用于确定工作顺序，描述它们对操作系统要求并控制它们执行的语言。LCSAJ线性代码顺序和跳转（Linear Code Sequence And Jump）包含三个部分：可执行语句线性顺序的起始，线性顺序的结束

28、，在线性顺序结束处控制流跳转的目标语句。LCSAJ coverageLCSAJ覆盖在组件中被测试执行到的LCSAJ的百分比。LCSAJ testingLCSAJ测试根据LCSAJ设计测试用例的一种技术。Load Testing负载测试通过测试系统在资源超负荷情况下的表现，以发现设计上的错误或验证系统的负载能力。logic analysis逻辑分析（1）评价软件设计的关键安全方程式、算法和控制逻辑的方法；（2）评价程序操作的顺序并且检测可能导致灾难的错误。logic-coverage testing逻辑覆盖测试参考结构化测试用例设计（structural test case design）mai

29、ntainability可维护性一个软件系统或组件可以被修改的容易程度，这个修改一般是因为缺陷纠正、性能改进或特性增加引起的。maintainability testing可维护性测试测试系统是否满足可维护性目标。modified condition/decision coverage修改条件/判定覆盖在组件中被测试执行到的修改条件/判定的百分比。modified condition/decision testing 修改条件/判定测试根据MC/DC设计测试用例的一种技术。Monkey Testing跳跃式测试随机性，跳跃式的测试一个系统，以确定一个系统是否会崩溃。MTBF平均失效间隔实际（m

30、ean time between failures）两次失效之间的平均操作时间。MTTF平均失效时间 （mean time to failure）第一次失效之前的平均时间MTTR平均修复时间（mean time to repair）两次修复之间的平均时间multiple condition coverage多条件覆盖参考分支条件组合覆盖（branch condition combination coverage）mutation analysis变体分析一种确定测试用例套完整性的方法，该方法通过判断测试用例套能够区别程序与其变体之间的程度。Negative Testing逆向测试/反向测试/负

31、面测试测试瞄准于使系统不能工作。non-functional requirements testing非功能性需求测试与功能不相关的需求测试，如：性能测试、可用性测试等。N-switch coverageN切换覆盖在组件中被测试执行到的N转换顺序的百分比。N-switch testingN切换测试根据N转换顺序设计测试用例的一种技术，经常用于状态转换测试中。N-transitionsN转换N1转换顺序operational testing可操作性测试在系统或组件操作的环境中评价它们的表现。output domain输出域所有可能输出的集合。partition testing分类测试参考等价划分

32、测试（equivalence partition testing）path路径一个组件从入口到出口的一条可执行语句顺序。path coverage路径覆盖在组件中被测试执行到的路径的百分比。path sensitizing路径敏感性选择一组输入值强制组件走一个给定的路径。path testing路径测试根据路径设计测试用例的一种技术，经常用于状态转换测试中。performance testing性能测试评价一个产品或组件与性能需求是否符合的测试。portability testing可移植性测试瞄准于证明软件可以被移植到指定的硬件或软件平台上。Positive Testing正向测试测试瞄准于

33、显示系统能够正常工作。precondition预置条件环境或状态条件，组件执行之前必须被填充一个特定的输入值。predicate谓词一个逻辑表达式，结果为真或假。predicate data use谓词数据使用在谓词中的一个数据使用。program instrumenter程序插装参考插装（instrumenter）progressive testing递进测试在先前特性回归测试之后对新特性进行测试的一种策略。pseudo-random伪随机看似随机的，实际上是根据预先安排的顺序进行的。QA质量保证（quality assurance）（1）已计划的系统性活动，用于保证一个组件、模块或系统遵从

34、已确立的需求；（2）采取的所有活动以保证一个开发组织交付的产品满足性能需求和已确立的标准和过程。QC质量控制（quality control）用于获得质量需求的操作技术和过程，如测试活动。Race Condition竞争状态并行问题的根源。对一个共享资源的多个访问，至少包含了一个写操作，但是没有一个机制来协调同时发生的访问。recovery testing恢复性测试验证系统从失效中恢复能力的测试。regression analysis and testing回归分析和测试一个软件验证和确认任务以确定在修改后需要重复测试和分析的范围。Regression Testing回归测试在发生修改之后重新

35、测试先前的测试以保证修改的正确性。release发布一个批准版本的正式通知和分发。reliability可靠性一个系统或组件在规定的条件下在指定的时间内执行其需要功能的能力。reliability assessment可靠性评价确定一个已有系统或组件的可靠性级别的过程。requirements-based testing基于需求的测试根据软件组件的需求导出测试用例的一种设计方法。review评审在产品开发过程中，把产品提交给项目成员、用户、管理者或其它相关人员评价或批准的过程。risk风险不期望效果的可能性和严重性的一个度量。risk assessment风险评估对风险和风险影响的一个完整的评

36、价。safety（生命）安全性不会引起人员伤亡、产生疾病、毁坏或损失设备和财产、或者破坏环境。safety critical严格的安全性一个条件、事件、操作、过程或项，它的认识、控制或执行对生命安全性的系统来说是非常关键的。Sanity Testing理智测试软件主要功能成分的简单测试以保证它是否能进行基本的测试。参考冒烟测试SDP软件开发计划（software development plan）用于一个软件产品开发的项目计划。security testing安全性测试验证系统是否符合安全性目标的一种测试。security.（信息）安全性参考计算机系统安全性（computer system s

37、ecurity）serviceability testing可服务性测试参考可维护性测试（maintainability testing）simple subpath简单子路径控制流的一个子路径，其中没有不必要的部分被执行。simulation模拟使用另一个系统来表示一个物理的或抽象的系统的选定行为特性。simulation模拟使用一个可执行模型来表示一个对象的行为。simulator模拟器软件验证期间的一个设备、软件程序、或系统，当它给定一个控制的输入时，表现的与一个给定的系统类似。SLA服务级别协议（service level agreement）服务提供商与客户之间的一个协议，用于规定服

38、务提供商应当提供什么服务。Smoke Testing冒烟测试对软件主要功能进行快餐式测试。最早来自于硬件测试实践，以确定新的硬件在第一次使用的时候不会着火。software development process软件开发过程一个把用户需求转换为软件产品的开发过程。software diversity软件多样性一种软件开发技术，其中，由不同的程序员或开发组开发的相同规格的不同程序，目的是为了检测错误、增加可靠性。software element软件元素软件开发或维护期间产生或获得的一个可交付的或过程内的文档。software engineering软件工程一个应用于软件开发、操作和维护的系统性的

39、、有纪律的、可量化的方法。software engineering environment软件工程环境执行一个软件工程工作的硬件、软件和固件。software life cycle软件生命周期开始于一个软件产品的构思，结束于该产品不再被使用的这段期间。SOP标准操作过程（standard operating procedures）书面的步骤，这对保证生产和处理的控制是必须的。source code源代码用一种适合于输入到汇编器、编译器或其它转换设备的计算机指令和数据定义。source statement源语句参考语句（statement）specification规格组件功能的一个描述，格式是

40、：对指定的输入在指定的条件下的输出。specified input指定的输入一个输入，根据规格能预知其输出。spiral model 螺旋模型软件开发过程的一个模型，其中的组成活动，典型的包括需求分析，概要设计，详细设计，编码，集成和测试等活动被迭代的执行直到软件被完成。SQL结构化查询语句（structured query language）在一个关系数据库中查询和处理数据的一种语言。state状态一个系统、组件或模拟可能存在其中的一个条件或模式。state diagram状态图一个图形，描绘一个系统或组件可能假设的状态，并且显示引起或导致一个状态切换到另一个状态的事件或环境。state t

41、ransition状态转换一个系统或组件的两个允许状态之间的切换。state transition testing 状态转换测试根据状态转换来设计测试用例的一种方法。statement语句程序语言的一个实体，是典型的最小可执行单元。statement coverage语句覆盖在一个组件中，通过执行一定的测试用例所能达到的语句覆盖百分比。statement testing语句测试根据语句覆盖来设计测试用例的一种方法。Static Analysis静态分析分析一个程序的执行，但是并不实际执行这个程序。Static Analyzer静态分析器进行静态分析的工具。Static Testing静态测试不

42、通过执行来测试一个系统。statistical testing统计测试通过使用对输入统计分布进行分析来构造测试用例的一种测试设计方法。stepwise refinement逐步优化一个结构化软件设计技术，数据和处理步骤首先被广泛的定义，然后被逐步的进行了细化。storage testing存储测试验证系统是否满足指定存储目标的测试。Stress Testing压力测试在规定的规格条件或者超过规定的规格条件下，测试一个系统，以评价其行为。类似负载测试，通常是性能测试的一部分。structural coverage结构化覆盖根据组件内部的结构度量覆盖率。structural test case d

43、esign结构化测试用例设计根据组件内部结构的分析来设计测试用例的一种方法。structural testing结构化测试参考结构化测试用例设计（structural test case design）structured basis testing结构化的基础测试根据代码逻辑设计测试用例来获得100分支覆盖的一种测试用例设计技术。structured design结构化设计软件设计的任何遵循一定纪律的方法，它按照特定的规则，例如：模块化，有顶向下设计，数据逐步优化，系统结构和处理步骤。structured programming结构化编程在结构化程序开发中的任何包含结构化设计和结果的软件开发

44、技术。structured walkthrough结构化走读参考走读（walkthrough）stub桩一个软件模块的框架或特殊目标实现，主要用于开发和测试一个组件，该组件调用或依赖这个模块。symbolic evaluation符号评价参考符号执行（symbolic execution）symbolic execution符号执行通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。symbolic trace符号轨迹一个计算机程序通过符号执行是经过的语句分支结果的一个记录。syntax testing语法分析根据输入语法来验证一个系统或组件的测试用例设计技术。system analysis系统分析对一个计划的或现实的系统进行的一个系统性调查以确定系统的功能以及系统与其它系统之间的交互。system design系统设计一个定义硬件和软件构架、组件、模块、接口和数据的过程以满足指定的规格。system integration