Jump to content
Wikipedia The Free Encyclopedia

Draft:Antithesis (Company)

From Wikipedia, the free encyclopedia
Submission declined on 14 August 2025 by Fancy Refrigerator (talk).
This draft's references do not show that the subject meets Wikipedia's criteria for inclusion for organizations and companies. The draft requires multiple published secondary sources that:
  • provide significant coverage : discuss the subject in detail, excluding routine coverage like product launches, staff appointments, or financial reports and listings in databases or listicles;
  • are reliable : from reputable outlets with editorial oversight;
  • are independent : not connected to the subject, such as press releases, the subject's own website, or sponsored content.
Please add references that meet all three of these criteria. If none exist, the subject is not yet suitable for Wikipedia.
  • If you would like to continue working on the submission, click on the "Edit" tab at the top of the window.
  • If you have not resolved the issues listed above, your draft will be declined again and potentially deleted.
  • If you need extra help, please ask us a question at the AfC Help Desk or get live help from experienced editors.
  • Please do not remove reviewer comments or this notice until the submission is accepted.
Where to get help
  • If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews.
  • If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed.
How to improve a draft

You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article.

Improving your odds of a speedy review

To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags.

Editor resources
Declined by Fancy Refrigerator 9 months ago. Last edited by OpalYosutebito 28 days ago. Reviewer: Inform author.
Resubmit Please note that if the issues are not fixed, the draft will be declined again.
Software Company
Antithesis Operations LLC
Company type
Privately held company
IndustrySoftware Testing Tools
Founded2018
FoundersWill Wilson, Dave Scherer, Nick Lavezzo
HeadquartersVienna, Virginia, United States
Websitehttps://antithesis.com/

"‘Antithesis Operations LLC’" is a private software company based in Vienna, Virginia, United States. It develops testing tools for software, with a focus on testing distributed systems. The company's platform enables users to carry out a form of property testing of a distributed system within a deterministic simulation environment. [1] [circular reference ][2] [3]

History

[edit ]

Antithesis was founded in 2018 and emerged from stealth in 2024. They operate globally, including through an additional office in London. [4]

The company was founded by several of the original engineers behind FoundationDB, a distributed database acquired by Apple in 2015 and later adopted as a core component of Apple’s cloud infrastructure. [5] [circular reference ][6] Snowflake, one of FoundationDB’s earliest users, continues to depend on it for managing its Metadata.[7] [circular reference ]

While building FoundationDB, the team developed a deterministic testing system designed to simulate distributed environments under varying workloads and fault conditions. This approach made test runs entirely reproducible and greatly streamlined debugging and issue resolution. [8] [9] [10]

After the acquisition, the team recognized that deterministic testing systems were rare in the broader industry. In response, Will Wilson, Dave Scherer and Nick Lavezzo co-founded Antithesis to apply and commercialize these methods more broadly across distributed systems development.[11] [12]

Services

[edit ]

Antithesis provides a cloud-based platform for continuous reliability testing of software systems. The platform is language-agnostic and runs user code in a simulated environment where faults, such as network issues, race conditions, and service failures, are automatically injected. [13] [14] [15]

It runs numerous concurrent simulation sessions on a custom-built Hypervisor and reports deviations from intended behavior, which is defined by a set of user-specified properties. The hypervisor enables fully deterministic test reproduction and supports advanced debugging capabilities. Running in simulation allows for safe and aggressive fault injection, enabling thorough analysis and failures that are caught, cloned and debugged all before ever reaching production.. [16] [17] [18] [19]

References

