Eleventh Annual International Workshop on Software Technology and Engineering Practice最新文献

筛选
英文 中文
A modular tool for automated coverage in software testing 用于软件测试中自动覆盖的模块化工具
Eugenia Díaz, J. Tuya, Raquel Blanco
{"title":"A modular tool for automated coverage in software testing","authors":"Eugenia Díaz, J. Tuya, Raquel Blanco","doi":"10.1109/STEP.2003.2","DOIUrl":"https://doi.org/10.1109/STEP.2003.2","url":null,"abstract":"Software testing is an expensive and difficult process which need much time. For this reason, the existence of tools that allow to decrease this effort is very important. Our tool automatically generates test cases in order to obtain branch coverage in software testing from a source code. All process is automatic (source code instrumentation and test cases generation) and therefore the total time used in software testing is reduced. We describe the modules of the tool and present the result we have obtained compared the needed time to generate the test cases with manual instrumentation and the needed time with an automatic process.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"236 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117341272","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}
引用次数: 13
From a single discipline risk management approach to an interdisciplinary one: adaptation of FMEA to software needs 从单一学科的风险管理方法到跨学科的风险管理方法:FMEA适应软件需求
Susanne Hartkopf
{"title":"From a single discipline risk management approach to an interdisciplinary one: adaptation of FMEA to software needs","authors":"Susanne Hartkopf","doi":"10.1109/STEP.2003.12","DOIUrl":"https://doi.org/10.1109/STEP.2003.12","url":null,"abstract":"Risk management has been identified as a vitally important project management task. Hence, many risk management approaches have been developed. Unfortunately, most of them deal with the risks of a single discipline only, meaning disciplines in which either software or non-software products are developed. In contrast, nowadays many projects are highly interdisciplinary undertakings in the sense that newly developed conventional non-software products are enhanced by software. With the advent of software, many additional risks have emerged. In this paper, the differences between software and non-software products are investigated. From these differences, consequences for interdisciplinary projects are derived. It is indicated how an interdisciplinary risk management approach can cope with the consequences. An answer is given to the question of how to achieve such an interdisciplinary approach. One possible solution is presented here as an adaptation of the failure modes and effects analysis, a single discipline approach, to the needs of software. This paper is an extension of a position paper presented at the STEP2003 Workshop of Interdisciplinary Software Engineering.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127457341","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}
引用次数: 3
Metamorphic testing and beyond 变形测试和超越
T. Chen, Fei-Ching Kuo, T. H. Tse, Z. Zhou
{"title":"Metamorphic testing and beyond","authors":"T. Chen, Fei-Ching Kuo, T. H. Tse, Z. Zhou","doi":"10.1109/STEP.2003.18","DOIUrl":"https://doi.org/10.1109/STEP.2003.18","url":null,"abstract":"When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"186 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121296636","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}
引用次数: 70
Widening the scope of evidence gathering in software engineering 扩大软件工程中证据收集的范围
B. Oates
{"title":"Widening the scope of evidence gathering in software engineering","authors":"B. Oates","doi":"10.1109/STEP.2003.39","DOIUrl":"https://doi.org/10.1109/STEP.2003.39","url":null,"abstract":"This paper argues that the empirical evaluation of software engineering requires a wider range of strategies and data generation methods than has been used until now. It can learn from its sister discipline of information systems (IS). The paper summarises a range of strategies and methods that could be used. However, adoption of some of the additional strategies and methods would require software engineers to examine their assumptions about the nature of evidence and how it should be evaluated. The paper therefore explains the scientific, positivist paradigm and the interpretive paradigm. It argues for including qualitative methods and the interpretive paradigm in the empirical evaluation of software engineering. Finally the paper reflects on the implications for research and practice of having a range of available strategies and methods and two contrasting underlying philosophies.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125074358","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
Towards a successful software metrics programme 迈向一个成功的软件度量程序
R. Dawson, Andy J. Nolan
{"title":"Towards a successful software metrics programme","authors":"R. Dawson, Andy J. Nolan","doi":"10.1109/STEP.2003.34","DOIUrl":"https://doi.org/10.1109/STEP.2003.34","url":null,"abstract":"Based on the authors' 43 years of combined experience in industry, this paper describes a number of ways to ensure a metrics programme is considered successful. Experiences of a number of industries provide lessons on the planning of a metrics programme, the motivation of employees collecting the metrics, embedding metrics collection into everyday processes, presenting the metrics in financial terms and using metrics that already exist. It is acknowledged that metrics collected in industry can prove very little, but they are useful if used with other data or as a pointer for further investigations. The lessons learned from these experiences form guidelines which, if followed, should give valuable assistance in achieving a successful software metrics programme.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129753012","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
Capturing evidence from wireless Internet services development 从无线互联网服务发展中获取证据
F. Bella, Jürgen Münch, A. Ocampo
{"title":"Capturing evidence from wireless Internet services development","authors":"F. Bella, Jürgen Münch, A. Ocampo","doi":"10.1109/STEP.2003.7","DOIUrl":"https://doi.org/10.1109/STEP.2003.7","url":null,"abstract":"The merging of the Internet with the wireless services domain has created a potential market whose characteristics are new technologies and time-to-market pressure. The lack of knowledge about new technologies and the need to be competitive in a short time demand that software organizations learn quickly about this domain and its characteristics. Additionally, the effects of development techniques in this context need to be understood. Learning from previous experiences in such a changing environment demands a clear understanding of the evidence to be captured, and how it could be used in the future. This article presents definitions of quantitative and qualitative evidence, and templates for capturing such evidence in a systematic way. Such templates were used in the context of two pilot projects dealing with the development of wireless Internet services.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127644694","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}
引用次数: 3
Unraveling the complexities of interdisciplinary software engineering 揭示跨学科软件工程的复杂性
N. Mehandjiev, P. Layzell, P. Brereton
{"title":"Unraveling the complexities of interdisciplinary software engineering","authors":"N. Mehandjiev, P. Layzell, P. Brereton","doi":"10.1109/STEP.2003.36","DOIUrl":"https://doi.org/10.1109/STEP.2003.36","url":null,"abstract":"This paper summarizes the progress made in clarifying and analyzing the framework of interdisciplinary software engineering, which was first formulated at STEP2002, Montreal. The framework identified ideas, models and techniques which are in common use by other disciplines, and are deemed applicable to software engineering to address a number of outstanding issues in software engineering practice. One year and two further workshops down the line, we take stock of achievements, outline changes and draw plans for future work in the area. We report the discussions at the workshops, present a revised framework and highlight areas where further work is needed.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"236 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132120240","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}
引用次数: 3
Modeling language interpretation for validation 用于验证的建模语言解释
P. Alarcón, J. Garbajosa, Agustín Yagüe, A. Lisounkin, G. Schreck, Jose L. Esteban
{"title":"Modeling language interpretation for validation","authors":"P. Alarcón, J. Garbajosa, Agustín Yagüe, A. Lisounkin, G. Schreck, Jose L. Esteban","doi":"10.1109/STEP.2003.20","DOIUrl":"https://doi.org/10.1109/STEP.2003.20","url":null,"abstract":"This paper describes an approach to deploy the interpretation of a modeling language in order to get support for the verification of system models and to produce the necessary software to simulate the system behavior. The language to define system models, the XNetMod language, has been specified to the purpose of modeling systems with a network structure, that is made of interrelated components. It is an XML-based language. For verification purposes an algebra has been developed. The approach combines formal methods with model-based development. The simulation software components are generated from the system model definition. The simulation of the system can provide information related to issues such as simulation-based supervision, control and decision-making mechanisms, yielding a useful support to validation activities.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"4 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123691483","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
Model-based approaches for validating business critical systems 用于验证业务关键系统的基于模型的方法
J. Augusto, Y. Howard, A. Gravell, Carla Ferreira, S. Gruner, M. Leuschel
{"title":"Model-based approaches for validating business critical systems","authors":"J. Augusto, Y. Howard, A. Gravell, Carla Ferreira, S. Gruner, M. Leuschel","doi":"10.1109/STEP.2003.19","DOIUrl":"https://doi.org/10.1109/STEP.2003.19","url":null,"abstract":"Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, Promela/SPIN and B/ProB/AtellerB, can be used to implement this idea. As a way to reinforce integration between modelling and testing we use model-based tests and trace-driven model checking. As a result we were able to anticipate problems and guide the development of our software in a safer way, increasing our understanding of the system and its reliability.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129755100","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
Software evolution in an interdisciplinary environment 跨学科环境下的软件进化
K. Bennett, Steven Bradley, G. Glover, D. Barnes
{"title":"Software evolution in an interdisciplinary environment","authors":"K. Bennett, Steven Bradley, G. Glover, D. Barnes","doi":"10.1109/STEP.2003.30","DOIUrl":"https://doi.org/10.1109/STEP.2003.30","url":null,"abstract":"At Durham, an interdisciplinary team has implemented the UK's first Web-centred database of adult mental health service provision (we regard interdisciplinary research to be taking place when two or more groups from different disciplines work together to solve a common problem). Like most applications, this is subject to evolution: the health service structure is changing rapidly, while feedback from domain users provides a constant source of improvements. One potential advantage of the database is that it offers potential to track and report on changes in service provision, although this must be implemented in the face of the substantial evolution. The main contribution of this paper is to reflect on the combination of domain drivers and evolution in software; we propose that a Web services solution will meet the needs of the former while minimizing the effort to implement the latter.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132413755","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
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学术官方微信