基于本体的并发错误测试工具推荐方法研究

doi:10.11896/j.issn.1002-137X.2017.11.031

计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 202-206.doi: 10.11896/j.issn.1002-137X.2017.11.031

• 第六届全国软件分析测试与演化学术会议 • 上一篇下一篇

基于本体的并发错误测试工具推荐方法研究

郑炜,黄月明,吴潇雪,冯晨,蔺军

西北工业大学软件与微电子学院西安710129,西北工业大学软件与微电子学院西安710129,西北工业大学软件与微电子学院西安710129,西北工业大学软件与微电子学院西安710129,西北工业大学软件与微电子学院西安710129

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金(61402370)资助

Research on Recommendation of Concurrency Bug Testing Tools Based on Ontology

ZHENG Wei, HUANG Yue-ming, WU Xiao-xue, FENG Chen and LIN Jun

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 随着并发系统测试关注度的日益提高,越来越多的并发系统测试工具不断出现。对于测试人员来说,能否正确选取并发系统测试工具也就成为了并发测试效率的决定因素之一。鉴于并发错误检测软件并不像传统测试软件那样被人们所熟知,提出一种基于本体设计的并发错误测试工具推荐方法。该方法分别根据并发错误类型、程序本身特征和用户具体需求推荐适合的并发错误测试工具,从而提高测试的效率。

关键词: 并发错误,本体,测试工具推荐

Abstract: With the concern of concurrent system testing increasing recently,new and different test tools are constantly coming into the market.For software test engineer,the ability of selecting test tools correctly has become the determining factors of testing efficiency.Because concurrent system test tools are not as well-known as those traditional test tools,we designed a recommendation approach based on ontology to promote concurrent system test tools for users.The recommendation approach recommends concurrent system test tools through three modules to improve test efficiency:the types of concurrency bugs,the features of the program to be tested and the requirement of users.

Key words: Concurrency bug,Ontology,Testing tool recommendation

郑炜,黄月明,吴潇雪,冯晨,蔺军. 基于本体的并发错误测试工具推荐方法研究[J]. 计算机科学, 2017, 44(11): 202-206. https://doi.org/10.11896/j.issn.1002-137X.2017.11.031

ZHENG Wei, HUANG Yue-ming, WU Xiao-xue, FENG Chen and LIN Jun. Research on Recommendation of Concurrency Bug Testing Tools Based on Ontology[J]. Computer Science, 2017, 44(11): 202-206. https://doi.org/10.11896/j.issn.1002-137X.2017.11.031

参考文献

[1] RODRGUEZ M .Creating a semantically-enhanced cloudservices environment through ontology evolution[J].Future Generation Computer Systems,2014,32(1):295-306.
[2] LEESATAPORNOWONGSA T,GUNAWI H S.SAMC:afast model checker for finding heisenbugs in distributed systems (demo)[C]∥Proceedings of the International Symposium on Software Testing and Analysis(ISSTA’15).2015:423-427.
[3] CSUTORAS C,KISS A.Ontology visualization methods—a survey[J].ACM Computing Surveys,2015,39(4):415-416.
[4] ASUNCIN GMEZ-PREZ,M,C ORCHO O.Ontological Engineering[J].Advanced Information & Knowledge Processing,2004,47(2):69-75.
[5] ASADOLLAH S A,HANSSON H,S UNDMARK D,et al.Towards Classification of Concurrency Bugs Based on Observable Properties[C]∥International Workshop on Complex Faults and Failures in Large Software Systems.IEEE Press,2015:41-47.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于本体的并发错误测试工具推荐方法研究

Research on Recommendation of Concurrency Bug Testing Tools Based on Ontology

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0