•  


mutant/docs/nomenclature.md at main · mbj/mutant · GitHub
Skip to content

Latest commit

 

History

History
82 lines (52 loc) · 2.4 KB

nomenclature.md

File metadata and controls

82 lines (52 loc) · 2.4 KB

Nomenclature

The following explains several nouns you may experience in mutant's documentation. It's a good idea to familiarize yourself before moving on.

AST

Acronym for Abstract Syntax Tree and the level of abstraction mutant operates on.

Subject

An addressable piece of code to be targeted for mutation testing.

Mutant currently supports the following subjects:

  • Instance methods
  • Singleton (class) methods

Other subjects (constants, class bodies for DSLs, ...) are possible but aren't implemented in the OSS version.

Mutation operator

A transformation applied to the AST of a subject. Mutant knows the following high level operator classes:

  • Semantic Reduction
  • Orthogonal Replacement
  • Noop

An exhaustive list can be found in the mutant-meta subdirectory of the source.

Mutation

The result of applying a mutation operator to the AST of a subject. A mutation represents a hypothesis that ideally gets falsified by the tests.

Insertion

The process of inserting a mutation into the runtime environment. Mutant currently supports insertion via dynamically created monkeypatches.

Other insertion strategies (such as "boot time") are possible but aren't implemented in the OSS version.

Isolation

The attempt to isolate the (side) effects of killing a mutation via an integration to prevent a mutation leaking into adjacent concurrent, or future mutations.

Examples of sources for leaks are

  • Global variable writes
  • Thread local writes
  • DB State
  • File system

Natively, mutant offers fork isolation. This works for any state within the executing Ruby process. For all state reachable via IO, it's the test author's responsibility to provide proper isolation.

Integration

The method used to determine if a specific inserted mutation is covered by tests.

Currently mutant supports integrations for:

Report

Mutant currently provides two different reporters:

  • Progress (printed during mutation testing).
  • Summary (printed at the end of a finished analysis run)

A reporter producing a machine readable report does not exist in the OSS version at the time of writing this documentation.

- "漢字路" 한글한자자동변환 서비스는 교육부 고전문헌국역지원사업의 지원으로 구축되었습니다.
- "漢字路" 한글한자자동변환 서비스는 전통문화연구회 "울산대학교한국어처리연구실 옥철영(IT융합전공)교수팀"에서 개발한 한글한자자동변환기를 바탕하여 지속적으로 공동 연구 개발하고 있는 서비스입니다.
- 현재 고유명사(인명, 지명등)을 비롯한 여러 변환오류가 있으며 이를 해결하고자 많은 연구 개발을 진행하고자 하고 있습니다. 이를 인지하시고 다른 곳에서 인용시 한자 변환 결과를 한번 더 검토하시고 사용해 주시기 바랍니다.
- 변환오류 및 건의,문의사항은 juntong@juntong.or.kr로 메일로 보내주시면 감사하겠습니다. .
Copyright ⓒ 2020 By '전통문화연구회(傳統文化硏究會)' All Rights reserved.
 한국   대만   중국   일본