发布求助
文献互助 智能选刊 最新文献

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95最新文献

筛选
英文 中文
ROBUST: a next generation software reliability engineering tool 鲁棒:下一代软件可靠性工程工具
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497680
Michael Naixin Li, Y. Malaiya
{"title":"ROBUST: a next generation software reliability engineering tool","authors":"Michael Naixin Li, Y. Malaiya","doi":"10.1109/ISSRE.1995.497680","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497680","url":null,"abstract":"In this paper, we propose an approach for linking the isolated research results together and describe a tool supporting the incorporation of the various existing modeling techniques. The new tool, named ROBUST, is based on recent research results validated using actual data. It employs knowledge of static software complexity metrics, dynamic failure data and test coverages for software reliability estimation and prediction at different software development phases.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"23 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132532448","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}
引用次数: 15
Constructing operational profiles for synchronous critical software 为同步关键软件构建操作概要
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497669
F. Ouabdesselam, I. Parissis
{"title":"Constructing operational profiles for synchronous critical software","authors":"F. Ouabdesselam, I. Parissis","doi":"10.1109/ISSRE.1995.497669","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497669","url":null,"abstract":"We describe a uniform approach to specify operational profiles for synchronous reactive software and to automatically generate random software inputs according to these profiles. The approach is general enough to allow realistic description of the operating environment: as the environment behavior is often characterized by properties expressing causal temporal dependencies, the operational profile specification technique gives a means to assign to the next event issued by the environment with a probability depending on any sequence of previous events. Two examples of reactive software controlling respectively a temperature control system and an elevator are used to illustrate the technique.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125466463","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}
引用次数: 29
Performability modeling of N version programming technique N版本编程技术的性能建模
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497660
K. Goseva-Popstojanova, A. Grnarov
{"title":"Performability modeling of N version programming technique","authors":"K. Goseva-Popstojanova, A. Grnarov","doi":"10.1109/ISSRE.1995.497660","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497660","url":null,"abstract":"The paper presents a detailed, but efficiently solvable model of the N version programming for evaluating reliability and performability over a mission period. Employing a hierarchical decomposition we reduce the model complexity and provide a modeling framework for evaluating the NVP failure and execution time behavior and the operational environment, as well. The failure and execution rates are treated as random variables and the operational profile is analyzed on the microstructure level, looking at probabilities of occurrence, failure and execution rates for each partition of input space. The reliability submodel that represents per run behavior of NVP, includes both functional failures and timing failures thus resulting in system reliability which accounts for performance requirements. The successive runs are modeled by the performance submodel, that represents the iterative nature of the software execution. Combining the results of both submodels, we assess the performability over a mission period that represents the collective effect of multiple system attributes on the NVP effectiveness.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130867254","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
A data analysis and representation engine to support software reliability engineering 支持软件可靠性工程的数据分析和表示引擎
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497679
M. Carr
{"title":"A data analysis and representation engine to support software reliability engineering","authors":"M. Carr","doi":"10.1109/ISSRE.1995.497679","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497679","url":null,"abstract":"The AT&T Advanced Software Construction Center (ASCC) has developed a system that provides a powerful implementation of software reliability engineering (SRE) measurement. The Data Analysis and Representation Engine (DARE) supports quantitative analysis from data definition and collection through to metric calculation, visualization and use. Data input is automated from several vendor software development tools, and a form-based interface assists in data collection from developers. A number of metrics related to SRE are calculated and a metric visualization interface provides access to the graphs and reports via World Wide Web (WWW) browsers. DARE also provides a facility for further data analysis and is integrated with the AT&T Silver Bullet software development processes. This paper describes the design and features of DARE and how it supports SRE.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"278 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132285179","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
Analysis of review's effectiveness based on software metrics 基于软件度量分析评审的有效性
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497641
Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, S. Kusumoto, T. Kikuno
{"title":"Analysis of review's effectiveness based on software metrics","authors":"Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, S. Kusumoto, T. Kikuno","doi":"10.1109/ISSRE.1995.497641","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497641","url":null,"abstract":"The paper statistically analyzes the relationship between review and software quality and the relationship between review and productivity, utilizing software metrics on 36 actual projects executed in the OMRON Corporation from 1992 to 1994. Firstly, by examining the relationship between review effort and field quality (the number of faults after delivery) of each project, and the relationship between the number of faults detected in review and field quality of each project, we reasoned that: (1) greater review effort helps to increase field quality (decrease the number of faults after delivery); (2) source code review is more effective in order to increase field quality than design review; (3) if more than 10% of total design and programming effort is spent on review, one can achieve a quite stable field quality. We noticed that no relevant effects were recognized in productivity (LOC/staff month) with respect to a review rate of up to 20%. As a result of the analysis above, we recommended that 15% of review effort is a suitable percentage to use as a guideline for our software project management.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"206 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133156234","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}
引用次数: 21
M-elopee: a CASE tool for software reliability study M-elopee:软件可靠性研究的CASE工具
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497681
F. Vallée, Bertrand Gayet, H. Derriennic, G. L. Gall
{"title":"M-elopee: a CASE tool for software reliability study","authors":"F. Vallée, Bertrand Gayet, H. Derriennic, G. L. Gall","doi":"10.1109/ISSRE.1995.497681","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497681","url":null,"abstract":"To support software project managers for reliability evaluation, the company Mathix and the French telecommunications agency (France Telecom) have developed a CASE tool named M-elopee. The purpose of this tool is not only to provide some reliability growth model computations but, more generally, to propose an approach to do reliability studies, and therefore to offer all the features needed to undertake this approach. M-elopee typically promotes the transfer of software reliability technology to practice. Therefore it runs on PCs under Windows and benefits from the many facilities of this environment. This article describes the functionalites provided by M-elopee and its underlying methodology. Mainly, the following points are developed: the content and structure of the data processed by M-elopee; data processing; trend analysis; comparison of models; and the maximum number of failures to forecast.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123281915","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 specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic 一种基于对象消息传递和重写逻辑来提高并发系统可靠性的规范和验证方法
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497682
A. Attoui, David R. C. Hill
{"title":"A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic","authors":"A. Attoui, David R. C. Hill","doi":"10.1109/ISSRE.1995.497682","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497682","url":null,"abstract":"Design of real-time/concurrent systems requires formal approaches in order to facilitate verification and validation at each step. Methods based on formal logic have been previously suggested but they often work only in a specific domain and are generally only possible with specialized users. In an attempt to overcome these two restrictions, this paper proposes a method based on rewriting logic with user-friendly tools to increase software reliability. Different tools are proposed to support this approach: a graphical editor for the specification of the structure and the behaviour of objects, a prototype generator, and an inference engine for rule validation based on rewriting logic decidability.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131675994","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
Fault localization using execution slices and dataflow tests 使用执行片和数据流测试进行故障定位
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497652
H. Agrawal, J. R. Horgan, S. London, W. E. Wong
{"title":"Fault localization using execution slices and dataflow tests","authors":"H. Agrawal, J. R. Horgan, S. London, W. E. Wong","doi":"10.1109/ISSRE.1995.497652","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497652","url":null,"abstract":"Finding a fault in a program is a complex process which involves understanding the program's purpose, structure, semantics, and the relevant characteristics of failure producing tests. We describe a tool which supports execution slicing and dicing based on test cases. We report the results of an experiment that uses heuristic techniques in fault localization.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130174890","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}
引用次数: 319
Antirandom testing: getting the most out of black-box testing 反随机测试:充分利用黑盒测试
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497647
Y. Malaiya
{"title":"Antirandom testing: getting the most out of black-box testing","authors":"Y. Malaiya","doi":"10.1109/ISSRE.1995.497647","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497647","url":null,"abstract":"Random testing is a well known concept that requires that each test is selected randomly regardless of the test previously applied. The paper introduces the concept of antirandom testing. In this testing strategy each test applied is chosen such that its total distance from all previous tests is maximum. Two distance measures are defined. Procedures to construct antirandom sequences are developed. A checkpoint encoding scheme is introduced that allows automatic generation of efficient test cases. Further developments and studies needed are identified.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132028547","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}
引用次数: 139
Dependability of modular software in a multiuser operational environment 模块化软件在多用户操作环境中的可靠性
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497655
J.F. Meyer, B. Littlewood, David Wright
{"title":"Dependability of modular software in a multiuser operational environment","authors":"J.F. Meyer, B. Littlewood, David Wright","doi":"10.1109/ISSRE.1995.497655","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497655","url":null,"abstract":"Effects of shared use on the dependability of modular software are evaluated in terms of a generally defined stochastic model. The total system in question consists of a community of n users who share a software system with m modules. The input aspect of the operational environment, reflecting user demands at the module level, is represented by a continuous-time, finite-state Markov process, called the operational profile. The profile's construction is based on the isolated profiles of individual users which, in the case of heterogeneous use, are pairwise-distinct processes. Moreover, in the presence of other users, an individual profile can differ from its isolated version due to \"slowdowns\" caused by sharing. This multiuser profile is then combined with a failure model which, among other things, captures \"stress\" due to shared use. A number of basic issues are then addressed and resolved in terms of closed-form dependability solutions obtained for elementary 2-user, 1-module systems. Specifically, three measures are investigated in this manner, providing considerable insight into how dependability, as perceived by a subject user, is affected by the profile of an interfering user.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132520498","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}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信