Activity: Why Test?  Why Verify?
Some selected responses:

Why testing might  be useful:

1. 1.1  To make sure the result of the program is correct.
1.2 To make sure the process of program is controllable.
1.3 To make sure
the results come out in a reasonable time.

Team member: Sicong Ma, Zhou Zhou, Tonglin Li

The following are the usefulness and effectiveness of testing

1.      Helps check whether the requirements are fully met
2.     Helps to improve program quality and performance and maintain standards
3.      Helps check stability of the program/system – and
aids in making it more robust

- Harit, Sruthi, Deepak, Satish, Yangli

Testing is useful and important for the following reasons.
1 it allows a programer eliminate errors, drawbacks and verify the correctness of the program.
2 it allows a programmer to evaluate performance of the application.


1,different softwares have different using envionment which varies from time to time. If we abandon test, the software may not adapt to the general use.
2,unknown bugs/uncovered situations.
3,different model templates need to test it as a whole.
4,test need to make sure protect if there is a illegal implement.



1.1 testing pros 1. Make the goal quality of the software 2. make the
program run smoothly and correctly 3. We have improve the quality fo
programs by testing such as time and space saving


Testing is useful:

    1. Error detection
    2. Increase the robustness
    3. Helps deal with various unsuspecting inputs

Patrick, Nastaran, BingQing, Dan, Kushagra

1.Correctness:
1.1 find bugs
1.2 functionality

2.Enhence the stability of a program
2.1 sometimes response time may take too much time
2.2 improve the compatibility

3.Performance:
3.1 memory usage
3.2 friendly interface
3.3 run faster

------------------------------------------------------------
The following are the reasons why testing may be insufficient

1.      Impact of human error can play a vital role in the testing process
2.      Not all scenarios/cases can be tested
3.      All defects may not be captured – due to resource unavailability, time constraints

- Harit, Sruthi, Deepak, Satish, Yangli

Testing can be insufficient because:
it might be impossible to test all situations
it is usually difficult to account for all environment vairables outside the test set up.


Testing  cons:
1 Sometimes, especiallly in the real-time systems we test the program which is correct at the time cannot guarantee that the program is always correct at the other time.  So we need to test as much as possible in different situtions and times
2 make less mistakes
3 satisfy the customers' requirements

------------------------------------------------------------
Formal systems abstract the actual code and allows the developer to verfiy the logical correctness of the solution before begining to write code.

1. make the sytems more logical and more correct by the formal systems
2 everybody can understand what the program means by the formal systems because of its standard description.

Formal  systems
1.       Helps other users understand the logic
2.       Help developers develop a formal proof
3.       Easier to point out errors
4.       It strengthens the overall program
5.       It is simplifies the overall program
6.       It helps determine which program to use in terms of speed efficiency
7.       It makes the program compact
8.       It should reduce the testing time if eliminating it completely
9.       It helps us correct the program
10.   They can’t always guarantee

Patrick, Nastaran, BingQing, Dan, Kushagra