首页> 外文会议>International Workshop on Metamorphic Testing >Quality Assurance of Bioinformatics Software: A Case Study of Testing a Biomedical Text Processing Tool Using Metamorphic Testing
【24h】

Quality Assurance of Bioinformatics Software: A Case Study of Testing a Biomedical Text Processing Tool Using Metamorphic Testing

机译:生物信息学软件的质量保证:使用变质测试测试生物医学文本处理工具的案例研究

获取原文

摘要

Bioinformatics software plays a very important role in making critical decisions with in many areas including medicine and healthcare. However, most of the research is directed towards developing tools, and little time and effort is spent on testing the software to assure its quality. In testing, a test oracle is used to determine whether a test is passed or failed during testing, and unfortunately, for much of bioinformatics software, the exact expected outcomes are not well defined. Thus, the main challenge associated with conducting systematic testing on bioinformatics software is the oracle problem. Metamorphic testing (MT) is a technique used to test programs that face the oracle problem. MT uses metamorphic relations (MRs) to determine whether a test has passed or failed and specifies how the output should change according to a specific change made to the input. In this work, we use MT to test LingPipe, a tool for processing text using computational linguistics, often used in bioinformatics for bio-entity recognition from biomedical literature. First, we identify a set of MRs for testing any bio-entity recognition program. Then we develop a set of test cases that can be used to test LingPipe's bio-entity recognition functionality using these MRs. To evaluate the effectiveness of this testing process, we automatically generate a set of faulty versions of LingPipe. According to our analysis of the experimental results, we observe that our MRs can detect the majority of these faulty versions, which shows the utility of this testing technique for quality assurance of bioinformatics software.
机译:生物信息学软件在许多领域(包括医学和医疗保健)的关键决策中起着非常重要的作用。但是,大多数研究都是针对开发工具的,很少花费时间和精力来测试软件以确保其质量。在测试中,使用测试Oracle来确定测试过程中测试是通过还是失败,不幸的是,对于许多生物信息学软件而言,确切的预期结果并没有得到很好的定义。因此,与对生物信息学软件进行系统测试有关的主要挑战是甲骨文问题。变形测试(MT)是一种用于测试面对oracle问题的程序的技术。 MT使用变形关系(MR)来确定测试是通过还是失败,并根据对输入的特定更改指定输出应如何更改。在这项工作中,我们使用MT来测试LingPipe,LingPipe是使用计算语言学处理文本的工具,通常在生物信息学中用于从生物医学文献中识别生物实体。首先,我们确定一组用于测试任何生物实体识别程序的MR。然后,我们开发了一组测试用例,可用于使用这些MR测试LingPipe的生物实体识别功能。为了评估此测试过程的有效性,我们会自动生成一组有缺陷的LingPipe版本。根据我们对实验结果的分析,我们观察到我们的MR可以检测到大多数这些错误版本,这表明该测试技术可用于确保生物信息学软件的质量。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号