检索结果-内蒙古大学图书馆

IEEE International Conference on Software Quality, Reliability and Security (Companion Volume)

作者： Buhagiar, Aaron John Pace, Gordon J. Ebejer, Jean-Paul Univ Malta Dept Comp Sci Msida Malta Univ Malta Ctr Mol Med & Biobanking Msida Malta

ISBN: (纸本)9781538605929

User interfaces which adapt based on usage patterns, for example based on frequency of use of certain features, have been proposed as a means of limiting the complexity of the user interface without specialising it unnecessarily to particular user profiles. However, from a software engineering perspective, adaptive user interfaces pose a challenge in code structuring, and separation of the different layers of user interface and application state and logic can introduce interdependencies which make software development and maintenance more challenging. In this paper we explore the use of monitoring-oriented programming to add adaptive features to user interfaces, an approach which has been touted as a means of separating certain layers of logic from the main system. We evaluate the approach both using standard software engineering measures and also through a user acceptance experiment - by having a number of developers use the proposed approach to add adaptation logic to an existing application.

关键词： Runtime monitoring monitoring-oriented programming Software engineering User interfaces

来源：评论

学校读者我要写书评

暂无评论

Evolution-Aware monitoring-oriented programming 37

Evolution-Aware Monitoring-Oriented Programming

引用

IEEE/ACM 2nd International Workshop on Software Architecture and Metrics (SAM)

作者： Legunsen, Owolabi Marinov, Darko Rosu, Grigore Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9781479919345

monitoring-oriented programming (MOP) helps develop more reliable software by means of monitoring against formal specifications. While MOP showed promising results, all prior research has focused on checking a single version of software. We propose to extend MOP to support multiple software versions and thus be more relevant in the context of rapid software evolution. Our approach, called eMOP, is inspired by regression test selection-a well studied, evolution-centered technique. The key idea in eMOP is to monitor only the parts of code that changed between versions. We illustrate eMOP by means of a running example, and show the results of preliminary experiments. eMOP opens up a new line of research on MOP-it can significantly improve usability and performance when applied across multiple versions of software and is complementary to algorithmic MOP advances on a single version.

关键词： monitoring-oriented programming Regression Testing Runtime monitoring Runtime Verification

来源：评论

学校读者我要写书评

暂无评论

How effective are existing Java API specifications for finding bugs during runtime verification?

引用

AUTOMATED SOFTWARE ENGINEERING 2019年第4期26卷 795-837页

作者： Legunsen, Owolabi Al Awar, Nader Xu, Xinyue Ul Hassan, Wajih Rosu, Grigore Marinov, Darko Univ Illinois Urbana IL 61801 USA Amer Univ Beirut Beirut Lebanon

Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The quality of runtime verification depends on the quality of the specs. While previous research has produced many specs for the Java API, manually or through automatic mining, there has been no large-scale study of their bug-finding effectiveness. Our conference paper presented the first in-depth study of the bug-finding effectiveness of previously proposed specs. We used JavaMOP to monitor 182 manually written and 17 automatically mined specs against more than 18K manually written and 2.1M automatically generated test methods in 200 open-source projects. The average runtime overhead was under 4.3x. We inspected 652 violations of manually written specs and (randomly sampled) 200 violations of automatically mined specs. We reported 95 bugs, out of which developers already fixed or accepted 76. However, most violations, 82.81% of 652 and 97.89% of 200, were false alarms. Based on our empirical results, we conclude that (1) runtime verification technology has matured enough to incur tolerable runtime overhead during testing, and (2) the existing API specifications can find many bugs that developers are willing to fix;however, (3) the false alarm rates are worrisome and suggest that substantial effort needs to be spent on engineering better specs and properly evaluating their effectiveness. We repeated our experiments on a different set of 18 projects and inspected all resulting 742 violations. The results are similar, and our conclusions are the same.

关键词： Runtime verification monitoring-oriented programming Specification quality Software testing Empirical study

来源：评论

学校读者我要写书评

暂无评论

NodeMOP: Runtime Verification for *** Applications 19

NodeMOP: Runtime Verification for *** Applications

引用

34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC)

作者： Schiavio, Filippo Sun, Haiyang Bonetta, Daniele Rosa, Andrea Binder, Walter USI Lugano Switzerland Oracle Labs Redwood Shores CA USA

ISBN: (纸本)9781450359337

