Presentation is loading. Please wait.

Presentation is loading. Please wait.

September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Bag of Tricks for Validation Presented by Doron Drusinsky Joint work with.

Published byRoxanne Lily Park Modified over 8 years ago

Similar presentations

Presentation on theme: "September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Bag of Tricks for Validation Presented by Doron Drusinsky Joint work with."— Presentation transcript:

1 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Bag of Tricks for Validation Presented by Doron Drusinsky Joint work with Bret michael, Man-Tak Shing, and Tom Otani Naval Postgraduate School Monterey, CA

2 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 2 A Bag of Tricks for Validation 1. Connecting the SRM to the Assertion-Repository using AspectJ 2. Meta-Assertions 3. Using Code Coverage to find Missing Assertions

3 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 3 Connecting the SRM to the Assertion-Repository using AspectJ Background Embedded Assertions Embedded Assertions External Assertions – Assertion Repository External Assertions – Assertion Repository Hardwired Assertion Bridge Hardwired Assertion Bridge Aspect-J Bridge Aspect-J Bridge

4 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 4 Connecting the SRM to the Assertion-Repository using AspectJ 1. Embedded Assertions

5 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 5 Connecting the SRM to the Assertion-Repository using AspectJ 2. Assertion repository (see NASA Journal Paper) Assertion Repository

6 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 6 Connecting the SRM to the Assertion-Repository using AspectJ 2. Assertion repository: hardwired bridge

