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

Evaluating the impact of requirements analysis tools using simulation

software Process: Improvement and Practice 2008年第1期13卷

作者： David Raffo Robert Ferguson Siri-on Setamanit Bhuricha Sethanandha School of Business Administration Portland State University Portland Oregon 97201 USA Maseeh College of Engineering and Computer Science Portland State University Portland Oregon 97201 USA Software Engineering Institute Carnegie Mellon University Pittsburgh Pennsylvania 15213 USA Faculty of Commerce and Accountancy Chulalongkorn University Bangkok 10330 Thailand

Adopting new tools and technologies on a development process can be a risky endeavor. Will the project accept the new technology? What will be the impact? Far too often the project is forced to adopt the new technology without planning how it will be applied on the project or evaluating the technology's potential impact. In this article, we provide a case study evaluating a new technology. Specifically we assess the merits of an automated requirements analysis tool. First, we provide a background on automated requirements analysis tool technology. Then, using Process Simulation (P-SIM), we find situations where the use of this new technology is useful and situations where the use of this new technology is useless for large-scale NASA projects that utilize a process similar to the IEEE 12207 systems development life cycle. The method can be applied in assessing the impact (including Return on Investment), breakeven point, and the overall value of applying any tool on a project. Copyright © 2008 John Wiley & Sons, Ltd.

关键词： process improvement economic impact analysis of new technologies evaluation of new software tools process simulation

来源：评论

学校读者我要写书评

暂无评论

On the accuracy of spectrum-based fault localization

On the accuracy of spectrum-based fault localization

引用

Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

作者： Abreu, Rui Zoeteweij, Peter Van Gemund, Arjan J. C. Software Technology Department Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology P.O. Box 5031 NL-2600 GA Delft Netherlands

ISBN: (纸本)0769529844

Spectrum-based fault localization shortens the test-diagnose-repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. However, as no model of the system is taken into account, its diagnostic accuracy is inherently limited. Using the Siemens Set benchmark, we investigate this diagnostic accuracy as a function of several parameters (such as quality and quantity of the program spectra collected during the execution of the system), some of which directly relate to test design. Our results indicate that the superior performance of a particular similarity coefficient, used to analyze the program spectra, is largely independent of test design. Furthermore, nearoptimal diagnostic accuracy (exonerating about 80% of the blocks of code on average) is already obtained for low-quality error observations and limited numbers of test cases. The influence of the number of test cases is of primary importance for continuous (embedded) processing applications, where only limited observation horizons can be maintained. © 2007 IEEE.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Enhanced random testing for programs with high dimensional input domains

Enhanced random testing for programs with high dimensional i...

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Kuo, F.-C. Sim, K.-Y. Sun, Chang-Ai Tang, S.-F. Zhou, Zhi Quan Faculty of Information and Communication Technologies Swinburne University of Technology Australia School of Engineering Sarawak Campus Swinburne University of Technology Malaysia Department of Mathematics and Computing Science University of Groningen Netherlands School of Computer Science and Software Engineering University of Wollongong Australia

ISBN: (纸本)9781627486613

Random Testing (RT) is a fundamental technique of software testing. Adaptive Random Testing (ART) has recently been developed as an enhancement of RT that has better fault detection effectiveness. Several methods (algorithms) have been developed to implement ART. In most ART algorithms, however, the above enhancement diminishes when the dimensionality of the input domain increases. In this paper, we investigate the nature of failure regions in high dimensional input domains and propose enhanced random testing algorithms that improve the fault detection effectiveness of RT in high dimensional input domains. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

ECG and heart rate determination in fetal cattle using a digital signal processing method

引用

Animal science Journal 2008年第6期73卷

作者： Wenxi CHEN Tetsu NEMOTO Toshio KOBAYASHI Toshiyuki SAITO Etsuko KASUYA Yoshifumi HONDA Department of Computer Software University of Aizu Aizu-Wakamatsu-shi Medical College Kanazawa University Kanazawa-shi Faculty of Engineering Soka University Hachioji-shi National Institute of Agrobiological Sciences Kukizaki-machi Ibaraki-ken and National Institute of Livestock and Grassland Science Tsukuba Norin Kenkyu Danchi Ibaraki-ken Japan

A method of recording the fetal electrocardiogram (ECG) and heart rate (HR) is described. An abdominal lead and a thoracic lead were used to measure the fetal ECG and maternal ECG, respectively. The maternal component in the abdominal lead measurement was estimated by a digital adaptive filter using the thoracic lead measurement as a reference. By suppressing the estimated maternal components in the abdominal lead, the fetal ECG could be detected. The beat-by-beat fetal QRS complex peaks were determined by a digital matched filter from the fetal ECG enhanced in this way. The method was trialed in 10 pregnant Holstein cows at gestational periods ranging from 136 to 224 days. The results show that this method can extract the fetal ECG and determine the fetal HR from the raw noisy measurement data. The results suggest that the method would have applicability in monitoring fetal ECG as well as providing a non-invasive, continuous HR profile during gestation, which will enable better understanding of the development of cattle fetuses before delivery.

关键词： digital signal processing electrocardiogram fetal cattle heart rate pregnancy monitoring

来源：评论

学校读者我要写书评

暂无评论

A Pattern System for Security Requirements engineering

A Pattern System for Security Requirements Engineering

引用

International Conference on Availability, Reliability and Security, ARES

作者： Denis Hatebur Maritta Heisel Holger Schmidt Faculty of Engineering Department of Computer Science Workgroup Software Engineering University of Duisburg-Essen Germany

ISBN: (纸本)9780769527758