*** has become one of the most popular frameworks for general-purpose and server-side application development in JavaScript. However, due to its dynamic, asynchronous, event-driven programming model, *** applications are considered error-prone, and their correctness is hard to verify. monitoring-oriented programming (MOP) is a Runtime Verification (RV) paradigm that aims at improving the safety and reliability of a software system. To the best of our knowledge, no practical RV framework targets JavaScript and *** applications. In this paper, we introduce NodeMOP, a novel RV framework for JavaScript that allows one to apply RV to *** applications. Using NodeMOP, we have formalized two properties related to popular asynchronous APIs based on the *** documentation, one from the file-system module and the other from the HTTP module. NodeMOP also supports error recovery by allowing developers to define custom handlers in case of property violations. We showcase NodeMOP with our specified properties on examples of *** API misuse. We also evaluate the overhead of NodeMOP with benchmarks based on the introduced examples.

关键词： Runtime Verification monitoring-oriented programming JavaScript Node.js, Dynamic Analysis Software Verification Self-Healing Systems

来源：评论

学校读者我要写书评

暂无评论

Extending Ada to Support Multi-core Based monitoring and Fault Tolerance 10

Extending Ada to Support Multi-core Based Monitoring and Fau...

引用

ACM Annual International Conference on Ada and Related Technologies

作者： Li, You Yang, Lu Bu, Lei Wang, Linzhang Zhao, Jianhua Li, Xuandong Nanjing Univ State Key Lab Novel Software Technol Nanjing 210093 Jiangsu Peoples R China

ISBN: (纸本)9781450300278

monitoring-oriented programming (MOP) and Software Fault Tolerance(SFT) are two important approaches to guarantee the reliablity of software systems, especially for those running online for long term. However, the introduction of monitoring or fault tolerance module will bring in high overhead. With the prevalence of multi-core platform, we can find the trade off between the reliablity and the efficiency. As one of the most reliable programming languages, Ada is used to a significant degree in many fields. Providing the support of MOP and SFT in Ada can help the programmers enhance the reliablity of software systems. In this paper, we present an approach to extending Ada to support multi-core based monitoring and fault tolerance. First we introduce the framework of multicore based MOP and SFT. Based on this framework, programmers can design the components of MOP and SFT with tasks parallel to main tasks in Ada programming. All these tasks can be allocated to different physical cores to run concurrently. Then, we give a proposal for enabling multi-core based MOP and SFT in Ada. In this proposal, we design two packages System. MOP_Elements and ***_Elements for programmers to indicate various monitoring and fault tolerance components. With the packages, programmers can also assign computation resources for each component. Finally we animate this proposal via a prototype tool called MCAda and use two case studies to show our approach.

关键词： multi-core monitoring-oriented programming software fault tolerance

来源：评论

学校读者我要写书评

暂无评论

MOP: An efficient and generic runtime verification framework

引用

ACM SIGPLAN NOTICES 2007年第10期42卷 569-588页

作者： Chen, Feng Rosu, Grigore Univ Illinois Urbana IL 61801 USA

monitoring-oriented programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework automatically generates monitors from the specified properties and then integrates them together with the user-defined code into the original system. The previous design of MOP only allowed specifications without parameters, so it could not be used to state and monitor safety properties referring to two or more related objects. In this paper we propose a parametric specification-formalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters. In our current implementation, parametric specifications are translated into AspectJ code and then weaved into the application using off-the-shelf AspectJ compilers;hence, MOP specifications can be seen as formal or logical aspects. Our JavaMOP implementation was extensively evaluated on two benchmarks, Dacapo [14] and Tracematches [8], showing that runtime verification in general and MOP in particular are feasible. In some of the examples, millions of monitor instances are generated, each observing a set of related objects. To keep the runtime overhead of monitoring and event observation low, we devised and implemented a decentralized indexing optimization. Less than 8% of the experiments showed more than 10% runtime overhead;in most cases our tool generates monitoring code as efficient as the hand-optimized code. Despite its genericity, JavaMOP is empirically shown to be more efficient than runtime verification systems specialized and optimized for particular specification formalisms. Many property violations were detected during our experiments;some of them are benign, others indicate defects in programs. Many of these are subtle and hard to find by ordinary testing.

关键词： runtime verification aspect-oriented programming monitoring-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2006年第4期144卷 3-20页

作者： Chen, Feng d'Amorim, Marcelo Rosu, Grigore Univ Illinois Dept Comp Sci Champaign IL 61801 USA

monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification formalisms into the framework by means of logic plug-ins, which essentially comprise monitor synthesis algorithms for properties expressed as formulae. The properties are specified together with declarations stating where and how to automatically integrate the corresponding monitor into the system, as well as what to do if the property is violated or validated. In this paper we present Java-MOP, an MOP environment for developing robust Java applications. Based upon a carefully designed specification schema and upon several logic plug-ins, Java-MOP allows users to specify and monitor properties which can refer not only to the current program state, but also to the entire execution trace of a program, including past and future behaviors.

关键词： Java monitoring-oriented programming MOP Java-MOP specification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：