Candc
收藏资源简介：
We conducted a small user study to examine two high level<br> research questions: [RC1] is C&C verification difficult<br> to do manually, and [RC2] are witnesses for satisfaction/non-satisfaction<br> helpful. The study included a two-pages introduction<br> on C&C views to read, 3 verification questions (each<br> presenting one C&C view), and 3 questions about the usefulness<br> of a set of witnesses that was presented to the user,<br> all referring to a common C&C model. Two of the views<br> in the first 3 questions had 2 non-satisfaction reasons each.<br> The questions of each group were presented to the users in<br> a random order to avoid a bias due to learning effect.<br> The study subjects were all CS graduate students or professional<br> software engineers, all with some modeling background<br> but no specific previous knowledge on our work on<br> C&C views. No grades or other reward was involved. The<br> study was anonymous and conducted online. We obtained<br> complete set of answers from 17 subjects. <br> <strong>Attribute Information</strong> For the user response: | id |<br> |----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|<br> | completed |<br> | last page |<br> | start language |<br> | data started |<br> | date last action |<br> | Component and connector (C&C) models are used in many application domains of software engineering. C&C views can be used to specify structural properties of C&C models, e.g., which component should be inside which component, which component should be connected to which component, in an expressive and intuitive way. An introduction to C&C models and C&C views is given in this PDF. All the tasks in the exercise are based on the same C&C model of a pump station (download the PDF here). Are you ready to start the exercise- |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch] |<br> | Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector] |<br> | Please rate your confidence that you correctly identified whether the C&C views were satisfied by the C&C model. Rate your confidence regardless of the reasons you identified. |<br> | Please rate your confidence in finding all reasons for non-satisfaction. |<br> | Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model does not satisfy this C&C view. Here are two witnesses that demonstrate separate reasons for non-satisfaction:,First witness for non-satisfaction:,Second witness for non-satisfaction:,Do you find these witnesses helpful in understanding the verification result (non-satisfaction)- |<br> | Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model satisfies this C&C view. Here is a witnesses for satisfaction:,Do you find this witnesses helpful in understanding the verification result (satisfaction)- |<br> | Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model does not satisfy this C&C view. Here are four witnesses that demonstrate separate reasons for non-satisfaction.,First witness for non-satisfaction:,Second witness for non-satisfaction:,Third witness for non-satisfaction:,Fourth witness for non-satisfaction:,Do you find these witnesses helpful in understanding the verification result (non-satisfaction)- |<br> | Please note any comments you may have about C&C models, C&C views, and C&C witnesses. |<br> | Total time |<br> | Group time: Intro |<br> | Question time: Intro |<br> | Group time: C&C Views Verification |<br> | Question time: SAT1 |<br> | Question time: SAT2 |<br> | Question time: SAT3 |<br> | Question time: Correctness |<br> | Question time: Completeness |<br> | Group time: Helpful Witnesses |<br> | Question time: Witness1 |<br> | Question time: Witness2 |<br> | Question time: Witness3 |<br> | Group time: Remarks |<br> | |<br>
