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

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

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

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

  1. 西北工业大学软件与微电子学院 西安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: 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

[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.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .