2014 21st Asia-Pacific Software Engineering Conference最新文献_第3页

Formal Modeling and Analyzing the Reliability for Service Composition 服务组合的形式化建模与可靠性分析

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.22

Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu

引用次数: 1

BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling BP-Miner:从驱动程序的二进制代码中挖掘配对函数以进行错误处理

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.67

Hu-Qiu Liu, Jia-Ju Bai, Yuping Wang, Shimin Hu

{"title":"BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling","authors":"Hu-Qiu Liu, Jia-Ju Bai, Yuping Wang, Shimin Hu","doi":"10.1109/APSEC.2014.67","DOIUrl":"https://doi.org/10.1109/APSEC.2014.67","url":null,"abstract":"Kernel extension functions are provided as interfaces for drivers to manage devices and resources, and there are many implicit rules about their usages. One of the most important rules is that many functions should be called in pairs. That is to say, when an error occurs in a function, the driver should call related functions to handle it and release the acquired resources before returning, and we name these functions between normal execution paths and error handling paths as paired functions. However, many developers are unaware of them, which causes lots of bugs. Therefore, it is highly significant to automatically extract paired functions and detect violations for drivers. This paper proposes an efficient tool named BP-Miner, which can extract paired functions from binary code of driver modules and detect violations for error handling in drivers with extracted paired functions. BP-Miner constructs control flow graph (CFG) based on basic blocks of binary code, and locates potential execution paths to extract paired functions. We have evaluated BP-Miner with Linux drivers 2.6.38 and 3.13.0-rc7. 76 bugs are reported by BP-Miner in 2.6.38 which have been fixed in the current latest version 3.13.0-rc7. BP-Miner spends about 90 minutes handling 3653 module files for 3.13.0-rc7, and 859 violations have been detected with 1167 extracted paired functions. As it works on the binary code, it can be utilized to check close-source drivers.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125637864","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}

引用次数: 3

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities 存在不确定性和概率的软件产品线模型检验

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.18

M. Varshosaz, R. Khosravi

引用次数: 1

A Probabilistic Neural Network-Based Approach for Related Software Changes Detection 基于概率神经网络的相关软件变更检测方法

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.50

Yuan Huang, Xiangping Chen, Qiwen Zou, Xiaonan Luo

引用次数: 8

A Lifecycle-Based Design Methodology of the Lightweight Ontology and Its Application to Cultivating High Quality Mandarin Orange 基于生命周期的轻量级本体设计方法及其在优质柑桔培育中的应用

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.31

Reiko Fujimoto, M. Aoyama

引用次数: 4

A Framework for Distributed Testing of Timed Composite Systems 时间复合系统的分布式测试框架

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.16

H. Nguyen, Fatiha Zaïdi, A. Cavalli

引用次数: 6

Synchronization Error Detection of MPI Programs by Symbolic Execution 基于符号执行的MPI程序同步错误检测

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.28

Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang

引用次数: 3

Customer Requirements Validation Method Based on Mental Models 基于心智模型的客户需求验证方法

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.39

Youn Kyu Lee, H. In, R. Kazman

引用次数: 7

Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems Maude作为汽车操作系统测试生成引擎的评价

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.52

Yunja Choi, Min Zhang, K. Ogata

引用次数: 3

Test Scenario Generation for Reliability Tactics from UML Sequence Diagram 基于UML序列图的可靠性策略测试场景生成

2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.11

Xiang Qiu, Li Zhang

{"title":"Test Scenario Generation for Reliability Tactics from UML Sequence Diagram","authors":"Xiang Qiu, Li Zhang","doi":"10.1109/APSEC.2014.11","DOIUrl":"https://doi.org/10.1109/APSEC.2014.11","url":null,"abstract":"In safety-critical systems (e.g. Ship control system, avionics system), various reliability tactics are applied for guaranteeing the safe operation of the system. Therefore, much more attentions during the testing process are expected to be paid on these tactics. However, since developers cannot identify the reliability tactics from the system design effectively, the traditional testing approaches cannot obtain the test scenarios associated with reliability tactics directly. Based on our previous works about the aspect specifications of reliability tactics, we propose an approach for generating the test scenarios associated with reliability tactics from Sequence Diagram of Unified Modeling Language (UML). Owing to the separation of reliability tactics from the base model, the Label Transition Systems (LTSs) of the base and tactic aspect model can be obtained as intermediate models of generation process respectively. Then the action sequences of above LTSs are generated. Following the proposed principles, we can acquire the test scenarios associated with reliability tactics through integrating the action sequences of tactic aspect models with the ones of the base model. An avionics system is used to evaluate the availability of our approach. The results show that 1) our approach can effectively identify the test scenarios associated with reliability tactics from all possible test scenarios of system design, 2) the aspect specifications of reliability tactics can alleviate the input effort of test scenario generation for different functional fragments. We also exemplify the advantage of our approach for supporting the model changes.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123962955","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}

引用次数: 1