• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利:CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验

相似文献

1
How to test bioinformatics software?如何测试生物信息学软件?
Biophys Rev. 2015 Sep;7(3):343-352. doi: 10.1007/s12551-015-0177-3. Epub 2015 Aug 13.
2
Scalability and Validation of Big Data Bioinformatics Software.大数据生物信息学软件的可扩展性与验证
Comput Struct Biotechnol J. 2017 Jul 20;15:379-386. doi: 10.1016/j.csbj.2017.07.002. eCollection 2017.
3
An innovative approach for testing bioinformatics programs using metamorphic testing.一种使用变质测试来测试生物信息学程序的创新方法。
BMC Bioinformatics. 2009 Jan 19;10:24. doi: 10.1186/1471-2105-10-24.
4
Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie.无金标准情况下生物信息学软件的验证与确认:以BWA和Bowtie为例
BMC Bioinformatics. 2014;15 Suppl 16(Suppl 16):S15. doi: 10.1186/1471-2105-15-S16-S15. Epub 2014 Dec 8.
5
SysBioMed report: advancing systems biology for medical applications.系统生物医学报告:推动系统生物学在医学应用中的发展。
IET Syst Biol. 2009 May;3(3):131-6. doi: 10.1049/iet-syb.2009.0005.
6
Verification of phylogenetic inference programs using metamorphic testing.使用变质测试对系统发育推断程序进行验证。
J Bioinform Comput Biol. 2011 Dec;9(6):729-47. doi: 10.1142/s021972001100563x.
7
Application of Metamorphic Testing to Supervised Classifiers.变质测试在监督分类器中的应用。
Proc Int Conf Qual Softw. 2010 Jan 15;2009(2009):135-144. doi: 10.1109/QSIC.2009.26.
8
Software testing in microbial bioinformatics: a call to action.微生物生物信息学中的软件测试:行动呼吁。
Microb Genom. 2022 Mar;8(3). doi: 10.1099/mgen.0.000790.
9
Parallel workflow manager for non-parallel bioinformatic applications to solve large-scale biological problems on a supercomputer.用于非并行生物信息学应用程序的并行工作流管理器,以在超级计算机上解决大规模生物学问题。
J Bioinform Comput Biol. 2016 Apr;14(2):1641008. doi: 10.1142/S0219720016410080.
10
Verification, validation and sensitivity studies in computational biomechanics.计算生物力学中的验证、确认与敏感性研究。
Comput Methods Biomech Biomed Engin. 2007 Jun;10(3):171-84. doi: 10.1080/10255840601160484.

引用本文的文献

1
Steering veridical large language model analyses by correcting and enriching generated database queries: first steps toward ChatGPT bioinformatics.通过纠正和丰富生成的数据库查询来引导真实的大语言模型分析:迈向ChatGPT生物信息学的第一步。
Brief Bioinform. 2024 Nov 22;26(1). doi: 10.1093/bib/bbaf045.
2
Improving bioinformatics software quality through incorporation of software engineering practices.通过融入软件工程实践提高生物信息学软件质量。
PeerJ Comput Sci. 2022 Jan 5;8:e839. doi: 10.7717/peerj-cs.839. eCollection 2022.
3
A preliminary computational outputs versus experimental results: Application of sTRAP, a biophysical tool for the analysis of SNPs of transcription factor-binding sites.初步计算结果与实验结果的对比:sTRAP(一种用于分析转录因子结合位点 SNPs 的生物物理工具)的应用。
Mol Genet Genomic Med. 2020 May;8(5):e1219. doi: 10.1002/mgg3.1219. Epub 2020 Mar 10.
4
TBX2 Identified as a Potential Predictor of Bone Metastasis in Lung Adenocarcinoma via Integrated Bioinformatics Analyses and Verification of Functional Assay.通过综合生物信息学分析和功能实验验证,TBX2被确定为肺腺癌骨转移的潜在预测指标。
J Cancer. 2020 Jan 1;11(2):388-402. doi: 10.7150/jca.31636. eCollection 2020.
5
A large-scale analysis of bioinformatics code on GitHub.在 GitHub 上对生物信息学代码进行大规模分析。
PLoS One. 2018 Oct 31;13(10):e0205898. doi: 10.1371/journal.pone.0205898. eCollection 2018.
6
The State of Software for Evolutionary Biology.进化生物学软件现状
Mol Biol Evol. 2018 May 1;35(5):1037-1046. doi: 10.1093/molbev/msy014.
7
Scalability and Validation of Big Data Bioinformatics Software.大数据生物信息学软件的可扩展性与验证
Comput Struct Biotechnol J. 2017 Jul 20;15:379-386. doi: 10.1016/j.csbj.2017.07.002. eCollection 2017.
8
Modelling, inference and big data in biophysics.生物物理学中的建模、推理与大数据
Biophys Rev. 2017 Aug;9(4):297-298. doi: 10.1007/s12551-017-0282-6. Epub 2017 Jul 30.

