XJTAG

Size: px

Start display at page:

Download "XJTAG"

すずりこやぎ
5 years ago
Views:

2 LDRA/ T-VEC/ MetaEdit+ Domain Specific Modeling Ashling/Jtag ARC SmartCards LAUTERBACH /Jtag ARM PowerPC K MIPS XJTAG HW

3 Domain-Specific Modeling

4 Domain-Specific Modeling

9 Click for customers Click for customers Click for customers Back

10 MISRA Back

12 MISRA Back

13 Back

14 Back

15 Back

16 Back

17 Back

19 JSF Back

20 JSF SW Back

21 JSF Back

22 JSF C++ Back

25 DO-178B MISRA C MISRA-C:2004 IEC 61508

26 Back

27 Back

30 Back

36 Executable ref. Lines Comments in Headers 1 Number of Loops 1 Comments 2 in Executable 4 Code Procedure Exit Points Blank Lines Number of Procedures 3 Total Comments/Exe. Lines Total LCSAJs Declaration Comments/Exe. Unreachable LCSAJs Lines Maximum LCSAJ Density 2 Code Comments/Exe. Lines 8 Unreachable Lines Average Length of Basic Blocks Unreachable Branches 5 Unique Operands 9 File Fan in Total LCSAJs Essential Knots Total Comments Number of Basic Blocks Comments in Declarations Executable reformatted Lines Total Operands Essential Cyclomatic Complexity Knots 1 1 Cyclomatic Complexity Vocabulary 3 Number of Procedures Total 4 LCSAJs 4 Unreachable LCSAJs 2 2 Maximum LCSAJ Dens Unreachable Lines 5 5 Unreachable Branches 3

37 Executable reformatted Lines Executable ref. Lines Essential Knots Number of Basic Blocks Total Comments Essential Cyclomatic Total Operands Complexity Comments in Headers 1 Number of Loops Knots Comments in Declarations Cyclomatic Complexity Comments 2 in Executable 4 Procedure Exit Points Code Number of Procedures Vocabulary Blank Lines Total LCSAJs Number of Procedures Total Comments/Exe. Lines Total 4 LCSAJs 4 Unreachable LCSAJs Declaration Comments/Exe. Lines Maximum LCSAJ Density Unreachable LCSAJs Code Comments/Exe. Lines 8 Unreachable Lines Maximum LCSAJ Density Average Length of Basic Blocks Unreachable Unreachable Lines Branches Unique Operands File Fan in Unreachable Branches Total LCSAJs

40 /*LDRA_INSPECTED */

46 Back

48 Domain-Specific Modeling

49 We Cover All Boundaries

56 We Cover All Boundaries

58 Simulink

59 TTM

68 Usage data test points Input Space Software Output Space Operational profile 1 Operational profile 2 Expected output Test point on domain boundary Unexpected output (failure from user perspective)

70 IO/Data Processor Graphics Processor LCD Interface Image Integrity Monitor

71 IO/Data Processor Graphics Processor LCD Interface Image Integrity Monitor

74 DO178C

75 NIST SmartCard

Verification Model Test Driver Generator Test Driver Schema JDBC Java Environment

76 (NIST) Oracle8 Security Target Oracle8 Reference Oracle8 SQL Reference Interfaces Data dictionary and SQL commands SQL Behavior Test Vector Generator Object Mapping Verification Model Test Driver Generator Test Driver Schema JDBC Java Environment Database System Actual Outputs Test Results Example 2 Expected Outputs Cross Comparison

78 Simulink (DOORS ) T-VEC (TTM) Simulink Stateflow T-VEC Test Vector Generation System Requirements/Design Capture Captured Model Translation Simulink Tester GUI (MCDC ) (MISRA ) JSF

79 Domain-Specific Modeling

80 Domain-Specific Modeling for Full Code Generation

81 Domain-Specific Modeling for Full Code Generation

82 DSM API

83 Domain Done a few times before! Finished Idea Product Expert (few) DSM language Code generator Framework code Normal (many) Easy! Model in DSM language Generate code Domain Framework

84 Domain-Specific Domain-Specific

85 Domain-Specific Domain-Specific

86 Domain-Specific Domain-Specific MetaEdit+

87 DSM DSM Domain Idea Done a few times before! Finished Product Expert (few) DSM language Code generator Framework code Normal (many) Easy! Model in DSM language Generate code Domain Framework

88 API

90 Case1: Symbian/Series 60

92 Function calls Series 60 Generator definition Report '_Note' /* Produces Note code */ 'def '; type;oid; '():'; appuifw.note(u"';:text or code; '", '''; :Note type; ''')'; subreport; '_next element'; run; endreport Report '_next element' /* reports next flow element*/ do ~From>Flow { do :Function used {' '; :Function name;} '('; :Code; ')'; do ~To.() { return '; } endreport subreport; '_Internal name'; run;} Generator output def Note3_2227(): appuifw.note(u"registration made", 'conf') return Stop3_983 def Note3_6109(): appuifw.note(u SMS Cancellation sent", 'conf') return Stop3_983 def Note3_2543(): appuifw.note(u Conference registration: Welcome", info') return Popup_menu3_2520 def Stop3_983(): # This applications stops here return appuifw.app.set_exit...

93 Case2: e

94 Java 3

95 Case3: 8 1 1

96 Case3:

98 DSM API

100

101

Domain-Specific Modeling: Enabling Full Code Generation

Domain-Specific Modeling: Enabling Full Code Generation 1 Domain-Specific Modeling for Full Code Generation Juha-Pekka Tolvanen, Ph.D. MetaCase September 2010 2 -UML - -DSM 3 4 5 The entire history of software engineering is that of the rise in levels of abstraction