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

SW FMEA for ISO-26262 Software Development ISO-26262软件开发的软件FMEA

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

Hyung-Ho Kim

引用次数: 5

Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software Architectures 基于运行时监控的软件体系结构评估与通信完整性验证

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

Ana Dragomir, H. Lichter, J. Dohmen, Hongyu Chen

{"title":"Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software Architectures","authors":"Ana Dragomir, H. Lichter, J. Dohmen, Hongyu Chen","doi":"10.1109/APSEC.2014.38","DOIUrl":"https://doi.org/10.1109/APSEC.2014.38","url":null,"abstract":"Architecture descriptions greatly contribute to the understanding, evaluation and evolution of software but despite this, up-to-date software architecture views are rarely available. Typically only initial descriptions of the static view are created but during the development and evolution process the software drifts away from its description. Methods and corresponding tool support for reconstructing and evaluating the current architecture views have been developed and proposed, but they usually address the reconstruction of static and dynamic views separately. Especially the dynamic views are usually bloated with low-level information (e.g., Object interactions) making the understanding and evaluation of the behavior very intricate. To overcome this, we presented ARAMIS, a general architecture for building tool-based approaches that support the architecture-centric evolution and evaluation of software systems with a strong focus on their behavior. This work presents ARAMIS-CICE, an instantiation of ARAMIS. Its goal is to automatically test if the run-time interactions between architecture units match the architecture description. Furthermore, ARAMIS-CICE characterizes the intercepted behavior using two newly-defined architecture metrics. We present the fundamental concepts of ARAMIS-CICE: its meta-model, metrics and implementation. We then discuss the results of a two-folded evaluation. The evaluation shows very promising results.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"78 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":"128401132","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}

引用次数: 9

An Empirical Study on Interaction Factors Influencing Bug Reopenings 影响Bug重开的交互因素实证研究

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

Jinkun Pan, Xiaoguang Mao

引用次数: 4

A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems 基于上下文角色的工程自适应软件系统建模框架

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

T. Tamai, S. Monpratarnchai

引用次数: 6

Continuous Product-Focused Project Monitoring with Trend Patterns and GQM 使用趋势模式和GQM持续的以产品为中心的项目监控

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

H. Nakai, Kiyoshi Honda, H. Washizaki, Y. Fukazawa, Ken Asoh, Kazuyoshi Takahashi, Kentarou Ogawa, M. Mori, Takashi Hino, Yosuke Hayakawa, Yasuyuki Tanaka, S. Yamada, Daisuke Miyazaki

引用次数: 1

Improving Testing Coverage for Safety-Critical System by Mutated Specification 通过变更规范提高安全关键系统的测试覆盖率

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

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

{"title":"Improving Testing Coverage for Safety-Critical System by Mutated Specification","authors":"Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du","doi":"10.1109/APSEC.2014.15","DOIUrl":"https://doi.org/10.1109/APSEC.2014.15","url":null,"abstract":"Automation and high coverage are two essential industrial technical requirements of qualified testing method for safety-critical systems. The ioco-testing method is a sound and well-defined formal automation testing technique for labelled transition system. However, when we apply this method to a train control system developed by our industrial partner, we find that some testing requirements are not covered for certain testing objects. Further analysis has shown that the ioco-testing method only generates test cases based on explicit specified system behaviors which may result in low coverage when the implementation under test includes code branches used to deal with faults which can't be defined thoroughly in the specification in practices. Therefore, we propose a labelled transition system testing method based on specification mutation to improve safety-critical system testing coverage. We firstly define the mutation operators for the Input output symbolic transition system (IOSTS) modeling language, then we construct the corresponding test generation algorithm and translate the derived test cases into xml files which can be directly applied to the implementation under test in a simulation and test platform developed by our partner. Preliminary experiments on a safety-critical function named train position determination have shown about 28.5% improvement on the testing coverage.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"134 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":"122945845","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}

引用次数: 2

Reviewing Formal Specification for Validation Using Animation and Trace Links 回顾使用动画和跟踪链接验证的正式规范

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

Mo Li, Shaoying Liu

引用次数: 1

Modeling and Testing of GUIs Using IOLTS 使用IOLTS的gui建模和测试

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

Shengbo Chen, Dashen Sun, Huai-kou Miao, Hong-wei Zeng

引用次数: 0

Early Experience with Model-Driven Development of MapReduce Based Big Data Application 有基于MapReduce的大数据应用的模型驱动开发经验

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

Asha Rajbhoj, V. Kulkarni, Nikhil Bellarykar

引用次数: 11

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems 反应堆保护系统功能框图的使用指南

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

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

引用次数: 1