本文引用的文献

1
Rule rewrite aims to clean up scientific software.规则重写旨在清理科学软件。
Nature. 2015 Apr 16;520(7547):276-7. doi: 10.1038/520276a.
2
Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie.无金标准情况下生物信息学软件的验证与确认:以BWA和Bowtie为例
BMC Bioinformatics. 2014;15 Suppl 16(Suppl 16):S15. doi: 10.1186/1471-2105-15-S16-S15. Epub 2014 Dec 8.
3
Choice of transcripts and software has a large effect on variant annotation.转录本和软件的选择对变体注释有很大的影响。
Genome Med. 2014 Mar 31;6(3):26. doi: 10.1186/gm543. eCollection 2014.
4
Computing: Scientific software needs quality control.计算领域:科学软件需要质量控制。
Nature. 2013 Oct 24;502(7472):448. doi: 10.1038/502448d.
5
Mozilla plan seeks to debug scientific code.Mozilla计划旨在调试科学代码。
Nature. 2013 Sep 26;501(7468):472. doi: 10.1038/501472a.
6
Computational science. Troubling trends in scientific software use.计算科学。科学软件使用中的不良趋势。
Science. 2013 May 17;340(6134):814-5. doi: 10.1126/science.1231535.
7
Low concordance of multiple variant-calling pipelines: practical implications for exome and genome sequencing.多种变异calling 管道一致性低:外显子组和基因组测序的实际影响。
Genome Med. 2013 Mar 27;5(3):28. doi: 10.1186/gm432. eCollection 2013.
8
Fast gapped-read alignment with Bowtie 2.快速缺口读对准与 Bowtie 2。
Nat Methods. 2012 Mar 4;9(4):357-9. doi: 10.1038/nmeth.1923.
9
Testing and Validating Machine Learning Classifiers by Metamorphic Testing.通过变形测试对机器学习分类器进行测试与验证。
J Syst Softw. 2011 Apr 1;84(4):544-558. doi: 10.1016/j.jss.2010.11.920.
10
CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection.CONFU:用于软件漏洞检测的配置模糊测试框架。
Int J Secur Softw Eng. 2010;1(3):41-55. doi: 10.4018/jsse.2010070103.

如何测试生物信息学软件?

How to test bioinformatics software?

作者信息

Kamali Amir Hossein, Giannoulatou Eleni, Chen Tsong Yueh, Charleston Michael A, McEwan Alistair L, Ho Joshua W K

机构信息

Victor Chang Cardiac Research Institute, Darlinghurst, NSW, 2010, Australia.

School of Electrical and Information Engineering, The University of Sydney, Sydney, NSW, 2006, Australia.

出版信息

Biophys Rev. 2015 Sep;7(3):343-352. doi: 10.1007/s12551-015-0177-3. Epub 2015 Aug 13.

DOI:10.1007/s12551-015-0177-3
PMID:28510230
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC5425734/
Abstract

Bioinformatics is the application of computational, mathematical and statistical techniques to solve problems in biology and medicine. Bioinformatics programs developed for computational simulation and large-scale data analysis are widely used in almost all areas of biophysics. The appropriate choice of algorithms and correct implementation of these algorithms are critical for obtaining reliable computational results. Nonetheless, it is often very difficult to systematically test these programs as it is often hard to verify the correctness of the output, and to effectively generate failure-revealing test cases. Software testing is an important process of verification and validation of scientific software, but very few studies have directly dealt with the issues of bioinformatics software testing. In this work, we review important concepts and state-of-the-art methods in the field of software testing. We also discuss recent reports on adapting and implementing software testing methodologies in the bioinformatics field, with specific examples drawn from systems biology and genomic medicine.

摘要

生物信息学是应用计算、数学和统计技术来解决生物学和医学问题的学科。为计算模拟和大规模数据分析而开发的生物信息学程序广泛应用于生物物理学的几乎所有领域。算法的恰当选择以及这些算法的正确实现对于获得可靠的计算结果至关重要。然而,系统地测试这些程序通常非常困难,因为往往难以验证输出的正确性,也难以有效地生成能揭示故障的测试用例。软件测试是科学软件验证和确认的重要过程,但很少有研究直接涉及生物信息学软件测试的问题。在这项工作中,我们回顾了软件测试领域的重要概念和最新方法。我们还讨论了关于在生物信息学领域采用和实施软件测试方法的近期报告,并从系统生物学和基因组医学中选取了具体实例。