|
ICSE 2005 Workshop on |
|
|
Workshop Organization Siddhartha R. Dalal, Xerox Corporation, USA Ashish Jain, Telcordia Technologies, USA Jesse Poore, U. of Tennessee, USA Program Committee Larry Bernstein, Stevens Institute of Technology, USA Lionel Briand, Carleton University, Canada Guy Broadfoot, Verum Consultants, Netherlands David Bernholdt, Oak Ridge National Labs, USA Mark Christensen, Consultant, USA Charlie Colbourn, Arizona State University, USA Siddhartha R. Dalal, Xerox Corporation, USA Donald Gaver, Naval Postgraduate School, USA Constance Heitmeyer, Navy Research Lab, USA Mary Jean Harrold, Georgia Tech, USA Ashish Jain, Telcordia Technologies, USA Michael Lyu, Chinese U. of Hong Kong, Hong Kong SAR Aditya Mathur, Purdue University, USA Rob O’Shana, Texas Instruments, USA Jesse Poore, U. of Tennessee, USA Harry Robinson, Google,USA Ernest Seglie, Department of Defense, USA Amjad Umar, Fordham University, USA Elaine Weyuker, AT&T Research, USA Lee White, Case Western Reserve University, USA Rabih Zbib, Telcordia Technologies, USA
|
A-MOST-05 Bundle (Papers + Presentation + Final Program) ~ 16 MB
A-MOST 2005 Papers Only (~3.2 MB)
A-MOST-2005 Presentations Only (~12MB)
For workshop registration, hotel reservations, and visa letter requests, please refer to details at ICSE's website.
A special issue of Information and Software Technology Journal (IST, Elsevier) based upon the workshop submissions is planned. Selected authors would be invited to submit a full-paper for the journal after the workshop presentations.
|
There is a need for renewed stress on rigorous and disciplined approaches to software testing as a result of the growing focus of product liability on software. As an industrial reality, an order of magnitude reduction in the cost of effective testing is needed. Model-based testing methodologies can provide this discipline and rigor. A premise of model-based software testing is the creation of models of the software being tested as opposed to adhoc and manual creation of test suites. Despite progress in model-based software testing the practice is limited to relatively few organizations. The goal of this workshop is to bring together researchers and practitioners to describe, discuss, and advance the current state of the art AND the current state of the practice in model-based software testing. Submissions are solicited that describe new research, tools and technologies, noticeable industry experience reports, and position papers which will collectively advance the state-of-art and the state-of-practice in the area of Model-Based Software Testing. Topics of interest include, but are not limited to: q MODELS · Black Box (Requirements Based) · White Box (Code Based) · OMG's MDA · Markov Chain · Combinatorial Designs · Systems of Systems · Embedded Systems
q PROCESS · Test Generation Algorithms · Test Oracles · Tracing Requirements to Test Cases · Automated Change Management · Testing Tools · Test Management Systems
q MEASUREMENT · Estimating Reliability · Coverage Analysis · Risk Assessment · Return on Investment · Case Studies · Test Stopping Criteria
Review Process: At least two members of the Program Committee will review each submission. The program committee as a whole will meet to review and discuss the submissions and make final decisions about which submissions to accept for presentation at the workshop. Submission Guidelines: Papers should be submitted in PDF format and should not exceed seven pages (including all text, figures, references and appendices). The results described must be unpublished and should not be under review elsewhere. Each submitted paper must conform to the ICSE 2005 workshop format described at http://www.cs.wustl.edu/icse05/Submissions/PaperFormat.shtml. Please email PDF format submissions to organizers@research.telcordia.com For more information about submissions, contact Ashish Jain at jain@research.telcordia.com Important Submission Dates
Workshop paper submission deadline
28 February 2005 (extended
from Feb 21st)
|
There is a need for renewed stress on rigorous and disciplined approaches to software testing as a result of the growing focus of product liability on software. Model-based testing methodologies provide this discipline and rigor. Effective model-based software testing tools and methods have resulted in good industry experience reports. A premise of model-based software testing is the creation of models of the software being tested as opposed to adhoc and manual creation of test suites. Models created for the system are independent of the real implementation (code) and in this sense are called the black-box models of the system. Despite progress in model-based software testing the practice is limited to relatively few organizations. The goal of this workshop is to bring together researchers and practitioners to describe, discuss, and advance the current state of the art AND the current state of the practice in model-based software testing.
Software development ranges from near-formal methods where testing is done once for the purpose of providing empirical evidence of the software reliability to the iterative and agile processes with the 'test early, test often' philosophy. Across this spectrum model-based test generation and automation are seen as the key to effective testing. Change management using structured models and tools can be substantially automated. OMG's MDA is helping to make modelling mainstream, as is the increasing availability of tools for modelling, industry standards using MOF (Meta-Object Facility) and its popular instance UML (Unified Modelling Language). Modelling, however, still requires substantial investment, and practical and scalable model-based testing solutions can help leverage this investment.
Another contributing factor is advancement in software architecture technologies. Present day focus is on integrability as many enterprises are employing system of systems to automate their business processes. Flexibility and agility in changing a business process stems from the fact that the underlying IT infrastructure is flexible, albeit with high risk. Many of systems are data-driven and use reflexive technologies. J2EE application servers, for example, use reflexive technologies for several key aspects. In many ways, the applications that run on these OTS platforms are more like model-interpreters and less like a prescriptive sequence of program instructions. Models or meta-data that these programs interpret are becoming more formal like XML Schemas, Workflow specifications, Business Rules, and so on. Modelling of data, workflows, and business rules in a platform independent way is becoming very common. Declarative specifications have always been a perquisite for model-based testing, and such specifications are becoming more available.
As an industrial reality, an order of magnitude reduction in the cost of effective testing is needed. Model-based, automated software testing offers great promise. This workshop will bring researchers and practitioners together to discuss advances, applications, and the complex problems yet to be solved in model-based testing. Organizers will solicit research manuscripts, noticeable industry experience reports, and position papers to collectively advance the state-of-art and the state-of-practice.