BS ISO/IEC TR 15942:2000
Current
The latest, up-to-date edition.
Hardcopy , PDF
English
12-15-2000
1 Scope
1.1 Within the scope
1.2 Out of scope
2 Verification techniques
2.1 Traceability
2.2 Reviews
2.3 Analysis
2.3.1 Control flow analysis
2.3.2 Data flow analysis
2.3.3 Information flow analysis
2.3.4 Symbolic execution
2.3.5 Formal code verification
2.3.6 Range checking
2.3.7 Stack usage analysis
2.3.8 Timing analysis
2.3.9 Other memory usage analysis
2.3.10 Object code analysis
2.4 Testing
2.4.1 Principles
2.4.2 Requirements-based testing
2.4.3 Structure-based testing
2.5 Use of verification techniques in this technical
report
3 General language issues
3.1 Writing verifiable programs
3.1.1 Language rules to achieve predictability
3.1.2 Language rules to allow modelling
3.1.3 Language rules to facilitate testing
3.1.4 Pragmatic considerations
3.1.5 Language enhancements
3.2 The choice of language
4 Significance of language features for high integrity
4.1 Criteria for assessment of language features
4.2 How to use this technical report
5 Assessment of language features
5.1 Types with static attributes
5.1.1 Evaluation
5.1.2 Notes
5.1.3 Guidance
5.2 Declarations
5.2.1 Evaluation
5.2.2 Notes
5.2.3 Guidance
5.3 Names, including scope and visibility
5.3.1 Evaluation
5.3.2 Notes
5.3.3 Guidance
5.4 Expressions
5.4.1 Evaluation
5.4.2 Notes
5.4.3 Guidance
5.5 Statements
5.5.1 Evaluation
5.5.2 Notes
5.5.3 Guidance
5.6 Subprograms
5.6.1 Evaluation
5.6.2 Notes
5.6.3 Guidance
5.7 Packages (child and library)
5.7.1 Evaluation
5.7.2 Notes
5.7.3 Guidance
5.8 Arithmetic types
5.8.1 Evaluation
5.8.2 Notes
5.8.3 Guidance
5.9 Low level and interfacing
5.9.1 Evaluation
5.9.2 Notes
5.9.3 Guidance
5.10 Generics
5.10.1 Evaluation
5.10.2 Notes
5.10.3 Guidance
5.11 Access types and types with dynamic attributes
5.11.1 Evaluation
5.11.2 Notes
5.11.3 Guidance
5.12 Exceptions
5.12.1 Evaluation
5.12.2 Notes
5.12.3 Guidance
5.13 Tasking
5.13.1 Evaluation
5.13.2 Notes
5.13.3 Guidance
5.14 Distribution
5.14.1 Evaluation
5.14.2 Notes
5.14.3 Guidance
6 Compilers and run-time systems
6.1 Language issues
6.2 Compiler qualification
6.3 Run-time system
7 References
7.1 Applicable documents
7.2 Referenced documents
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.