2011 IEEE 13th International Symposium on High-Assurance Systems Engineering最新文献

The OASIS Kernel: A Framework for High Dependability Real-Time Systems OASIS内核:高可靠性实时系统的框架

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.38

Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, V. David

引用次数: 22

Reducing State Explosion with Context Modeling for Model-Checking 基于上下文建模的模型检查减少状态爆炸

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.24

P. Dhaussy, Jean-Charles Roger, F. Boniol

引用次数: 29

Bug Signature Minimization and Fusion Bug签名最小化和融合

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.36

D. Lo, Hong Cheng, Xiaoyin Wang

{"title":"Bug Signature Minimization and Fusion","authors":"D. Lo, Hong Cheng, Xiaoyin Wang","doi":"10.1109/HASE.2011.36","DOIUrl":"https://doi.org/10.1109/HASE.2011.36","url":null,"abstract":"Debugging is a time-consuming activity. To help in debugging, many approaches have been proposed to pinpoint the location of errors given labeled failures and correct executions. While such approaches have been shown to be accurate, at times the location alone is not sufficient in helping programmers understand why the bug happens and how to fix it. Furthermore, a single location might not be powerful enough to discriminate failures from correct executions. To address the above challenges, there have been recent studies on extracting bug signatures which are composed of multiple locations appearing together in a particular order signifying an occurrence of a bug. The latest study on bug signatures by Cheng et al. models program executions as graphs. Two sets of graphs corresponding to failures and correct executions are then contrasted to extract the most discriminative connected sub graphs serving as bug signatures. However, there are two limitations: (1) returned signatures might not be minimal and (2) they can only capture localized bug context. In this work, we develop a signature minimization technique to capture minimal discriminative signatures. Also, we propose a technique of signature fusion to fuse disconnected sub graphs so that our method can capture bug contexts spanning multiple locations. Experimental study on Siemens and Space dataset shows the effectiveness of the proposed bug signature minimization and fusion techniques. Comparing with the state-of-the-art bug signature mining technique, we reduce the number of bugs missed by up to 57.7%, and reduce the average number of nodes traversed by up to 85.6%.","PeriodicalId":403140,"journal":{"name":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125642593","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}

引用次数: 6

Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing 基于组件的软件回归测试:基于状态测试的系统实践

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.40

Chuanqi Tao, Bixin Li, J. Gao

引用次数: 5

Patterns for Representing FMEA in Formal Specification of Control Systems 控制系统正式规范中FMEA的表示模式

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.10

I. Lopatkin, A. Iliasov, A. Romanovsky, Y. Prokhorova, E. Troubitsyna

引用次数: 34

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis 通过自动路径可行性分析提高EFSM测试用例生成的有效性

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.12

Rui Yang, Zhenyu Chen, Baowen Xu, W. E. Wong, Jie Zhang

{"title":"Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis","authors":"Rui Yang, Zhenyu Chen, Baowen Xu, W. E. Wong, Jie Zhang","doi":"10.1109/HASE.2011.12","DOIUrl":"https://doi.org/10.1109/HASE.2011.12","url":null,"abstract":"A typical approach utilized for automated test case generation is to create a model of the implementation under test. Extended Finite State Machine (EFSM) is among the most popular models for model-based testing. However, automated test case generation on EFSM models is still a challenge task as a result of the fact that an EFSM model may contain infeasible paths. In this article we present a novel approach that combines static analysis and dynamic analysis techniques to address the problems of path infeasibility in the process of test case generation on EFSM models. A metric is presented for the purpose of finding a path subset that has few paths, long path length and goodness feasibility to meet adequacy coverage criteria. In addition, we develop an executable model to obtain run-time information feedback and introduce the Scatter Search into test case generation. Based on the executable model, the expected outputs associated with test data are also collected for construction of test oracles automatically. The experimental results show that our approach has good effectiveness for test case generation on EFSM models, and the method that combines static analysis and dynamic analysis can speed up the process of test case generation greatly.","PeriodicalId":403140,"journal":{"name":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116948080","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}

引用次数: 22

Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services 安全Web服务中提高性能的加密算法的比较与分析

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.69

D. Rodrigues, D. F. Pigatto, J. C. Estrella, K. Branco

引用次数: 2

Integrating Legacy Applications for High Availability: A Case Study 为高可用性集成遗留应用程序:案例研究

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.39

A. Kanso, F. Khendek, A. Mishra, M. Toeroe

引用次数: 15

Leader-Determined Membership Protocol 领导决定的成员协议

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.14

Wenbing Zhao, P. Melliar-Smith, L. Moser

引用次数: 0

Multi-layer Monitoring for Cloud Computing 面向云计算的多层监控

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI: 10.1109/HASE.2011.65

Javier González, A. Muñoz, A. Maña

引用次数: 12