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

4th IEEE International Conference on software Testing, Verification, and Validation Workshops, ICSTW 2011

作者： Engström, Emelie Runeson, Per Software Engineering Research Group Dept. of Computer Science Lund University Sweden

ISBN: (纸本)9780769543451

In large software organizations with a product line development approach, system test planning and scope selection is a complex tasks for which tool support is needed. Due to repeated testing: across different testing levels, over time (test for regression) as well as of different variants, the risk of double testing is large as well as the risk of overlooking important tests, hidden by the huge amount of possible tests. This paper discusses the need and challenges of providing decision support for test planning and test selection in a product line context, and highlights possible paths towards a pragmatic implementation of context-specific decision support of various levels of automation. With existing regression testing approaches it is possible to provide automated decision support in a few specific cases, while test management in general may be supported through visualization of test execution coverage, the testing space and the delta between the sufficiently tested system and the system under test. A better understanding of the real world context and how to map research results to the same is needed. © 2011 IEEE.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

MULTI-GRANULARITY EVOLUTION ANALYSIS OF software USING COMPLEX NETWORK THEORY

引用

Journal of Systems Science & Complexity 2011年第6期24卷 1068-1082页

作者： Weifeng PAN Bing LI Yutao MA Jing LIU State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China School of Computer Science and Information Engineering Zhejiang Gongshang University Hangzhou 310018 China School of Computer Wuhan University Wuhan 430072 China Complex Networks Research Center Wuhan University Wuhan 430072 China

software systems are a typical kind of man-made complex systems. Understanding their evolutions can lead to better software engineering practices. In this paper, the authors use complex network theory as a tool to analyze the evolution of object-oriented （OO） software from a multi-granularity perspective. First, a multi-granularity software networks model is proposed to represent the topological structures of a multi-version software system from three levels of granularity. Then, some parameters widely used in complex network theory are applied to characterize the software networks. By tracing the parameters＇ values in consecutive software systems, we have a better understanding about software evolution. A case study is conducted on an open source OO project, Azureus, as an example to illustrate our approach, and some underlying evolution characteristics are uncovered. These results provide a different dimension to our understanding of software evolutions and also are very useful for the design and development of OO software systems.

关键词： Complex networks multi-granularity software evolution software system.

来源：评论

学校读者我要写书评

暂无评论

A metric suite for measuring service alignment with business agility

A metric suite for measuring service alignment with business...

引用

CSI International Symposium on computer Science and software engineering

作者： Rostampour, Ali Kazemi, Ali Zamiri, Amin Haghighi, Hassan Shams, Fereidoon Automated Software Engineering Research Group Faculty of Electrical and Computer Engineering Shahid Beheshti University GC Tehran Iran

ISBN: (纸本)9781612842073

Today enterprises are facing rapid and radical changes in business environments, making business agility a crucial step toward gaining competitive advantages over rivals. Service-oriented architectures (SOA) are touted as the key to business agility. However to deliver business agility with SOA effectively, business services should be designed according to SOA principles that affect business agility, including autonomy, cohesion and structural complexity. In this paper we propose a set of metrics to measure service accordance with these principles. A controlled case study is also provided to validate the applicability and correctness of the proposed metrics. © 2011 IEEE.

关键词： Service oriented architecture (SOA)

来源：评论

学校读者我要写书评

暂无评论

A genetic algorithm based approach to service identification

A genetic algorithm based approach to service identification

引用

2011 IEEE World Congress on Services, SERVICES 2011

作者： Kazemi, Ali Rostampour, Ali Jamshidi, Pooyan Nazemi, Eslam Shams, Fereidoon Azizkandi, Ali Nasirzadeh Automated Software Engineering Research Group Faculty of Electrical and Computer Engineering Shahid Beheshti University Tehran Iran Lero - the Irish Software Engineering Research Centre School of Computing Dublin City University Dublin Ireland

ISBN: (纸本)9780769544618

One of the key activities in service-oriented solution development is the identification of services according to a set of predefined design principles. Existing service identification approaches are often prescriptive and based on the architect's experience, therefore might lead to non-optimal designs which results in lower performance, reduced scalability, and complicated dependencies between services. In this paper, an automated method for identifying business services has been proposed by adopting design metrics based on top-down decomposition of processes. This method takes a set of enterprise business processes as input and produces a set of non-dominated solutions representing appropriate business services using a multi-objective genetic algorithm. The method has been realized in form of a tool implementation and a case study has been conducted to show its applicability. © 2011 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

From uni-directional model transformation to incremental model synchronization

From uni-directional model transformation to incremental mod...

引用

2011 5th Malaysian Conference in software engineering, MySEC 2011

作者： Hassani, Fatemeh Sedighiani, Kavan Aliee, Fereidoon Shams Angabini, Alireza Automated Software Engineering Research Group Faculty of Electrical and Computer Engineering Shahid Beheshti University GC Tehran Iran School of Electrical and Computer Engineering University of Tehran Tehran Iran

ISBN: (纸本)9781457715310

Model driven architecture is an approach to develop software based on transforming models automatically. In this approach, models co-exist and can be modified independently in different stages of software development, but the consistency between models should be preserved by appropriate propagation of changes to the related models. However, most approaches do not support complete synchronization for uni-directional transformations. This paper proposes a new method for incremental synchronization of models that are related to each other by a uni-directional transformation. For this aim, traces of transformation are used for delete and update change propagation. Also, a knowledge base is generated automatically that encompasses patterns of transformation and employed for propagating insertion in source and target models. The knowledge base contains rules defined based on source and target metamodels that produced and evaluated automatically. The proposed method was evaluated by applying it to synchronize a class diagram as a source model and a relational database diagram as a target one. © 2011 IEEE.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Measures of structural complexity and service autonomy

