OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

tag message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Non Testable Normative Sources


Kevin and all:

Would the addition below at the end of 4.6 address the “non-testable” case?

4.6 Partially or Non Testable Normative Sources

….

“Finally, it may be the case that the Normative Source is known to be non-testable, to the best of the knowledge of the test assertion writer. For example, it may concern a property or behavior that will likely not be observable by a test environment, or that will likely remain privy to an implementation. Such test assertions still serve a purpose in guiding implementors to develop in conformance to a specification, and also indicate what kind of feature should be made observable when possible, at the time an implementation is developed. If the test assertion predicate is to remain “untestable”, the test assertion could be tagged as “not-testable” so that test suite writers can ignore it.”

 

-jacques

 



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]