Computer ScienceSoftware Engineering Slide 1 CS425/CS625 l List of classes for the banking system l Groups for projects l Software development process l Assignment 1 Due Sept 11, 2001 Individual AND group portions Requirements for Galaxy Sleuth – Questions (group) Informal scenarios – group and individual

Computer ScienceSoftware Engineering Slide 2 Groups Paul Simmerlink Stephen Herbert Daniel Coming Ogechi Ugwulebo James King Jigna J. Bhatt Brett Harrison Jonathan Ward Michael Vidal Howard C. Wu Don Miller James Frye David Brewer Olja Mihic Casey Mees Maggie Lu Reid Webber Taisuke Nagayama Jeff Payne Matasaka Sako Casey J. Powell Shana Rheault RichardD.VanHorn Rodel Mangoba Steve Luong Jason Dodd Beifang Yi Dorothy P. Cheung William Nelson Will Woolsey Andrew Rodgers James Cohen, Judy Rowley, Stan Sexton, Rajashekhar Yakkali, Kazuhito Mori

Computer ScienceSoftware Engineering Slide 3 Engineering and Administration

Computer ScienceSoftware Engineering Slide 4 Informal Scenarios l Help understand the problem l Come up with questions on requirements l Help constrain architecture

Computer ScienceSoftware Engineering Slide 5 Informal Scenarios - Guidelines l Large number of small informal scenarios – short scenarios l An informal scenario should address one coherent aspect of the system (logon, make a move, …) l Should specify concrete values l Address some errors l Implementation details must not be in informal scenario l Each informal scenario should have the form: System state at start Informal scenario Next informal scenario in sequence

Computer ScienceSoftware Engineering Slide 6 Sample: User makes a move l Current system state: The system state consists of each player at his or her starting location on the game board. The 3 players in the game, Andrea, Max, and Emma have each been dealt six cards (evidence). Value of cards is irrelevant to this scenario l Informal Scenario: Andrea has the next move. She spins the spinner which lands on the number 5. Andrea has the white playing piece. She moves this piece one space to the left, one space toward the top, two spaces to the right, and finally, one space to the top. Because of the final position of the game piece, Andrea has not additional option and her turn ends. l Next scenario: The player to the left of Andrea goes next, Max goes next

Computer ScienceSoftware Engineering Slide 7 Software Processes l Coherent sets of activities for specifying, designing, implementing and testing software systems

Computer ScienceSoftware Engineering Slide 8 Objectives l To introduce software process models l To describe a number of different process models and when they may be used l To describe process models for requirements engineering, software development, testing and evolution

Computer ScienceSoftware Engineering Slide 9 Topics covered l Software process models l Process iteration l Software specification l Software design and implementation l Software validation l Software evolution l Automated process support

Computer ScienceSoftware Engineering Slide 10 The software process l A structured set of activities required to develop a software system Specification Design Validation Evolution l A software process model is an abstract representation of a process. It presents a description of a process from some particular perspective

Computer ScienceSoftware Engineering Slide 11 Generic software process models l The waterfall model Separate and distinct phases of specification and development l Evolutionary development Specification and development are interleaved l Formal systems development A mathematical system model is formally transformed to an implementation l Reuse-based development The system is assembled from existing components

Computer ScienceSoftware Engineering Slide 12 Waterfall model

Computer ScienceSoftware Engineering Slide 13 Waterfall model phases l Requirements analysis and definition l System and software design l Implementation and unit testing l Integration and system testing l Operation and maintenance l The drawback of the waterfall model is the difficulty of accommodating change after the process is underway

Computer ScienceSoftware Engineering Slide 14 Waterfall model problems l Inflexible partitioning of the project into distinct stages l This makes it difficult to respond to changing customer requirements l Therefore, this model is only appropriate when the requirements are well-understood