Measures of structural complexity and service autonomy

引用

作者： Rostampour, A. Kazemi, A. Shams, F. Jamshidi, P. Azizkandi, A. Nasirzadeh Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University GC Tehran Iran

ISBN: (纸本)9788955191554

Analytical approaches based on rigorous mathematical foundation are getting more importance in service-oriented computing (SOC) research area. Defining appropriate metrics to measure service quality attributes is one of the key activities in this context which plays an important role in construction of quality service-oriented solutions. In this paper, some metrics are introduced for measuring structural complexity and service autonomy in service-oriented modeling phase which have a great impact on other quality attributes such as maintainability and reusability. Finally we describe the presented metrics in details, using an example, and evaluate them Theoretically and empirically. © 2011 Global IT research Inst.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Improving regression testing transparency and efficiency with history-based prioritization - An industrial case study

Improving regression testing transparency and efficiency wit...

引用

4th IEEE International Conference on software Testing, Verification, and Validation, ICST 2011

作者： Engström, Emelie Runeson, Per Ljung, Andreas Software Engineering Research Group Dept. of Computer Science Lund University Sweden Sony Ericsson Mobile Communications Sweden

ISBN: (纸本)9780769543420

Background: History based regression testing was proposed as a basis for automating regression test selection, for the purpose of improving transparency and test efficiency, at the function test level in a large scale software development organization. Aim: The study aims at investigating the current manual regression testing process as well as adopting, implementing and evaluating the effect of the proposed method. Method: A case study was launched including: identification of important factors for prioritization and selection of test cases, implementation of the method, and a quantitative and qualitative evaluation. Results: 10 different factors, of which two are history-based, are identified as important for selection. Most of the information needed is available in the test management and error reporting systems while some is embedded in the process. Transparency is increased through a semi-automated method. Our quantitative evaluation indicates a possibility to improve efficiency, while the qualitative evaluation supports the general principles of history-based testing but suggests changes in implementation details. © 2011 IEEE.

关键词： Transparency

来源：评论

学校读者我要写书评

暂无评论

Process patterns for service-oriented software development

Process patterns for service-oriented software development

引用

2011 5th International Conference on research Challenges in Information Science, RCIS 2011

作者： Fahmideh, Mahdi Sharifi, Mohsen Jamshidi, Pooyan Shams, Fereidoon Haghighi, Hassan Automated Software Engineering Research Group ECE Faculty Shahid Beheshti University GC Tehran Iran School of Computer Engineering IUST Tehran Iran

ISBN: (纸本)9781424486694

software systems development nowadays has moved towards dynamic composition of services that run on distributed infrastructures aligned with continuous changes in the system requirements. Consequently, software developers need to tailor project specific methodologies to fit their methodology requirements. Process patterns present a suitable solution by providing reusable method chunks of software development methodologies for constructing methodologies to fit specific requirements. In this paper, we propose a set of high-level service-oriented process patterns that can be used for constructing and enhancing situational service-oriented methodologies. We show how these patterns are used to construct a specific service-oriented methodology for the development of a sample system. © 2011 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Verification of adaptive systems

Verification of adaptive systems

引用

AIAA Infotech at Aerospace Conference and Exhibit 2012

作者： Pullum, Laura Cui, Xiaohui Vassev, Emil Hinchey, Mike Rouff, Christopher Buskens, Richard Computational Data Analytics Group Oak Ridge National Laboratory P.O. Box 2008 MS-6085 Oak Ridge TN 37830 United States Computer Science Department New York Institute of Technology 1855 Broadway Manhattan NY 10023 United States Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland Lockheed Martin Advanced Technology Laboratories Informatics Laboratory 3 Executive Campus Suite 600 Cherry Hill NJ 08002 United States Lockheed Martin Advanced Technology Laboratories Informatics Laboratory Applied Science Laboratory 3 Executive Campus Cherry Hill NJ 08002 United States

ISBN: (数字)9781600869396

ISBN: (纸本)9781600869396

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach. © 2012 by the American Institute of Aeronautics and Astronautics, Inc.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Integrated model-based approach and test framework for embedded systems

Integrated model-based approach and test framework for embed...

引用

2011 14th Forum on Specification and Design Lanugage, FDL 2011

作者： Iyenghar, Padma Pulvermueller, Elke Westerkamp, Clemens Wuebbelmann, Juergen Software Engineering Research Group University of Osnabueck Germany Institute of Computer Engineering UAS Osnabrueck P.O. Box 1940 D-49009 Osnabrueck Germany

ISBN: (纸本)9782953050448

In the recent decade, new automated methodologies such as the Model Driven Development (MDD) and Model-Based Testing (MBT) are under evaluation for embedded systems development and testing. However, most of the currently existing MBT approaches are neither integrated with the software development process nor transferred to real-life embedded software engineering projects. There is also a lack of usage of corresponding modeling languages for the MDD and MBT phases. In this context, this paper discusses the applicability of an integrated model-based approach and test framework which addresses the aforementioned gaps. The approach is evaluated in a spark extinguishing embedded system example based on a real-life embedded software engineering project. A test framework generation algorithm which generates the necessary artifacts for deploying MBT in resource-constrained embedded systems is discussed. A prototype implementation of the proposed approach and illustrative examples are presented. © 2011 ECSI.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：