[edit ]
  1. ^ "Property testing".
  2. ^ Goldstein, Harrison; Cutler, Joseph W.; Dickstein, Daniel; Pierce, Benjamin C.; Head, Andrew (2024). "Property-Based Testing in Practice". Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. pp. 1–13. doi:10.1145/3597503.3639581. ISBN 979-8-4007-0217-4.
  3. ^ Hierons, Robert M.; Núñez, Manuel (2010). "Testing Probabilistic Distributed Systems". Formal Techniques for Distributed Systems. Lecture Notes in Computer Science. Vol. 6117. pp. 63–77. doi:10.1007/978-3-642-13464-7_6. ISBN 978-3-642-13463-0.
  4. ^ https://mpra.ub.uni-muenchen.de/115926/1/MPRA_paper_115926.pdf [bare URL PDF ]
  5. ^ "FoundationDB".
  6. ^ https://www.foundationdb.org/files/fdb-paper.pdf [bare URL PDF ]
  7. ^ "Metadata".
  8. ^ Hierons, Robert M.; Núñez, Manuel (2010). "Testing Probabilistic Distributed Systems". Formal Techniques for Distributed Systems. Lecture Notes in Computer Science. Vol. 6117. pp. 63–77. doi:10.1007/978-3-642-13464-7_6. ISBN 978-3-642-13463-0.
  9. ^ Decasse, M.; Emde, A.-M. (1988). "A review of automated debugging systems: Knowledge, strategies and techniques". Proceedings. [1989] 11th International Conference on Software Engineering. pp. 162–171. doi:10.1109/ICSE.1988.93698. ISBN 0-89791-258-6.
  10. ^ Parnin, Chris; Orso, Alessandro (2011). "Are automated debugging techniques actually helping programmers?". Proceedings of the 2011 International Symposium on Software Testing and Analysis. pp. 199–209. doi:10.1145/2001420.2001445. ISBN 978-1-4503-0562-4.
  11. ^ https://mpra.ub.uni-muenchen.de/115926/1/MPRA_paper_115926.pdf [bare URL PDF ]
  12. ^ "The role of verification and validation in software testing". March 2016. pp. 1298–1301.
  13. ^ Banzai, Takayuki; Koizumi, Hitoshi; Kanbayashi, Ryo; Imada, Takayuki; Hanawa, Toshihiro; Sato, Mitsuhisa (2010). "D-Cloud: Design of a Software Testing Environment for Reliable Distributed Systems Using Cloud Computing Technology". 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing. pp. 631–636. doi:10.1109/CCGRID.2010.72. ISBN 978-1-4244-6987-1.
  14. ^ Salih, Nadir K.; Satyanarayana, D.; Alkalbani, Abdullah Said; Gopal, R. (2022). "A Survey on Software/Hardware Fault Injection Tools and Techniques". 2022 IEEE Symposium on Industrial Electronics & Applications (ISIEA). pp. 1–7. doi:10.1109/ISIEA54517.2022.9873679. ISBN 978-1-6654-8012-3.
  15. ^ Scholten, H.; Posthuma, J. (1993). "A debugging tool for distributed systems". Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation. pp. 173–176. doi:10.1109/TENCON.1993.319956. ISBN 0-7803-1233-3.
  16. ^ Nikolai, Jason; Yong Wang (2014). "Hypervisor-based cloud intrusion detection system". 2014 International Conference on Computing, Networking and Communications (ICNC). pp. 989–993. doi:10.1109/ICCNC.2014.6785472. ISBN 978-1-4799-2358-8.
  17. ^ Banzai, Takayuki; Koizumi, Hitoshi; Kanbayashi, Ryo; Imada, Takayuki; Hanawa, Toshihiro; Sato, Mitsuhisa (2010). "D-Cloud: Design of a Software Testing Environment for Reliable Distributed Systems Using Cloud Computing Technology". 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing. pp. 631–636. doi:10.1109/CCGRID.2010.72. ISBN 978-1-4244-6987-1.
  18. ^ Salih, Nadir K.; Satyanarayana, D.; Alkalbani, Abdullah Said; Gopal, R. (2022). "A Survey on Software/Hardware Fault Injection Tools and Techniques". 2022 IEEE Symposium on Industrial Electronics & Applications (ISIEA). pp. 1–7. doi:10.1109/ISIEA54517.2022.9873679. ISBN 978-1-6654-8012-3.
  19. ^ https://www.cis.upenn.edu/~bcpierce/papers/icse24-pbt-in-practice
[edit ]

See also

[edit ]

AltStyle によって変換されたページ (->オリジナル) /