Proceedings of the 11th Innovations in Software Engineering Conference最新文献_第2页

Towards Dynamic Tenant Management for Microservice based Multi-Tenant SaaS Applications 面向基于微服务的多租户SaaS应用的动态租户管理

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172882

S. Kalra, T. Prabhakar

引用次数: 9

Relation Identification in Business Rules for Domain-specific Documents 特定领域文档的业务规则中的关系标识

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172884

A. Bhattacharyya, Pavan Kumar Chittimalli, Ravindra Naik

引用次数: 4

Safety Validation Using AADL System Architecture Models 使用AADL系统架构模型的安全性验证

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172877

G. Philip, Varsha P. Suresh, Meenakshi D'Souza

{"title":"Safety Validation Using AADL System Architecture Models","authors":"G. Philip, Varsha P. Suresh, Meenakshi D'Souza","doi":"10.1145/3172871.3172877","DOIUrl":"https://doi.org/10.1145/3172871.3172877","url":null,"abstract":"Most of the embedded systems used in avionics and automotive industries are safety critical in nature. Safety validation of these systems are challenging inspite of significant advances in the field of system and software engineering. In our previous work, real time monitoring of system level parameters at hardware-software integration test environment could capture safety critical errors, which could have led to hazardous system behaviour. However, parameters to be monitored were captured from design and coding phase, resulted in lot of rework. The situation could have been avoided if model based software engineering was followed, wherein system engineer and safety analyst could base their work on a common model. Hence, architecture Analysis and Design Language (AADL) along with its error annex were selected for modelling and a systematic method for modelling a system from safety point of view was arrived at and reported in [7]. But translation of these into test cases which could be used for system safety validation is still in infancy. This paper focuses on automatic generation of safety validation test cases from AADL model enriched with error behaviour. The method is presented with Isolette, a well-known AADL model case study.","PeriodicalId":199550,"journal":{"name":"Proceedings of the 11th Innovations in Software Engineering Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116652453","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

An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering 阐释知识、系统与工程关系的尝试

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172875

Amar Banerjee, Venkatesh Choppella, V. Kasturi, S. Natarajan, Padmalata V. Nistala, K. Nori

{"title":"An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering","authors":"Amar Banerjee, Venkatesh Choppella, V. Kasturi, S. Natarajan, Padmalata V. Nistala, K. Nori","doi":"10.1145/3172871.3172875","DOIUrl":"https://doi.org/10.1145/3172871.3172875","url":null,"abstract":"Software systems often serve as the agents of operation for both enterprise systems and embedded systems. Engineering such systems is a knowledge-centric activity. A clear understanding of the relationship between knowledge, systems and engineering can help us to establish firm theoretical foundations for software and systems engineering. Currently we have a strong intuitive understanding of how knowledge flows into engineering, while our understanding of the relationship between systems and knowledge is part explicit and part tacit. A symptom of this is that we have difficulty in building unified models of large systems such as telescopes and enterprises that span multiple knowledge domains and viewpoints. We are able to build multiple models covering various aspects and particular viewpoints. However, we have challenges in integrating them into a single unified model. Another symptom is that software and systems engineering practice are widely viewed as empirical fields, without sufficiently strong theoretical foundations. This work attempts to explicate and synthesize our common intuitive understanding in this space to develop a conceptual model of the relationships. It then explores the validity of this model by examining the extent to which it is able to explain and illuminate current engineering practices and issues. This is an initial strawman version of the model, presented with a view to obtaining feedback and inputs from the community.","PeriodicalId":199550,"journal":{"name":"Proceedings of the 11th Innovations in Software Engineering Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125191028","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}

引用次数: 0

COSMIC Function Points Evaluation for Software Maintenance 面向软件维护的COSMIC功能点评估

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172874

Anandi Hira, B. Boehm

{"title":"COSMIC Function Points Evaluation for Software Maintenance","authors":"Anandi Hira, B. Boehm","doi":"10.1145/3172871.3172874","DOIUrl":"https://doi.org/10.1145/3172871.3172874","url":null,"abstract":"The Common Software Measurement International Consortium (COSMIC) group reviewed the existing functional size methods, such as the International Function Points User Group (IFPUG)'s Function Points (FPs), to develop a functional size metric based on \"the basic principles\" that applies to a wide range of application domains. Though several empirical studies on the COSMIC method verify that COSMIC Function Points (CFPs) successfully accomplished the goal of being applicable to a wide range of application domains and that its size correlate well with effort over a very wide range of sizes, one study of telecom switching software noticed that the correlation between CFPs and cost is very low for small projects (5 CFPs or less). The COSMIC method does not explicitly size data manipulations (such as, mathematical algorithms), which causes it to be less effective for mathematically-intensive software. IFPUG's FPs method has the same drawback of not explicitly measuring mathematical operations, but IFPUG developed the Software Non-Functional Assessment Process (SNAP) to complement a project's functional size. This empirical analysis will determine whether CFPs can be an effective size metric for small, maintenance tasks (between 2 and 12 CFPs) using a dataset consisting of Unified Code Count (UCC)1's maintenance tasks. Additionally, this analysis will consider whether using IFPUG's SNAP with COSMIC's FPs can lead to better effort estimates, as the former provides a method to measure data manipulation. The authors found that tasks adding new features require a different effort estimate model from those that modify existing features.","PeriodicalId":199550,"journal":{"name":"Proceedings of the 11th Innovations in Software Engineering Conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130360735","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

Psychology: The Land That Software Engineering Forgot 心理学:被软件工程遗忘的土地

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172889

Prabhaker Panditi

引用次数: 0

Pros and Cons of Rotating Scrum Master Role: A Qualitative Study 轮换Scrum Master角色的利弊:一项定性研究

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172883

N. Bolloju, Rahul Chawla, R. Ranjan

引用次数: 3

Intelligent Software Engineering: Synergy between AI and Software Engineering 智能软件工程:人工智能与软件工程的协同

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172891

Tao Xie

引用次数: 26

A Case Study on the Application of Case-Based Learning in Software Testing 基于案例的学习在软件测试中的应用

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3172881

S. Tiwari, Veena Saini, Paramvir Singh, A. Sureka

{"title":"A Case Study on the Application of Case-Based Learning in Software Testing","authors":"S. Tiwari, Veena Saini, Paramvir Singh, A. Sureka","doi":"10.1145/3172871.3172881","DOIUrl":"https://doi.org/10.1145/3172871.3172881","url":null,"abstract":"Software testing is a popular mean of examining the adequacy of a developed product. However, in academic institutions more emphasis is given to software development than ensuring its quality. In order to address the gaps between existing university-level software testing education and the training standards used in industry, we experiment with employing a popular teaching method Case-Based Learning (CBL) for the first time to facilitate the training of selected software testing concepts at tertiary-level. The CBL exercise is conducted for undergraduate students of DAIICT, Gandhinagar (India) to cultivate the decision making skills in a self-learning environment. After the CBL execution we collect students' responses through a short survey and perform an empirical analysis on the survey results. The outcome of this CBL practice is positive as a majority of students are able to achieve the five stated objectives of CBL. We examine that there is a statistically significant difference between students' responses based on gender diversity. We also investigate the difference in students' feedback to the two different CBL cases that we use for practicing some aspects of software testing. Moreover, we draw useful inferences from the opinions of TAs (Teaching Assistants) about the CBL sessions.","PeriodicalId":199550,"journal":{"name":"Proceedings of the 11th Innovations in Software Engineering Conference","volume":"25 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127938675","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}

引用次数: 11

Compiler-agnostic Translation Validation 与编译器无关的翻译验证

Proceedings of the 11th Innovations in Software Engineering Conference Pub Date : 2018-02-09 DOI: 10.1145/3172871.3180078

K. Banerjee, C. Karfa

{"title":"Compiler-agnostic Translation Validation","authors":"K. Banerjee, C. Karfa","doi":"10.1145/3172871.3180078","DOIUrl":"https://doi.org/10.1145/3172871.3180078","url":null,"abstract":"The initial behavioral specification goes through significant optimizing transformations before being mapped to architecture during embedded system design. Establishing the validity of these transformations is crucial to ensure that the intended behavior of a system has not been faultily altered during synthesis. Although a lot of these transformations are carried out using some automated tool(s), a significant portion of such transformations are still performed by expert programmers. Thus, there is a need to devise efficient translation validation methodologies to handle diverse code transformations. Many translation validation methods exist which depend on hints provided by the compiler, such as, what transformations have been applied and in what order. However, generating such hints requires a lot of tedious probing into the compilers; the task becomes more demanding when there are humans involved. In this tutorial, we intend to present our translation validation framework to check equivalence between a source program and its transformed version, both represented using the control and data flow graph (CDFG) or Finite State Machine with Data path (FSMD) model or its extension, while being completely unaware of the underlying compiler. The tutorial will start with illustrating common compiler optimization techniques with their impact on performance in terms of power, area and timing. Next, we will discuss basic program verification techniques like Hoare logic, Theorem Proving, Model Checking, Program equivalence using SMT solvers, etc. We will show why equivalence checking method is most suitable for verifying compiler optimizations. Next, we will present our FSMD based equivalence checking method in detail. Next, we will discuss how bisimulation relations can be inferred from equivalence checkers. We conclude with discussing the future direction of research in this domain.","PeriodicalId":199550,"journal":{"name":"Proceedings of the 11th Innovations in Software Engineering Conference","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134499619","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