Computer ScienceSoftware Engineering Slide 15 Evolutionary development l Exploratory development Objective is to work with customers and to evolve a final system from an initial outline specification. Should start with well-understood requirements l Throw-away prototyping Objective is to understand the system requirements. Should start with poorly understood requirements

Computer ScienceSoftware Engineering Slide 16 Evolutionary development

Computer ScienceSoftware Engineering Slide 17 Evolutionary development l Problems Lack of process visibility Systems are often poorly structured Special skills (e.g. in languages for rapid prototyping) may be required l Applicability For small or medium-size interactive systems For parts of large systems (e.g. the user interface) For short-lifetime systems

Computer ScienceSoftware Engineering Slide 18 Formal systems development l Based on the transformation of a mathematical specification through different representations to an executable program l Transformations are ‘correctness-preserving’ so it is straightforward to show that the program conforms to its specification l Embodied in the ‘Cleanroom’ approach to software development

Computer ScienceSoftware Engineering Slide 19 Formal systems development

Computer ScienceSoftware Engineering Slide 20 Formal transformations

Computer ScienceSoftware Engineering Slide 21 Formal systems development l Problems Need for specialised skills and training to apply the technique Difficult to formally specify some aspects of the system such as the user interface l Applicability Critical systems especially those where a safety or security case must be made before the system is put into operation

Computer ScienceSoftware Engineering Slide 22 Reuse-oriented development l Based on systematic reuse where systems are integrated from existing components or COTS (Commercial-off-the-shelf) systems l Process stages Component analysis Requirements modification System design with reuse Development and integration l This approach is becoming more important but still limited experience with it

Computer ScienceSoftware Engineering Slide 23 Reuse-oriented development

Computer ScienceSoftware Engineering Slide 24 Process iteration l System requirements ALWAYS evolve in the course of a project so process iteration where earlier stages are reworked is always part of the process for large systems l Iteration can be applied to any of the generic process models l Two (related) approaches Incremental development Spiral development

Computer ScienceSoftware Engineering Slide 25 Incremental development l Rather than deliver the system as a single delivery, the development and delivery is broken down into increments with each increment delivering part of the required functionality l User requirements are prioritised and the highest priority requirements are included in early increments l Once the development of an increment is started, the requirements are frozen though requirements for later increments can continue to evolve

Computer ScienceSoftware Engineering Slide 26 Incremental development

Computer ScienceSoftware Engineering Slide 27 Incremental development advantages l Customer value can be delivered with each increment so system functionality is available earlier l Early increments act as a prototype to help elicit requirements for later increments l Lower risk of overall project failure l The highest priority system services tend to receive the most testing

Computer ScienceSoftware Engineering Slide 28 Extreme programming l New approach to development based on the development and delivery of very small increments of functionality l Relies on constant code improvement, user involvement in the development team and pairwise programming

Computer ScienceSoftware Engineering Slide 29 Spiral development l Process is represented as a spiral rather than as a sequence of activities with backtracking l Each loop in the spiral represents a phase in the process. l No fixed phases such as specification or design - loops in the spiral are chosen depending on what is required l Risks are explicitly assessed and resolved throughout the process

Computer ScienceSoftware Engineering Slide 30 Spiral model of the software process

Computer ScienceSoftware Engineering Slide 31 Spiral model sectors l Objective setting Specific objectives for the phase are identified l Risk assessment and reduction Risks are assessed and activities put in place to reduce the key risks l Development and validation A development model for the system is chosen which can be any of the generic models l Planning The project is reviewed and the next phase of the spiral is planned

Computer ScienceSoftware Engineering Slide 32 Software specification l The process of establishing what services are required and the constraints on the system’s operation and development l Requirements engineering process Feasibility study Requirements elicitation and analysis Requirements specification Requirements validation

Computer ScienceSoftware Engineering Slide 33 The requirements engineering process

Computer ScienceSoftware Engineering Slide 34 Software design and implementation l The process of converting the system specification into an executable system l Software design Design a software structure that realises the specification l Implementation Translate this structure into an executable program l The activities of design and implementation are closely related and may be inter-leaved

