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

How Much Do Code Repositories Include Peripheral Modifications? 代码库包含多少外围修改?

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

N. Kusunoki, Keisuke Hotta, Yoshiki Higo, S. Kusumoto

引用次数: 8

Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints 实时系统中时序特性的测试:验证时钟约束

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

Mehrdad Saadatmand, Mikael Sjödin

{"title":"Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints","authors":"Mehrdad Saadatmand, Mikael Sjödin","doi":"10.1109/APSEC.2013.131","DOIUrl":"https://doi.org/10.1109/APSEC.2013.131","url":null,"abstract":"Ensuring that timing constraints in a real-time system are satisfied and met is of utmost importance. There are different static analysis methods that are introduced to statically evaluate the correctness of such systems in terms of timing properties, such as schedulability analysis techniques. Regardless of the fact that some of these techniques might be too pessimistic or hard to apply in practice, there are also situations that can still occur at runtime resulting in the violation of timing properties and thus invalidation of the static analyses' results. Therefore, it is important to be able to test the runtime behavior of a real-time system with respect to its timing properties. In this paper, we introduce an approach for testing the timing properties of real-time systems focusing on their internal clock constraints. For this purpose, test cases are generated from timed automata models that describe the timing behavior of real-time tasks. The ultimate goal is to verify that the actual timing behavior of the system at runtime matches the timed automata models. This is achieved by tracking and time-measuring of state transitions at runtime.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"7 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":"114934818","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

Seamless Code Reuse with Source Code Corpus 无缝代码重用与源代码语料库

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

Tetsuo Yamamoto, Norihiro Yoshida, Yoshiki Higo

引用次数: 5

Integrating Software Process Reuse and Automation 集成软件过程重用和自动化

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

Emmanuelle Rouillé, B. Combemale, Olivier Barais, David Touzet, J. Jézéquel

{"title":"Integrating Software Process Reuse and Automation","authors":"Emmanuelle Rouillé, B. Combemale, Olivier Barais, David Touzet, J. Jézéquel","doi":"10.1109/APSEC.2013.58","DOIUrl":"https://doi.org/10.1109/APSEC.2013.58","url":null,"abstract":"Reusing software processes from a Software Process Line (SPL, i.e., a set of software processes that captures their commonalities and variabilities) and automating their execution is a way to reduce development costs. However, to our best knowledge no approach integrates both aspects. The difficulty is to automate the execution of a process whose variability is only partially resolved (i.e., a value is not set to each variable part of the process). Indeed, according to projects' constraints, it is possible to start the execution of a part of a process whose variability is resolved, while postponing the resolution of the variability of other parts of this process. In this paper, we propose a tool-supported approach that integrates both aspects. It consists of reusing processes from an SPL according to projects' requirements. The processes are bound to components that automate their execution. When the variability of a process to execute is not fully resolved, our approach consists of resolving this variability during the execution of this process. We illustrate this work on a family of processes for designing and implementing modeling languages. Our approach enables both the reuse of software processes and the automation of their execution, while enabling to resolve process variability during the execution.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"38 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":"128573370","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

Business-Driven Acceptance Testing Methodology and Its Practice for E-Government Software Systems 业务驱动验收测试方法及其在电子政务软件系统中的应用

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

Norifumi Nomura, Yasuhiro Kikushima, M. Aoyama

引用次数: 3

Detecting Program Changes from Edit History of Source Code 从源代码的编辑历史中检测程序更改

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

Eijiro Kitsu, Takayuki Omori, Katsuhisa Maruyama

{"title":"Detecting Program Changes from Edit History of Source Code","authors":"Eijiro Kitsu, Takayuki Omori, Katsuhisa Maruyama","doi":"10.1109/APSEC.2013.48","DOIUrl":"https://doi.org/10.1109/APSEC.2013.48","url":null,"abstract":"Detecting program changes helps maintainers to figure out the evolution of the changed program. For this, several line-based difference tools have been proposed, which extract differences between two versions of the program. Unfortunately, these tools do not provide enough support to program comprehension since a single commitment stored in a version control system contains multiple changes that are intermingled with each other. Therefore, the maintainers have to untangle them by hand. This work is troublesome and time-consuming. This paper proposes a novel mechanism that automatically detects individual program changes. For this, it restores snapshots of the program from the history of edit operations for the target source code and compares class members that result from syntax analysis for respective snapshots. In addition, the mechanism provides several options of aggregating fine-grained changes detected based on the edit history. The maintainers can select their suitable levels of summarization of program changes. The paper also shows experimental results with a running implementation of the change detection tool. Through the experiment, the detection mechanism presents various kinds of summarized information on program changes, which might facilitate maintainers' activities for program comprehension.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"205 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113996980","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}

引用次数: 8

A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS 保护分配系统中的系统语义及其在VERDS中的应用

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

Naiju Zeng, Wenhui Zhang

引用次数: 6

Can We Trust Our Results? A Mapping Study on Data Quality 我们能相信我们的结果吗?数据质量的映射研究

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

M. M. Rosli, E. Tempero, Andrew Luxton-Reilly

{"title":"Can We Trust Our Results? A Mapping Study on Data Quality","authors":"M. M. Rosli, E. Tempero, Andrew Luxton-Reilly","doi":"10.1109/APSEC.2013.26","DOIUrl":"https://doi.org/10.1109/APSEC.2013.26","url":null,"abstract":"Background: The quality of data sets used in software engineering research is of the utmost importance. To ensure credibility of results obtained from use of data sets, the quality of the data must be examined. Objective: This study provides an overview of recent research(2008-2012) involving data quality in software engineering datasets, with the goal of generally understanding what research there is that addresses data quality, and in particular to determine to what degree researchers have addressed any data quality issues in order to evaluate the trustworthiness of their results. Method: We performed a systematic mapping study to investigate treatment of data quality issues in software engineering research. A total of 64 papers published from 2008 to 2012explicitly address issues with the quality of data and use software engineering data sets. These studies were classified according to the data quality topic, data set and data quality problem. Results: We found only 31 studies gave serious consideration for how the quality of the data affected their results. We observed that there is a lack of clear and consistent terminology regarding data quality, especially with respect to the kinds of quality problems a data set might have. As a first step to address this problem, we propose a model that describes the lifecycle that research data goes through when used in research. Conclusions: The results suggest that researchers should give more attention to the quality of data sets in order to produce trustworthy data for reliable empirical research, and that the research community needs to better understand and communicate issues with data quality.","PeriodicalId":187451,"journal":{"name":"2013 20th Asia-Pacific Software Engineering Conference (APSEC)","volume":"231 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":"115907072","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

A Software and Integration Process Model for Offshore Vessels 近海船舶软件集成过程模型

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

D. Card

引用次数: 1

Software Engineering Education Program for Software Professionals of High Competency at DENSO 电装专为高能力的软件专业人员而设的软件工程教育计划

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

Keiji Kobata, Takuji Uesugi, Hisayoshi Adachi, M. Aoyama

引用次数: 2