Innovative Ways to Improve Software Quality

8/7/2019 Innovative Ways to Improve Software Quality

1/18


2/18


3/18


4/18


5/18
http://msdn.microsoft.com/magazine/cc188721http://msdn.microsoft.com/magazine/cc163930http://msdn.microsoft.com/library/ms229042


6/18


7/18
http://go.microsoft.com/fwlink/?LinkId=70287


8/18
http://submain.com/products/testmatrix.aspx#screen0101http://submain.com/products/testmatrix.aspx#runnerhttp://submain.com/products/testmatrix.aspx#coveragehttp://submain.com/products/testmatrix.aspx#profilerhttp://submain.com/testmatrix/TestRunner.aspx


9/18
http://submain.com/products/testmatrix.aspx#screen0102http://submain.com/testmatrix/CodeCoverage.aspx


10/18
http://submain.com/products/testmatrix.aspx#screen0103http://submain.com/testmatrix/TestProfiler.aspxhttp://en.wikipedia.org/wiki/Program_analysis_(computer_science)http://en.wikipedia.org/wiki/Dynamic_program_analysishttp://en.wikipedia.org/wiki/Dynamic_program_analysishttp://en.wikipedia.org/wiki/Source_codehttp://en.wikipedia.org/wiki/Object_codehttp://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysishttp://en.wikipedia.org/wiki/Program_comprehensionhttp://en.wikipedia.org/wiki/Code_reviewhttp://en.wikipedia.org/wiki/Lint_programming_toolhttp://en.wikipedia.org/wiki/Formal_methodshttp://en.wikipedia.org/wiki/Software_metrichttp://en.wikipedia.org/wiki/Reverse_engineeringhttp://en.wikipedia.org/wiki/Safety-criticalhttp://en.wikipedia.org/wiki/Vulnerability_(computing)http://en.wikipedia.org/wiki/Medical_softwarehttp://en.wikipedia.org/wiki/Food_and_Drug_Administrationhttp://en.wikipedia.org/wiki/Static_program_analysis#cite_note-0


11/18
http://en.wikipedia.org/wiki/Softwarehttp://en.wikipedia.org/wiki/Hardwarehttp://en.wikipedia.org/wiki/Denotational_semanticshttp://en.wikipedia.org/wiki/Axiomatic_semanticshttp://en.wikipedia.org/wiki/Operational_semanticshttp://en.wikipedia.org/wiki/Abstract_interpretationhttp://en.wikipedia.org/wiki/Decision_problemhttp://en.wikipedia.org/wiki/Alonzo_Churchhttp://en.wikipedia.org/wiki/Kurt_G%C3%B6delhttp://en.wikipedia.org/wiki/Alan_Turinghttp://en.wikipedia.org/wiki/Halting_problemhttp://en.wikipedia.org/wiki/Rice's_theoremhttp://en.wikipedia.org/wiki/Model_checkinghttp://en.wikipedia.org/wiki/Finite-state_machinehttp://en.wikipedia.org/wiki/Abstraction_(computer_science)http://en.wikipedia.org/wiki/Data_flow_analysishttp://en.wikipedia.org/wiki/Abstract_interpretationhttp://en.wikipedia.org/wiki/Static_program_analysis#cite_note-1http://en.wikipedia.org/wiki/Frama-chttp://en.wikipedia.org/wiki/Polyspacehttp://en.wikipedia.org/wiki/Assertion_(computing)http://en.wikipedia.org/wiki/Hoare_logichttp://en.wikipedia.org/wiki/SPARK_programming_languagehttp://en.wikipedia.org/wiki/Ada_(programming_language)http://en.wikipedia.org/wiki/Java_Modeling_Languagehttp://en.wikipedia.org/wiki/Java_Modeling_Languagehttp://en.wikipedia.org/wiki/ESC/Javahttp://en.wikipedia.org/wiki/ESC/Java2http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Languagehttp://en.wikipedia.org/wiki/Program_analysishttp://en.wikipedia.org/wiki/Static_code_analysishttp://en.wikipedia.org/wiki/Imperative_programminghttp://en.wikipedia.org/wiki/Java_(programming_language)


12/18
http://en.wikipedia.org/wiki/Memory_leakhttp://en.wikipedia.org/wiki/Dangling_pointerhttp://en.wikipedia.org/w/index.php?title=Type-state_properties&action=edit&redlink=1http://en.wikipedia.org/wiki/Linked_listhttp://en.wikipedia.org/wiki/Pointer_analysishttp://en.wikipedia.org/wiki/Halting_problem


13/18


14/18
http://en.wikipedia.org/wiki/Compiler_theoryhttp://en.wikipedia.org/wiki/Aliasing_(computing)http://en.wikipedia.org/wiki/Pointer_analysishttp://en.wikipedia.org/wiki/Intermediate_language


15/18
http://en.wikipedia.org/wiki/Type_safehttp://en.wikipedia.org/wiki/Compiler_optimizationhttp://en.wikipedia.org/wiki/Pointer_(computing)http://en.wikipedia.org/wiki/Pointer_analysishttp://en.wikipedia.org/wiki/Shape_analysis_(software)http://en.wikipedia.org/wiki/Subroutinehttp://en.wikipedia.org/wiki/Pointer_(computing)http://en.wikipedia.org/wiki/Thread_(computer_science)


16/18
http://en.wikipedia.org/wiki/Dynamic_memory_allocationhttp://en.wikipedia.org/wiki/Stack-based_memory_allocationhttp://en.wikipedia.org/wiki/Object-oriented_programming_languagehttp://en.wikipedia.org/wiki/Dynamic_compilationhttp://en.wikipedia.org/wiki/Java_(programming_language)http://en.wikipedia.org/wiki/HotSpothttp://en.wikipedia.org/wiki/Java_performance#Escape_analysis_and_lock_coarsening


17/18


18/18

Documents

Innovative Ways to Improve Software Quality