2012 35th Annual IEEE Software Engineering Workshop最新文献

An Approach to Requirement Analysis for Periodic Control Systems 周期控制系统的需求分析方法

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.20

Jianwen Li, G. Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, B. Gu

{"title":"An Approach to Requirement Analysis for Periodic Control Systems","authors":"Jianwen Li, G. Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, B. Gu","doi":"10.1109/SEW.2012.20","DOIUrl":"https://doi.org/10.1109/SEW.2012.20","url":null,"abstract":"This paper proposes a requirement analysis approach to periodic control systems that are widely used as one of the real time systems. By regulating the initial requirement documents with key words in natural language, we compile the regulated requirement documents into an intermediate model specified by SPARDL language with formal syntax and semantics. To make the requirement executable, a prototype generation technique is proposed to simulate the system behaviors. To analyze the dataflow relations among modules among the same mode or different modes, we introduce module-level and mode-level dataflow analysis techniques to help system engineers to uncover the potential affections on any two modules. The dataflow analysis techniques are useful especially for module reuse when a new version of the system is developed. We have applied the developed tool based on our approach to the Moon-Exploration Spacecraft Project from Beijing Institute of Control Engineering, and the preliminary experiments are encouraging. We have found both the ambiguity and the inconsistency cases in the requirement documents from the project.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131453495","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

Self-Definition for Software Development 软件开发的自我定义

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.12

B. Wilks, P. Bailes

引用次数: 0

Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study 调查自动静态分析结果以识别质量问题:一项归纳研究

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.9

A. Vetrò, N. Zazworka, F. Shull, C. Seaman, Michele A. Shaw

{"title":"Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study","authors":"A. Vetrò, N. Zazworka, F. Shull, C. Seaman, Michele A. Shaw","doi":"10.1109/SEW.2012.9","DOIUrl":"https://doi.org/10.1109/SEW.2012.9","url":null,"abstract":"Background: Automatic static analysis (ASA) tools examine source code to discover “issues”, i.e. code patterns that are symptoms of bad programming practices and that can lead to defective behavior. Studies in the literature have shown that these tools find defects earlier than other verification activities, but they produce a substantial number of false positive warnings. For this reason, an alternative approach is to use the set of ASA issues to identify defect prone files and components rather than focusing on the individual issues. Aim: We conducted an exploratory study to investigate whether ASA issues can be used as early indicators of faulty files and components and, for the first time, whether they point to a decay of specific software quality attributes, such as maintainability or functionality. Our aim is to understand the critical parameters and feasibility of such an approach to feed into future research on more specific quality and defect prediction models. Method: We analyzed an industrial C# web application using the Resharper ASA tool and explored if significant correlations exist in such a data set. Results: We found promising results when predicting defectprone files. A set of specific Resharper categories are better indicators of faulty files than common software metrics or the collection of issues of all issue categories, and these categories correlate to different software quality attributes. Conclusions: Our advice for future research is to perform analysis on file rather component level and to evaluate the generalizability of categories. We also recommend using larger datasets as we learned that data sparseness can lead to challenges in the proposed analysis process.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129027355","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

Model-Driven Development of Secure Service Applications 安全服务应用的模型驱动开发

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.13

M. Borek, Nina Moebius, K. Stenzel, W. Reif

{"title":"Model-Driven Development of Secure Service Applications","authors":"M. Borek, Nina Moebius, K. Stenzel, W. Reif","doi":"10.1109/SEW.2012.13","DOIUrl":"https://doi.org/10.1109/SEW.2012.13","url":null,"abstract":"The development of a secure service application is a difficult task and designed protocols are very error-prone. To develop a secure SOA application, application-independent protocols (e.g. TLS or Web service security protocols) are used. These protocols guarantee standard security properties like integrity or confidentiality but the critical properties are applicationspecific (e.g. “a ticket can not be used twice”). For that, security has to be integrated in the whole development process and application-specific security properties have to be guaranteed. This paper illustrates the modeling of a security-critical service application with UML. The modeling is part of an integrated software engineering approach that encompasses model-driven development. Using the approach, an application based on service-oriented architectures (SOA) is modeled with UML. From this model executable code as well as a formal specification to prove the security of the application is generated automatically. Our approach, called SecureMDD, supports the development of security-critical applications and integrates formal methods to guarantee the security of the system. The modeling guidelines are demonstrated with an online banking example.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130975700","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}

引用次数: 14

Partial Slices in Program Testing 程序测试中的部分切片

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.15

Anupama Surendran, P. Samuel

{"title":"Partial Slices in Program Testing","authors":"Anupama Surendran, P. Samuel","doi":"10.1109/SEW.2012.15","DOIUrl":"https://doi.org/10.1109/SEW.2012.15","url":null,"abstract":"Program slicing is widely used as an aid in program analysis. In several cases, it is observed that the static slices contain a large number of program statements. Due to this increased size of the static slice, they are of little use in many practical applications. Moreover, the static slices may be less precise compared to dynamic slices. Partial slicing is suggested as a method for program testing in order to eliminate the disadvantages of static slicing. In partial slices, in addition to the static slicing criterion, the user has to provide the program point. Program point specifies the program statement up to which the static slicing is to be performed. The partial slices produced in this manner combines both static and program point information. This in turn is analyzed to verify the constraints and conditions in the slices to remove any obscurity in the program testing process. In this work we propose a partial slicing approach, which can be applied in program testing. An appealing aspect of this work is that, using partial slicing the whole program testing process may be made more direct and effective. Some illustrations which highlight the easiness of the proposed partial slicing are provided to affirm the significance of this work.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116131241","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

A Timed CSP Model for the Time-Triggered Language Giotto 时间触发语言乔托的时间CSP模型

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.18

Yanhong Huang, Yongxin Zhao, S. Qin, Guanhua He, J. Ferreira

引用次数: 0

Dogfooding the Formal Semantics of mCRL2 狗食mCRL2的形式语义

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.16

F. Stappers, M. Reniers, Sven Weber, J. F. Groote

引用次数: 2

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification 在安全关键系统开发和认证中实现重用的安全导向流程线

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.22

B. Gallina, Irfan Šljivo, Omar Jaradat

引用次数: 35

Planning as Model Checking Tasks 规划为模型检查任务

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.25

Yi Li, Jing Sun, J. Dong, Yang Liu, Jun Sun

{"title":"Planning as Model Checking Tasks","authors":"Yi Li, Jing Sun, J. Dong, Yang Liu, Jun Sun","doi":"10.1109/SEW.2012.25","DOIUrl":"https://doi.org/10.1109/SEW.2012.25","url":null,"abstract":"Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal states. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using different model checking tools and techniques for solving classic planning problems. To achieve this, we carried out a number of experiments on different planning domains in order to compare the performance and capabilities of various tools. Our experimental results indicate that the performance of some model checkers is comparable to that of state-of-theart planners for certain categories of problems. In particular, a new planning module with specifically designed searching algorithm is implemented on top of the established model checking framework, Process Analysis Toolkit (PAT), to serve as a planning solution provider for upper layer applications. A case study on a public transportation management system has been developed to demonstrate the idea of using the PAT model checker as a planning service.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114343653","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}

引用次数: 4

Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach 多代理自组织服务组合——展示集中式方法的局限性

2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.28

P. Papadopoulos, H. Tianfield, D. Moffat, P. Barrie

引用次数: 0