7 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 7 Connecting the SRM to the Assertion-Repository using AspectJ 2. Assertion repository: hardwired bridge class ExternalAssertionsUser { … protected void fireExternalAssertions(String sEventName) { externalAssertionChecker. execTReventDispatcher(…); } … } E.g., In domain model class Foo { public void reqPublish() { // connect to External assertions bundle fireExternalAssertions("reqPublish") }

8 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 8 Connecting the SRM to the Assertion-Repository using AspectJ 2. Assertion repository: AspectJ bridge AspectJ bridge // After returning from calls specified in // execMethod() do... after() returning: execMethod() { if (assertions == null) return; String sMethodName = thisJoinPoint.getSignature().getName(); Object[] _args = thisJoinPoint.getArgs(); fireAssertions(sMethodName, _args); } pointcut execMethod(): execution(int *(..)) && !target(ExternalAssertionChecker) // not an assertion && !target(ITRAssertion) // not an assertion && !target(TestCase) && !execution(int getInstanceID(..)) && !execution(int getPS(..)) && !execution(int execTReventDispatcher(..)) && !execution(int execTRminorCycle(..)) && !execution(int execTRFireSubstatecharts(..));

9 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 9 Meta-Assertions

10 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 10 Meta-Assertions A meta-assertion is an assertion about the existing set of assertions (the assertion repository) currently in use.

11 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 11 Meta-Assertions Validation Architecture: Assertion Repository

12 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 12 Meta-Assertions Example R2: Once the Traffic-Light SUT has lights turn red three times or more then at least one assertion is expected to fail while lights are red.

13 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 13 Meta-Assertions Architecture: isSuccess

14 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 14 Meta-Assertions Statistical assertions: Guard succeeds iff frequency of traversing the transition is greater than or equal to (GE) 0.6 Using these constraints, the user effectively forces the JUnit test-suite to spend 60% or more of its testing energy along the newTruck path and the remainder along the timeoutFire path.

15 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 15 Using Code Coverage to find Missing Assertions

16 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 16 Using Code Coverage to find Missing Assertions Traffic Light Controller SRM

17 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 17 Using Code Coverage to find Missing Assertions

18 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 18 Using Code Coverage to find Missing Assertions

19 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 19 Using Code Coverage to find Missing Assertions Run validation tests through DM using Coverage tool (Emma here):

20 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 20 Using Code Coverage to find Missing Assertions

21 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 21 Using Code Coverage to find Missing Assertions

22 September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 22 Using Code Coverage to find Missing Assertions

Download ppt "September 8, 2008NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Bag of Tricks for Validation Presented by Doron Drusinsky Joint work with."

Similar presentations

JUnit Tutorial Hong Qing Yu Nov 2005. 2 JUnit Tutorial The testing problems The framework of JUnit A case study JUnit tool Practices.

JUnit Tutorial Hong Qing Yu Nov JUnit Tutorial The testing problems The framework of JUnit A case study JUnit tool Practices.
Java Testing Tools. junit is a testing harness for unit testing. emma is a code coverage tool. The tools can be used in concert to provide statement and.

Java Testing Tools. junit is a testing harness for unit testing. emma is a code coverage tool. The tools can be used in concert to provide statement and.
©2009 Justin C. Klein Keane PHP Code Auditing Session 4.2 – File Include Vulnerabilities Justin C. Klien Keane

©2009 Justin C. Klein Keane PHP Code Auditing Session 4.2 – File Include Vulnerabilities Justin C. Klien Keane
If Statements, Try Catch and Validation. The main statement used in C# for making decisions depending on different conditions is called the If statement.

If Statements, Try Catch and Validation. The main statement used in C# for making decisions depending on different conditions is called the If statement.
J-Unit Framework.

J-Unit Framework.
MAHDI OMAR JUNIT TUTORIAL. CONTENTS Installation of Junit Eclipse support for Junit Using Junit exercise JUnit options Questions Links and Literature.

MAHDI OMAR JUNIT TUTORIAL. CONTENTS Installation of Junit Eclipse support for Junit Using Junit exercise JUnit options Questions Links and Literature.
CMSC 345, Version 11/07 SD Vick from S. Mitchell Software Testing.

CMSC 345, Version 11/07 SD Vick from S. Mitchell Software Testing.
Establishing IV&V Properties Steve Raque, NASA IV&V Facility Dr. Doron Drusinsky, Naval Postgraduate School 9/4/20091Establishing IV&V Properties.

Establishing IV&V Properties Steve Raque, NASA IV&V Facility Dr. Doron Drusinsky, Naval Postgraduate School 9/4/20091Establishing IV&V Properties.
1 IP Security Outline of the session –IP Security Overview –IP Security Architecture –Key Management Based on slides by Dr. Lawrie Brown of the Australian.

1 IP Security Outline of the session –IP Security Overview –IP Security Architecture –Key Management Based on slides by Dr. Lawrie Brown of the Australian.
JUnit Introduction and Advanced Features. Topics Covered  Junit Introduction  Fixtures  Test Suites  Currency Example.

JUnit Introduction and Advanced Features. Topics Covered  Junit Introduction  Fixtures  Test Suites  Currency Example.
BASIS PATH TESTING ● By Tom McCabe ● McCabe, T., A Software Complexity Measure, IEEE Trans. Software Engineering, vol. SE-2, December 1976, pp. 308-320.

BASIS PATH TESTING ● By Tom McCabe ● McCabe, T., "A Software Complexity Measure," IEEE Trans. Software Engineering, vol. SE-2, December 1976, pp
T02-04 - 1 T02-04 Histogram (User Selected Classes) Purpose Allows the analyst to analyze quantitative data by summarizing it in sorted format, scattergram.

T T02-04 Histogram (User Selected Classes) Purpose Allows the analyst to analyze quantitative data by summarizing it in sorted format, scattergram.
JExample Extending JUnit with explicit dependencies Bachelor Project Lea Hänsenberger.

JExample Extending JUnit with explicit dependencies Bachelor Project Lea Hänsenberger.
Presentation Outline What is JUnit? Why Use JUnit? JUnit Features Design of JUnit Downloading JUnit Writing Tests – TestCase – TestSuite Organizing The.

Presentation Outline What is JUnit? Why Use JUnit? JUnit Features Design of JUnit Downloading JUnit Writing Tests – TestCase – TestSuite Organizing The.
Lecture 9: Debugging & Testing. 9-2 MicrosoftIntroducing CS using.NETJ# in Visual Studio.NET Objectives “Unfortunately, errors are a part of life. Some.

Lecture 9: Debugging & Testing. 9-2 MicrosoftIntroducing CS using.NETJ# in Visual Studio.NET Objectives “Unfortunately, errors are a part of life. Some.
IV&V Facility Model-based Design Verification IVV Annual Workshop September, 2009 Tom Hempler.

IV&V Facility Model-based Design Verification IVV Annual Workshop September, 2009 Tom Hempler.
State coverage: an empirical analysis based on a user study Dries Vanoverberghe, Emma Eyckmans, and Frank Piessens.

State coverage: an empirical analysis based on a user study Dries Vanoverberghe, Emma Eyckmans, and Frank Piessens.
JsUnit An introduction to unit testing in-browser JavaScript with JsUnit Edward Hieatt February, 2005 JsUnit.

JsUnit An introduction to unit testing in-browser JavaScript with JsUnit Edward Hieatt February, 2005 JsUnit.
Unit Testing & Defensive Programming. F-22 Raptor Fighter.

Unit Testing & Defensive Programming. F-22 Raptor Fighter.
September 24, 2007 NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Framework for Computer-aided Validation Presented by Bret Michael Joint.

September 24, 2007 NASA IV&V Facility Workshop on Validation Morgantown, WV 1 A Framework for Computer-aided Validation Presented by Bret Michael Joint.

Similar presentations

Ads by Google