1 / 11

Putting the User in Usable Verification

Putting the User in Usable Verification. Kathi Fisler , WPI Joint work with Shriram Krishnamurthi. What is Usable Verification?. Use English. Template Patterns. GUI-based Tools. System ´ Properties ® true or counter- eg. More Domains. Better Scalability. 3.

alexis
Download Presentation

Putting the User in Usable Verification

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. Putting the User in Usable Verification Kathi Fisler, WPI Joint work with ShriramKrishnamurthi

  2. What is Usable Verification? Use English Template Patterns GUI-based Tools System ´Properties® true or counter-eg More Domains Better Scalability

  3. 3

  4. Access-Control Policies During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p request decision Patient Developer SocNetwork User PC-Chair

  5. Policy Verification During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p System ´Properties® true or counter-eg Assigned reviewers can submit reviews

  6. Policy Verification During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p ´ (EnvModel´ System)´Properties® true or counter-eg Assigned reviewers can submit reviews

  7. Transfer confidence During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p During the review phase, a reviewer r may submit a review for paper p if ris not conflicted withp During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p assigned(r,p), conflicted(r,p), ... difference: permit vs deny What effect did this edit have? Artifact ´Ground-truth artifact ® Difference

  8. Configuration checking Refactoring testing ? = “What if” questions Mutation testing Upgrade checking Upgrade exploring

  9. Others must find our settings reasonable Those I trust more should have more permissions During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p People triangulate decisions against personal, subjective measures The reviewing process needs to run smoothly

  10. Those I trust more should have more permissions During the review phase, a reviewer r may submit a review for paper p if r is assigned to review p During the meeting phase, a reviewer r can read the scores for paper p if r has submitted a review for p MoreTrusted(chair, reviewer) MoreTrusted(reviewer, author) ... • MoreTrusted(R1,R2) ® • (act,res) : • Permit(R1,act,res) Ù • Deny(R2,act,res) Artifact ´Ground-truth artifact ´ User View ® Difference

  11. System ´Properties® true or counter-eg (EnvModel´ System)´Properties® true or counter-eg Artifact ´Ground-truth artifact ® Difference Artifact ´Ground-truth artifact ´ User View ® Difference

More Related