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

ESEC '97/FSE-5最新文献

筛选
英文 中文
Integration of sequential scenarios 顺序场景的集成
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267918
J. Desharnais, M. Frappier, Ridha Khédri, A. Mili
{"title":"Integration of sequential scenarios","authors":"J. Desharnais, M. Frappier, Ridha Khédri, A. Mili","doi":"10.1145/267895.267918","DOIUrl":"https://doi.org/10.1145/267895.267918","url":null,"abstract":"We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain a more global view of user-system interactions. We restrict ourselves to the sequential case, meaning that we suppose that there is only one user (thus, the scenarios we wish to integrate cannot occur concurrently). Our view of scenarios is state-based, rather than event-based, like most of the other approaches, and can be grafted to the well-established specification language Z. Also, the end product of scenario integration, the specification of the functional aspects of the system, is given as a relation; this specification can be refined using independently developed methods. Our formal description is coupled with a diagram-based, transition-system like, presentation of scenarios, which is better suited to communication between clients and specifiers.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134136998","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}
引用次数: 57
A framework for classifying and comparing architecture description languages 用于分类和比较体系结构描述语言的框架
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267903
N. Medvidović, R. Taylor
{"title":"A framework for classifying and comparing architecture description languages","authors":"N. Medvidović, R. Taylor","doi":"10.1145/267895.267903","DOIUrl":"https://doi.org/10.1145/267895.267903","url":null,"abstract":"Software architectures shift developers' focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description languages (ADLs) have been proposed as modeling notations to support architecture-based development. There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which ADL is best suited for a particular problem. Furthermore, the distinction is rarely made between ADLs on one hand and formal specification, module interconnection, simulation, and programming languages on the other. This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs. The utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations. The framework is used to classify and compare several existing ADLs.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124319650","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}
引用次数: 331
Change management needs integrated process and configuration management 变更管理需要集成过程和配置管理
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267907
Gregor Joeris
{"title":"Change management needs integrated process and configuration management","authors":"Gregor Joeris","doi":"10.1145/267895.267907","DOIUrl":"https://doi.org/10.1145/267895.267907","url":null,"abstract":"Change management is a core problem of software development. Management of changes means managing the process of change as well as managing all artifacts of an evolving software system. Both challenges have been focused extensively in the field of software process modeling and software configuration management, respectively. In this paper, we motivate that change management needs an integrated approach to process and configuration management. A fundamental prerequisite to provide such a comprehensive support is the integration of the underlying representation formalism of process and version models. To cope with this problem, we propose a conceptual framework to provide a common conceptual basis of process and version modeling concepts and identify the requirements for comprehensive process support for change management. Furthermore, we classify and evaluate different approaches of how to integrate process and version models from a conceptual point of view.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114951537","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}
引用次数: 30
Feasible test path selection by principal slicing 基于主切片的可行测试路径选择
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267922
I. Forgács, A. Bertolino
{"title":"Feasible test path selection by principal slicing","authors":"I. Forgács, A. Bertolino","doi":"10.1145/267895.267922","DOIUrl":"https://doi.org/10.1145/267895.267922","url":null,"abstract":"We propose to improve current path-wise methods for automatic test data generation by using a new method named principal slicing. This method statically derives program slices with a near minimum number of influencing predicates, using both control and data flow information. Paths derived on principal slices to reach a certain program point are therefore very likely to be feasible. We discuss how our method improves on earlier proposed approaches, both static and dynamic. We also provide an algorithm for deriving principal slices. Then we illustrate the application of principal slicing to testing, considering a specific test criterion as an example, namely branch coverage. The example provided is an optimised method for automated branch testing: not only do we use principal slicing to obtain feasible test paths, but also we use the concept of spanning sets of branches to guide the selection of each next path, which prevents the generation of redundant tests.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129596454","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}
引用次数: 34
Software release management 软件发布管理
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267909
A. Hoek, R. Hall, D. Heimbigner, A. Wolf
{"title":"Software release management","authors":"A. Hoek, R. Hall, D. Heimbigner, A. Wolf","doi":"10.1145/267895.267909","DOIUrl":"https://doi.org/10.1145/267895.267909","url":null,"abstract":"Software release management begins with receipt of a release candidate comprising a software build for a particular target software release. It ends with the step of handing off that software build and associated meta-data to a manufacturing team. No changes to the software build itself are made during this process. Information about builds, targets software releases and stock keeping units (software products) are stored using a hierarchical representation. A sequence of ordered testing and approval steps is stored and may be dynamically re-configured. A release manager automatically manages the testing and approval steps according to the sequence. Web services are used to receive meta-data about the builds and release candidates.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131333736","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}
引用次数: 52
Incremental development for AXE 10 AXE 10的增量开发
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267930
Even-André Karlsson, Lars Taxén
{"title":"Incremental development for AXE 10","authors":"Even-André Karlsson, Lars Taxén","doi":"10.1145/267895.267930","DOIUrl":"https://doi.org/10.1145/267895.267930","url":null,"abstract":"To become more reactive and flexible to the market needs, i.e. shorter lead-times and more flexibility in handling late and changing requirements, Ericsson’s AXE 10 development processes have been adapted to support incremental development. The basic principle is to develop each of the customer features in one executable and testable increment. In order to plan, coordinate and control projects executed in this way, an Incremental Development Method Package, IDMP, has been developed by UAB in close cooperation with support groups in development projects. In this paper, we define what we mean with incremental development and describe the main aspects of the package. We also report experiences from using the package in the CMS 30 phase 7 and HELIOS projects. A prototype tool which supports the package is described, together with the experiences from using the tool in the pilot project Combined Gateway. Even if the IDMP has been developed towards AXE 10, it has proven useful in non AXE 10 projects, as the principles are rather independent of development process.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134228061","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}
引用次数: 12
Providing automated support to deductive analysis of time critical systems 为时间关键系统的演绎分析提供自动化支持
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267912
A. Alborghetti, A. Gargantini, A. Morzenti
{"title":"Providing automated support to deductive analysis of time critical systems","authors":"A. Alborghetti, A. Gargantini, A. Morzenti","doi":"10.1145/267895.267912","DOIUrl":"https://doi.org/10.1145/267895.267912","url":null,"abstract":"We report on our experience in using a general purpose theorem prover to provide mechanical support to deductive analysis of specifications written in the TRIO temporal logic, and on applying the resulting tool to a widely known case study in the field of time. and safety-critical systems. First, we illustrate the required features for a general purpose theorem prover to satisfy our needs, we provide a rationale for our choice, and we briefly illustrate how TRIO was encoded into the prover's logic. Then we present the case study used to validate the obtained TRIO prover and to assess the overall approach. Finally we discuss the encouraging results of our experiment and provide some technical and methodological suggestions to researchers and practitioners willing to use our tool to analyze TRIO specifications, or aiming at customizing a general purpose theorem prover on any other formal language, especially if based on temporal logics.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133402855","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}
引用次数: 22
Expressing code mobility in mobile UNITY 在移动UNITY中表达代码的移动性
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267929
G. Picco, G. Roman, P. McCann
{"title":"Expressing code mobility in mobile UNITY","authors":"G. Picco, G. Roman, P. McCann","doi":"10.1145/267895.267929","DOIUrl":"https://doi.org/10.1145/267895.267929","url":null,"abstract":"Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms of binding. Code mobility, for instance, allows for invocation-time binding between a code fragment and the location where it executes. Similarly, mobile computing allows hosts (and the software they execute) to alter their physical location. Despite apparent similarities, the two paradigms are distinct in their treatment of location and movement. This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile computing. Several solutions to a distributed simulation problem are used to illustrate the modeling strategy for programs that employ code mobility.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"7 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130588204","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}
引用次数: 36
Subtypes for specifications 规范的子类型
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267898
J. Rushby
{"title":"Subtypes for specifications","authors":"J. Rushby","doi":"10.1145/267895.267898","DOIUrl":"https://doi.org/10.1145/267895.267898","url":null,"abstract":"Specification languages are best used in environments that provide effective theorem proving. Having such support available, it is feasible to contemplate that typechecking can use the services of the theorem prover. This allows interesting extensions to the type systems provided for specification languages. I describe one such extension called “predicate subtyping” and illustrate its utility as mechanized in PVS.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129364287","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}
引用次数: 5
Comparing and combining software defect detection techniques: a replicated empirical study 软件缺陷检测技术的比较与组合:一项重复的实证研究
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267915
M. Wood, M. Roper, A. Brooks, James Miller
{"title":"Comparing and combining software defect detection techniques: a replicated empirical study","authors":"M. Wood, M. Roper, A. Brooks, James Miller","doi":"10.1145/267895.267915","DOIUrl":"https://doi.org/10.1145/267895.267915","url":null,"abstract":"This report describes an empirical study comparing three defect detection techniques: a) code reading by stepwise abstraction, b) functional testing using equivalence partitioning and boundary value analysis, and c) structural testing using branch coverage. It is a replication of a study that has been carried out at least four times previously over the last 20 years. This study used 47 student subjects to apply the techniques to small C programs in a fractional factorial experimental design. The major findings of the study are: a) that the individual techniques are of broadly similar effectiveness in terms of observing failures and finding faults, b) that the relative effectiveness of the techniques depends on the nature of the program and its faults, c) these techniques are consistently much more effective when used in combination with each other. These results contribute to a growing body of empirical evidence that supports generally held beliefs about the effectiveness of defect detection techniques in software engineering.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122311695","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}
引用次数: 117
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信