2013 20th Asia-Pacific Software Engineering Conference (APSEC)最新文献_第7页

JeB: Safe Simulation of Event-B Models in JavaScript JavaScript中Event-B模型的安全模拟

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.83

Faqing Yang, J. Jacquot, J. Souquières

引用次数: 20

Service Brick Composition Framework for Smartphones 智能手机的服务砖组合框架

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.67

Shang-Pin Ma, Jheng-Shiun Jiang, Wen-Tin Lee

引用次数: 6

Grouping Objects for Execution Trace Analysis Based on Design Patterns 基于设计模式的执行跟踪分析对象分组

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.107

Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, K. Agusa

引用次数: 10

Entity Disambiguation in Natural Language Text Requirements 自然语言文本需求中的实体消歧

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.41

Janardan Misra, Subhabrata Das

引用次数: 9

Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions 公平性条件下模型活动性的检验Anti-fairness假设

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.82

K. Ogata

引用次数: 5

Practitioner-Oriented Visualization in an Interactive Search-Based Software Test Creation Tool 基于交互式搜索的软件测试创建工具中面向从业者的可视化

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.120

Bogdan Marculescu, R. Feldt, R. Torkar

{"title":"Practitioner-Oriented Visualization in an Interactive Search-Based Software Test Creation Tool","authors":"Bogdan Marculescu, R. Feldt, R. Torkar","doi":"10.1109/APSEC.2013.120","DOIUrl":"https://doi.org/10.1109/APSEC.2013.120","url":null,"abstract":"Search-based software testing uses meta-heuristic search techniques to automate or partially automate testing tasks, such as test case generation or test data generation. It uses a fitness function to encode the quality characteristics that are relevant, for a given problem, and guides the search to acceptable solutions in a potentially vast search space. From an industrial perspective, this opens up the possibility of generating and evaluating lots of test cases without raising costs to unacceptable levels. First, however, the applicability of search-based software engineering in an industrial setting must be evaluated. In practice, it is difficult to develop a priori a fitness function that covers all practical aspects of a problem. Interaction with human experts offers access to experience that is otherwise unavailable and allows the creation of a more informed and accurate fitness function. Moreover, our industrial partner has already expressed a view that the knowledge and experience of domain specialists are more important to the overall quality of the systems they develop than software engineering expertise. In this paper we describe our application of Interactive Search Based Software Testing (ISBST) in an industrial setting. We used SBST to search for test cases for an industrial software module and based, in part, on interaction with a human domain specialist. Our evaluation showed that such an approach is feasible, though it also identified potential difficulties relating to the interaction between the domain specialist and the system.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129499393","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

Preserving Correctness of Requirements Evolution through Refinement in Event-B 通过事件b中的细化保持需求演进的正确性

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.50

Kriangkrai Traichaiyaporn, Toshiaki Aoki

引用次数: 3

Fault-Prone Module Prediction Using a Prediction Model and Manual Inspection 基于预测模型和人工检测的易发故障模块预测

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.25

Norimitsu Kasai, Shuji Morisaki, Ken-ichi Matsumoto

{"title":"Fault-Prone Module Prediction Using a Prediction Model and Manual Inspection","authors":"Norimitsu Kasai, Shuji Morisaki, Ken-ichi Matsumoto","doi":"10.1109/APSEC.2013.25","DOIUrl":"https://doi.org/10.1109/APSEC.2013.25","url":null,"abstract":"This paper proposes a fault-prone prediction approach that combines a fault-prone prediction model and manual inspection. Manual inspection is conducted by a predefined checklist that consists of questions and scoring procedures. The questions capture the fault signs or indications that are difficult to be captured by source code metrics used as input by prediction models. Our approach consists of two steps. In the first, the modules are prioritized by a fault-prone prediction model. In the second step, an inspector inspects and scores α percent of the prioritized modules. We conducted a case study of source code modules in commercial software that had been maintained and evolved over ten years and compared AUC (Area Under the Curve) values of Alberg Diagram among three prediction models: (A) support vector machines, (B) lines of code, and (C) random predictor with four prioritization orders. Our results indicated that the maximum AUC values under appropriate α and the coefficient of the inspection score were larger than the AUC values of the prediction models without manual inspection in each of the four combinations and the three models in our context. In two combinations, our approach increased the AUC values to 0.860 from 0.774 and 0.724. Our results also indicated that one of the combinations monotonically increased the AUC values with the numbers of manually inspected modules. This might lead to flexible inspection; the number of manually inspected modules has not been preliminary determined, and the inspectors can inspect as many modules as possible, depending on the available effort.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114666596","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

Designing User Experience for Mobile Apps: Long-Term Product Owner Perspective 设计手机应用的用户体验:产品负责人的长期视角

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.77

Kati Kuusinen, T. Mikkonen

引用次数: 18

Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems 处理基于组件的多模式系统中的多模式切换场景

2013 20th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2013-12-02 DOI: 10.1109/APSEC.2013.61

Y. Hang, H. Hansson

{"title":"Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems","authors":"Y. Hang, H. Hansson","doi":"10.1109/APSEC.2013.61","DOIUrl":"https://doi.org/10.1109/APSEC.2013.61","url":null,"abstract":"The growing complexity of embedded systems software entails new development techniques. Component-Based Software Engineering is undoubtedly suitable for the development of complex systems thanks to its inherent component reuse. Another approach to reduce software complexity is by partitioning the system behavior into different operational modes. Each mode is associated with a unique behavior and the system can change behavior by switching between modes. When such a multi-mode system is developed by reusable software components, a crucial issue is how to achieve a seamless composition of multi-mode components and also how to handle mode switch properly. As an integrated solution to the challenges of multi-mode component-based software system development we have proposed the Mode Switch Logic (MSL). The current version of MSL assumes independent handling of a single mode switch scenario, i.e. that no other mode switch is triggered until an ongoing mode switch is completed. For a wide class of systems, this is an unrealistic assumption. In this paper we lift this assumption by proposing an extension of MSL to handle multiple mode switch scenarios concurrently triggered by different components.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"600 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116571425","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