2008 15th Asia-Pacific Software Engineering Conference最新文献

Early Estimate the Size of Test Suites from Use Cases 从用例中早期估计测试套件的大小

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-22 DOI: 10.1109/APSEC.2008.62

Qu Yi, Zhou Bo, Xiaochun Zhu

引用次数: 17

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software 基于组件软件的模块化一致性测试与假设保证验证

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.51

Pham Ngoc Hung, T. Katayama

引用次数: 14

Scheduling Product Line Features for Effective Roadmapping 为有效的路线图规划产品线功能

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.21

J. Savolainen, Juha Kuusela

引用次数: 3

Towards Analysing Information Management Requirements in New Zealand Genetic Services 分析新西兰遗传服务的信息管理需求

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.65

Yulong Gu, J. Warren

引用次数: 0

Deadlock-Detection in Java-Library Using Static-Analysis 使用静态分析的java库死锁检测

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.68

Vivek K. Shanbhag

引用次数: 23

Extending PSC for Monitoring the Timed Properties in Composite Services 扩展PSC用于监视组合服务中的定时属性

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.10

Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun

{"title":"Extending PSC for Monitoring the Timed Properties in Composite Services","authors":"Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun","doi":"10.1109/APSEC.2008.10","DOIUrl":"https://doi.org/10.1109/APSEC.2008.10","url":null,"abstract":"Due to the dynamically evolving attribute, validation of composite services must be extended from design time to run-time. Dynamical verification techniques, such as runtime monitoring, have been first class activities to be performed during the execution of composite services. For a kind of composite services, nonfunctional properties, such as timed properties, are as important as functional properties and need to be monitored at run-time. However, using traditional logic and formalism, these timed properties are not easily represented for general software engineers. In order to deal with this problem, we first extend a novel notation (Property Sequence Chart) with time constructs. Then, we give its semantics in terms of timed Buchi automata and measure its expressiveness based on recently proposed real-time specification patterns. Finally, we propose a novel framework to monitor two kinds of timed properties in composite services: the accomplished time of basic service operations and some additional timed assumptions of the composition process. Our framework provides a completely graphical front-end which can friendly help general software engineers to monitor the timed properties in composite services.","PeriodicalId":218839,"journal":{"name":"2008 15th Asia-Pacific Software Engineering Conference","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114230762","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}

引用次数: 12

DRACULA: Detector of Data Races in Signals Handlers 信号处理程序中的数据竞争检测器

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.25

Takamitsu Tahara, K. Gondow, Seiya Ohsuga

引用次数: 21

Early Filtering of Polluting Method Calls for Mining Temporal Specifications 污染方法的早期过滤需要挖掘时间规范

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.53

Hao Zhong, Lu Zhang, Hong Mei

{"title":"Early Filtering of Polluting Method Calls for Mining Temporal Specifications","authors":"Hao Zhong, Lu Zhang, Hong Mei","doi":"10.1109/APSEC.2008.53","DOIUrl":"https://doi.org/10.1109/APSEC.2008.53","url":null,"abstract":"Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high cost of writing them manually or being out-of-date due to the rapid evolution of software. As API clients contain many usages of libraries including temporal rules, various approaches have been proposed to automatically mine temporal specifications from these clients. Typically, only a small part of the mined specifications are real specifications because the generated traces from clients are quite large and polluted. In this paper, we analyze four types of unwanted method calls that are not useful for mining, and we refer to these method calls as polluting method calls. As these method calls are not useful for mining, it is desirable to filter out them as early as possible. To address the problem, we develop a tool, named mining accurate temporal specifications (MATS), that filters out most of the preceding polluting method calls before traces are generated. Our experiments show that with these filtering techniques, the specifications mined by MATS are more accurate than without these filtering techniques. Our experiments also show the detailed impacts of MATS¿s filtering techniques. The results provide further insight on how and why MATS improves existing specification mining.","PeriodicalId":218839,"journal":{"name":"2008 15th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130471716","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}

引用次数: 7

Behavioral Specification of Real-Time Requirements 实时需求的行为规范

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.22

S. M. Babamir, F. S. Babamir

引用次数: 3

Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions 基于ES的自动化软件聚类方法实现一致性分解

2008 15th Asia-Pacific Software Engineering Conference Pub Date : 2008-12-03 DOI: 10.1109/APSEC.2008.18

B. Khan, S. Sohail

{"title":"Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions","authors":"B. Khan, S. Sohail","doi":"10.1109/APSEC.2008.18","DOIUrl":"https://doi.org/10.1109/APSEC.2008.18","url":null,"abstract":"Effective life time of any software can be increased many folds by proper and up to date maintenance. Automated software module clustering is a method used by software professionals to recover high-level structure of the system by decomposing the system into smaller manageable subsystems, containing interdependent modules. Once the structure of the system is clear, the understanding of any system for proper maintenance can be achieved. We have proposed an automated clustering approach based on the principles of Evolution Strategies to search a large solution space consisting of modules and their relationships. Our approach tries to achieve near optimal decompositions consisting of independent subsystems, containing interdependent modules. We have compared our proposed approach with a widely used Genetic Algorithm based clustering technique and our approach worked better in all test cases. In this paper, we are highlighting one distinguishing feature of our approach: the consistency in results. For any optimization algorithm, exactly similar results in different executions of the algorithm on same data cannot be achieved. However, the results should remain in close proximity and should not change drastically. We have carried out a comparative study of our approach and the Genetic Algorithm based approach using a set of test systems. The results with our approach are always consistent than those produced by the Genetic Algorithm based approach.","PeriodicalId":218839,"journal":{"name":"2008 15th Asia-Pacific Software Engineering Conference","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115790396","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