ASRSP——一种新的并发程序测试准则

计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 268-273.

ASRSP——一种新的并发程序测试准则

卢炎生卢超

华中科技大学计算机科学与技术学院,武汉430074

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家“十一五”部委预研基金（No.513150601）;湖北省自然科学基金（No.2005ABA255）.

LU Yan-Sheng, LU Chao （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明，对于一般规模的并发程序，这一测试序列集仍然太大，以至穷尽测试无法完成。因此，目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法。本文提出了一种实用性较高的并发程序测试准则：全发送接收语句对（ASRSP），并针对该准则提出了一种新的并发程序测试方法：全发送接收语句对可达性测试（ASR—SP-RT）。该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对，并在每次生成新

关键词: 软件测试测试准则可达性测试并发全发送接收语句对

Abstract: Reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences. Recent work shows, however, that it generally suffers from its scalability due to the large set size. As a

Key words: Software testing, Testing criterion, Reachability testing, Concurrency, ASRSTP

卢炎生卢超. ASRSP——一种新的并发程序测试准则[J]. 计算机科学, 2008, 35(2): 268-273. https://doi.org/

LU Yan-Sheng, LU Chao （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）. [J]. Computer Science, 2008, 35(2): 268-273. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed