Statement-coverage testing for nondeterministic concurrent programs

Gwan-Hwan Hwang*, Heng Yi Lin, Shao Yan Lin, Che Sheng Lin

*此作品的通信作者

研究成果: 書貢獻/報告類型會議論文篇章

3 引文 斯高帕斯(Scopus)

摘要

In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.

原文英語
主出版物標題Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
頁面263-266
頁數4
DOIs
出版狀態已發佈 - 2012 十月 5
事件IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 - Beijing, 中国
持續時間: 2012 七月 42012 七月 6

出版系列

名字Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

其他

其他IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
國家/地區中国
城市Beijing
期間2012/07/042012/07/06

ASJC Scopus subject areas

  • 軟體

指紋

深入研究「Statement-coverage testing for nondeterministic concurrent programs」主題。共同形成了獨特的指紋。

引用此