Computer ScienceSoftware Engineering Slide 35 Design process activities l Architectural design l Abstract specification l Interface design l Component design l Data structure design l Algorithm design

Computer ScienceSoftware Engineering Slide 36 The software design process

Computer ScienceSoftware Engineering Slide 37 Design methods l Systematic approaches to developing a software design l The design is usually documented as a set of graphical models l Possible models Data-flow model Entity-relation-attribute model Structural model Object models

Computer ScienceSoftware Engineering Slide 38 Programming and debugging l Translating a design into a program and removing errors from that program l Programming is a personal activity - there is no generic programming process l Programmers carry out some program testing to discover faults in the program and remove these faults in the debugging process

Computer ScienceSoftware Engineering Slide 39 The debugging process

Computer ScienceSoftware Engineering Slide 40 Software validation l Verification and validation is intended to show that a system conforms to its specification and meets the requirements of the system customer l Involves checking and review processes and system testing l System testing involves executing the system with test cases that are derived from the specification of the real data to be processed by the system

Computer ScienceSoftware Engineering Slide 41 The testing process

Computer ScienceSoftware Engineering Slide 42 Testing stages l Unit testing Individual components are tested l Module testing Related collections of dependent components are tested l Sub-system testing Modules are integrated into sub-systems and tested. The focus here should be on interface testing l System testing Testing of the system as a whole. Testing of emergent properties l Acceptance testing Testing with customer data to check that it is acceptable

Computer ScienceSoftware Engineering Slide 43 Testing phases

Computer ScienceSoftware Engineering Slide 44 Software evolution l Software is inherently flexible and can change. l As requirements change through changing business circumstances, the software that supports the business must also evolve and change l Although there has been a demarcation between development and evolution (maintenance) this is increasingly irrelevant as fewer and fewer systems are completely new

Computer ScienceSoftware Engineering Slide 45 System evolution

Computer ScienceSoftware Engineering Slide 46 Automated process support (CASE) l Computer-aided software engineering (CASE) is software to support software development and evolution processes l Activity automation Graphical editors for system model development Data dictionary to manage design entities Graphical UI builder for user interface construction Debuggers to support program fault finding Automated translators to generate new versions of a program

Computer ScienceSoftware Engineering Slide 47 Case technology l Case technology has led to significant improvements in the software process though not the order of magnitude improvements that were once predicted Software engineering requires creative thought - this is not readily automatable Software engineering is a team activity and, for large projects, much time is spent in team interactions. CASE technology does not really support these

Computer ScienceSoftware Engineering Slide 48 CASE classification l Classification helps us understand the different types of CASE tools and their support for process activities l Functional perspective Tools are classified according to their specific function l Process perspective Tools are classified according to process activities that are supported l Integration perspective Tools are classified according to their organisation into integrated units

Computer ScienceSoftware Engineering Slide 49 Functional tool classification

Activity-based classification

Computer ScienceSoftware Engineering Slide 51 CASE integration l Tools Support individual process tasks such as design consistency checking, text editing, etc. l Workbenches Support a process phase such as specification or design, Normally include a number of integrated tools l Environments Support all or a substantial part of an entire software process. Normally include several integrated workbenches

Computer ScienceSoftware Engineering Slide 52 Tools, workbenches, environments

Computer ScienceSoftware Engineering Slide 53 Key points l Software processes are the activities involved in producing and evolving a software system. They are represented in a software process model l General activities are specification, design and implementation, validation and evolution l Generic process models describe the organisation of software processes l Iterative process models describe the software process as a cycle of activities

Computer ScienceSoftware Engineering Slide 54 Key points l Requirements engineering is the process of developing a software specification l Design and implementation processes transform the specification to an executable program l Validation involves checking that the system meets to its specification and user needs l Evolution is concerned with modifying the system after it is in use l CASE technology supports software process activities