Abstract :
The following topics are dealt with: fault localization; fault prediction; constraint-based testing; passive testing; metamorphic testing; software testing; reliability prediction; component-based systems; component base architecture; model-based specification; security testing; quality models; quality of service-oriented applications; software verification; software quality; workshop on embedded system software development and quality assurance and WESQA.
Keywords :
embedded systems; formal specification; program testing; program verification; quality assurance; quality of service; security of data; service-oriented architecture; software fault tolerance; software quality; WESQA; component base architecture; component-based systems; constraint-based testing; fault localization; fault prediction; metamorphic testing; model-based specification; passive testing; quality models; quality of service-oriented applications; reliability prediction; security testing; software quality; software testing; software verification; workshop on embedded system software development and quality assurance;
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4673-2857-9
DOI :
10.1109/QSIC.2012.1
