ScholarGate
助手

方法对比

并排查看您选择的方法;存在差异的行会高亮显示。

静态代码分析×等价类划分测试×
领域软件工程软件工程
方法族Process / pipelineProcess / pipeline
起源年份20011979
提出者David Engler and William PughGlenford Myers
类型automated analysispartitioning strategy
开创性文献Chess, B., & West, J. (2007). Secure Programming with Static Analysis. Addison-Wesley Professional. link ↗Myers, G. J. (1979). The Art of Software Testing. John Wiley & Sons. link ↗
别名static analysis, code inspection, automated reviewequivalence partitioning, BVA, boundary value analysis
相关44
摘要Static code analysis automatically examines source code without execution, detecting potential bugs, security vulnerabilities, code smells, and style violations. Pioneered by Engler and Pugh (2001), automated analysis tools scan codebases at scale, identifying defect patterns faster than manual review. Organizations integrate static analysis into continuous integration pipelines to prevent defects early.Equivalence partitioning divides input domains into equivalence classes—sets of inputs expected to behave identically—then selects test cases from each class. Introduced by Myers (1979), this technique reduces test cases while maintaining effectiveness. Boundary value analysis (BVA) complements partitioning by testing values at partition boundaries where failures often occur.
ScholarGate数据集
  1. v1
  2. 3 来源
  3. PUBLISHED
  1. v1
  2. 3 来源
  3. PUBLISHED

前往搜索 Download slides

ScholarGate方法对比: Static Code Analysis · Equivalence Partitioning Testing. 于 2026-06-15 检索自 https://scholargate.app/zh/compare