计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 202-206.doi: 10.11896/j.issn.1002-137X.2017.11.031
• 第六届全国软件分析测试与演化学术会议 • 上一篇 下一篇
郑炜,黄月明,吴潇雪,冯晨,蔺军
ZHENG Wei, HUANG Yue-ming, WU Xiao-xue, FENG Chen and LIN Jun
摘要: 随着并发系统测试关注度的日益提高,越来越多的并发系统测试工具不断出现。对于测试人员来说,能否正确选取并发系统测试工具也就成为了并发测试效率的决定因素之一。鉴于并发错误检测软件并不像传统测试软件那样被人们所熟知,提出一种基于本体设计的并发错误测试工具推荐方法。该方法分别根据并发错误类型、程序本身特征和用户具体需求推荐适合的并发错误测试工具,从而提高测试的效率。
[1] RODRGUEZ 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] ASUNCIN GMEZ-PREZ,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! |
|