Proceedings of the 4th Symposium on Information and Communication Technology最新文献_第5页

On the efficiency of query-subquery nets: an experimental point of view 关于查询-子查询网络的效率:一个实验观点

Proceedings of the 4th Symposium on Information and Communication Technology Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542085

S. Cao

引用次数: 5

Towards tangent-linear GPU programs using OpenACC 用OpenACC实现切线GPU程序

Proceedings of the 4th Symposium on Information and Communication Technology Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542059

B. T. Minh, Michael Förster, U. Naumann

引用次数: 1

Demystifying sparse rectified auto-encoders 揭开稀疏整流自编码器的神秘面纱

Proceedings of the 4th Symposium on Information and Communication Technology Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542065

Kien Tran, H. Le

引用次数: 0

Constructing test cases for n-wise testing from tree-based test models 从基于树的测试模型中为n向测试构建测试用例

Proceedings of the 4th Symposium on Information and Communication Technology Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542074

Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, G. Hatayama, Shin Sakuragi, H. Ohsaki

{"title":"Constructing test cases for n-wise testing from tree-based test models","authors":"Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, G. Hatayama, Shin Sakuragi, H. Ohsaki","doi":"10.1145/2542050.2542074","DOIUrl":"https://doi.org/10.1145/2542050.2542074","url":null,"abstract":"In our previous work [17], we proposed a model-based combinatorial testing method, called FOT. It provides a technique to design test-models for combinatorial testing based on extended logic trees. In this paper, we introduce pair-wise testing (and by extension, n-wise testing, where n = 1, 2, ...) to FOT, by developing a technique to construct a test-suite of n-wise strategies from the test models in FOT. We take a \"transformation approach\" to realize this technique. To construct test suites, this approach first transforms test-models in FOT, represented as extended logic trees, to those in the formats which the existing n-wise testing tools (such as PICT [9], ACTS [30], CIT-BACH [31], etc.) accept to input, and then applies transformed test-models to any of these tools. In this transformation approach, an algorithm, called \"flattening algorithm\", plays a key role. We prove the correctness of the algorithm, and implement the algorithm to automate such test-suite constructions, providing a tool called FOT-nw (FOT with n-wise). Further, to show the effectiveness of the technique, we conduct a case study, where we apply FOT-nw to design test models and automatically construct test suites of n-wise strategies for an embedded system of stationary services for real-use in industry.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129196128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

A better bit-allocation algorithm for H.264/SVC 一种更好的H.264/SVC位分配算法

Proceedings of the 4th Symposium on Information and Communication Technology Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542067

Vo Phuong Binh, Shih-Hsuan Yang

引用次数: 4