上泽充通大 SJTU School Of Software 2009-2-3 3 Beyond array boundary Void Str_copy(char &name) char stu_name[20]; strcopy(stu_name,name) return stu_name; ) 4 Data is inaccurate Every data type is limited by it's bits. Such as float variable accurate is 7 bit,so 123456799.00 is equal to123456711.00 软件学院
SJTU School Of Software 2009-2-3 软件学院 3 Beyond array boundary Void Str_copy( char &name) { char stu_name[20]; strcopy( stu_name,name) return stu_name; } 4 Data is inaccurate Every data type is limited by it’s bits. Such as float variable accurate is 7 bit, so 123456799.00 is equal to 123456711.00
上浒充通大学 SJTU School Of Software 2009-2-3 2.3 Glossary(术语 ·Fault(缺陷) An incorrect step,process,or data definition in a computer program ·Error(ISO)(错误) -A discrepancy between a computed,observed, or measured value or condition and the true, specified,or theoretically correct value or condition ·Failure(IEEE)(失败) The inability of a system or component to perform its required functions within specified performance requirements 软件学院
SJTU School Of Software 2009-2-3 软件学院 2.3 Glossary(术语) • Fault(缺陷 ) – An incorrect step, process, or data definition in a computer program • Error (ISO)(错误 ) – A discrepancy between a computed, observed, or measured value or condition and the true, specified, or theoretically correct value or condition • Failure (IEEE)(失败 ) – The inability of a system or component to perform its required functions within specified performance requirements
上游充鱼大警 SJTU School Of Software 2009-2-3 Glossary ·Exception(IEEE)(例外/越界) An event that causes suspension of normal program operation.Types include addressing exception, data exception,operation exception,overflow exception,protection exception,underflow exception ·Anomaly(lEEE)(异常) Anything observed in the documentation or operation of software,that deviates from expectations based on previously verified software products or reference documents 软件学院
SJTU School Of Software 2009-2-3 软件学院 Glossary • Exception (IEEE)(例外/越界) – An event that causes suspension of normal program operation. Types include addressing exception, data exception, operation exception, overflow exception, protection exception, underflow exception • Anomaly (IEEE)(异常) – Anything observed in the documentation or operation of software，that deviates from expectations based on previously verified software products or reference documents
上泽充道大警 SJTU School Of Software 2009-2-3 2.4 Fundamental theory and methods of software test The concepts of software test Basic principle of software test (Myers principle) Independent principle >Completive(完全性)principle The types of software test 软件学院
SJTU School Of Software 2009-2-3 软件学院 ¾ Basic principle of software test (Myers principle） ¾ Independent principle ¾ Completive(完全性) principle ¾ The types of software test The concepts of software test 2.4 Fundamental theory and methods of software test
上游充鱼大姿 SJTU School Of Software 2009-2-3 Basic principle of software test (Myers principle) Early test and continual test Avoid test software by programmer him/her self Test case input data expected result > Test case should include expected (valid)input data and unexpected (invalid input data > Test program what it should to do what it should not do The probability of exist errors are direct proportion to the errors have being uncovered. Check each test result roundly > Software test is an most innovational work 软件学院
SJTU School Of Software 2009-2-3 软件学院 Basic principle of software test (Myers principle ） ¾ Early test and continual test ¾ Avoid test software by programmer him/her self ¾ Test case = input data + expected result ¾ Test case should include expected （valid ）input data and unexpected （invalid ）input data ¾ Test program = what it should to do + what it should not do ¾ The probability of exist errors are direct proportion to the errors have being uncovered. ¾ Check each test result roundly ¾ Software test is an most innovational work