Towards measurement of testability of concurrent object-oriented programs using fault insertion: a preliminary investigation

Towards measurement of testability of concurrent object-oriented programs using fault insertion: a preliminary investigation
复制标题

使用故障插入来测量并发面向对象程序的可测试性:初步调查

DOI:
--
复制
发表时间:
2002
期刊:
Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation
影响因子:
--
通讯作者:
Sudipto Ghosh
Sudipto Ghosh
中科院分区:
--
文献类型:
--
作者:
Sudipto Ghosh

文献摘要

被引文献

相似文献

目前还缺乏度量并发面向对象程序可测试性的方法和技术。目前测试顺序程序的理论和实践通常不适用于并发系统。本文提出了一种度量并发Java程序可测试性的方法。关键思想是获取一个程序并插入与并发方面相关的错误。该方法基于两种方法:(1)基于关键字的程序变异,以及(2)基于代码的静态分析的冲突图的创建。
There is a lack of methods and techniques for measuring testability of concurrent object-oriented programs. Current theory and practice for testing sequential programs do not usually apply to concurrent systems. An approach towards measuring the testability of concurrent Java programs is proposed in this paper. The key idea is to take a program and insert faults that are related to the concurrency aspects. The approach is based on two methods: (1) mutation of the program based on keywords, and (2) creation of conflict graphs based on static analysis of the code.