We present a pattern system/or security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of problem frames that serve to structure, characterize, analyze, and finally solve software development problems in the area of software and system security. We equip each frame with formal preconditions and postconditions. The analysis of these conditions results in a pattern system that explicitly shows the dependencies between the different frames. Moreover, we indicate related frames, which are commonly used together with the considered frame. Hence, our approach helps security engineers to avoid omissions and to cover all security requirements that are relevant for a given problem

关键词： Pattern analysis Data security computer security software systems software engineering Programming Authentication Reliability engineering computer science Instruments

来源：评论

学校读者我要写书评

暂无评论

Slicing of component behavior specification with respect to their composition

Slicing of component behavior specification with respect to ...

引用

10th International ACM SIGSOFT Symposium on Component-Based software engineering, CBSE 2007

作者： Šerý, Ondřej Plašil, František Charles University in Prague Faculty of Mathematics And Physics Department of Software Engineering Malostranske namesti 25 118 00 Prague 1 Czech Republic Academy of Sciences of the Czech Republic Institute of Computer Science

ISBN: (纸本)9783540735502

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component's architecture (assembly). However, since typically only a part of the components' functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on a formal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-life case study is shared with the reader (along with a short description of a prototype). © Springer-Verlag Berlin Heidelberg 2007.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Advanced features of hierarchical component models

Advanced features of hierarchical component models

引用

10th International Conference on Information System Implementation and Modeling, ISIM 2007

作者： Hnětynka, Petr Bures, Tomas Performance Engineering Lab. School of Computer Science and Informatics University College Dublin Ireland Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranskć náměstí 25 Prague 1 11800 Czech Republic

Using software components has become a widely used development technique for building large enterprise systems. However in practice, component applications are still primarily built using simple component models and advanced component models offering valuable features like component nesting, multiple communication styles, behavior validation, etc. are omitted (by industry in particular). Based on our experience, such an omitting is mainly caused due to usually unbalanced semantics of these advanced features. In this paper, we present a "next-generation" component model SOFA 2.0, which in particular aims at a proper support of such advanced features.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An Evaluation of Traceability Approaches to Support software Evolution

An Evaluation of Traceability Approaches to Support Software...

引用

International Conference on software engineering Advances (ICSEA)

作者： Siti Rochimah Wan M. N. Wan Kadir Abdul H. Abdullah Software Engineering Department Faculty of Computer Science and Information System Universiti Teknologi Malaysia Malaysia

Requirements traceability is becoming increasingly significant element in software engineering. It provides critical function in the development and maintenance of a software system. From the software evolution point of view, requirements traceability plays an important role in facilitating software evolution. Since the evolution is inevitable, a traceability approach must take as much as possible the important influencing aspects into account to the evolution processes in order to minimize the evolution efforts. This paper evaluates several recent traceability approaches published in literature with the focus on their contributions to software evolution. The evaluation results may be used as a basis for improving requirements traceability approaches that may simplify the software evolution tasks.

关键词： software engineering software systems Information retrieval Indexing Algorithm design and analysis computer science Information systems software maintenance Resumes software algorithms

来源：评论

学校读者我要写书评

暂无评论

A taxonomy for a constructive approach to software evolution

Journal of Software

引用

Journal of software 2007年第2期2卷 84-97页

作者： Ciraci, Selim van den Broek, Pim Aksit, Mehmet Software Engineering Group Faculty of Electrical Engineering Mathematics and Computer Science University of Twente PO Box 217 7500 AE Enschede Netherlands

In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered. Thus, most of the time software is changed by editing the components of the software system, i.e. breaking down the software system. The software engineering discipline provides many mechanisms that allow evolution without breaking down the system;however, the contexts where these mechanisms are applicable are not taken into account. Furthermore, the software design and evaluation techniques do not support identifying these contexts. In this paper, we provide a taxonomy of software evolution that can be used to identify the context of the evolution problem. The identified contexts are used to retrieve, from the software engineering discipline, the mechanisms, which can evolve the software software without breaking it down. To build such a taxonomy, we build a model for software evolution and use this model to identify the factors that effect the selection of software evolution mechanisms. Our approach is based on solution sets, however;the contents of these sets may vary at different stages of the software life-cycle. To address this problem, we introduce perspectives;that are filters to select relevant elements from a solution set. We apply our taxonomy to a parser tool to show how it coped with problematic evolution problems. © 2007 ACADEMY PUBLISHER.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

software documents: Comparison and measurement

Software documents: Comparison and measurement

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Arbuckle, Tom Balaban, Adam Peters, Dennis K. Lawford, Mark Department of Computer Science and Information Systems CSIS Building University of Limerick Plassey Park Limerick Ireland Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw Poland Electrical and Computer Engineering Faculty of Engineering and Applied Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton ON L8S 4K1 Canada

ISBN: (纸本)9781627486613

For some time now, researchers have been seeking to place software measurement on a more firmly grounded footing by establishing a theoretical basis for software comparison. Although there has been some work on trying to employ information theoretic concepts for the quantification of code documents, particularly on employing entropy and entropy-like measurements, we propose that employing the Similarity Metric of Li, Vit´anyi, and coworkers for the comparison of software documents will lead to the establishment of a theoretically justifiable means of comparing and evaluating software artifacts. In this paper, we review previous work on software measurement with a particular emphasis on information theoretic aspects, we examine the body of work on Kolmogorov complexity (upon which the Similarity Metric is based), and we report on some experiments that lend credence to our proposals. Finally, we discuss the potential advantages derived from the application of this theory to areas in the of software engineering. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：