1 / 6

Software Architecture-based Analysis and Design

Software Architecture-based Analysis and Design. SEA Group Software Engineering and Architecture Group. My Research. Requirements. Model Checking. Interoperability for Regression Analysis. Software Architecture. Testing. ADLs / Viewpoints. Implementation. Model Checking SA.

graham
Download Presentation

Software Architecture-based Analysis and Design

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Software Architecture-based Analysis and Design SEA GroupSoftware Engineering and Architecture Group

  2. My Research Requirements ModelChecking InteroperabilityforRegressionAnalysis Software Architecture Testing ADLs/ Viewpoints Implementation

  3. Model Checking SA • Model Checking SA: • Charmy Framework [TSE09] • An executable prototype of the SA is automatically generated (from the model-based SA specification), and used for simulation and checking • Classification and Comparison of Model Checking SA techniques [JSS10] • Comparison of 17 model checking SA techniques with respect to 20 parameters

  4. SA-based Testing • SA-based Testing [TSE04]: • Testing of the implementation conformance to the architectural specification • Issues: level of abstraction, traceability • Open questions: • State of the art/practice of SA-based testing? • Industry needs • SA-based Regression Testing [JSS06]: • We consider assessing both “low-level” and “high-level” evolution,i.e.,whether a slightly modified implementation conforms to the initial architecture, and whether the implementation continues to conform to an evolved architecture.

  5. Multi-model Regression analysis • Tosupportdifferentanalysis, weneedtomodelour SA withdifferentADLs • As soonasoneanalysistechniquerequires the SA tochange, all the othermodelsshallchangeaccordingly • Duallyperformsautomaticmodeltransformation[TSE10] and evolution[TR10] • Idea: Regressionanalysis via modeltransformation Darwin/LTSA Modelchecking Performance AEMILIA AADL Fault analysis

  6. Viewpoints-based SA testing • ISO/IEC 42010 standard draft • Describes an Architecture Description is, in terms of viewpoints and views (and other concepts) • Current ADLs tend to mix different viewpoints into a single model • Idea: improving testability by clearly separating different viewpoints exposed by a certain architectural description

More Related