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: [OASIS Issue Tracker] Commented: (TAG-9) Tag-Comment: Why TAMLPredicate not Formal?



    [ http://tools.oasis-open.org/issues/browse/TAG-9?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=23731#action_23731 ] 

Dennis Hamilton commented on TAG-9:
-----------------------------------

In the 2010-11-30 Teleconference, Jacques Durand pointed out that, while we do not specify a machine-interpretable formalism for a Test Assertion Predicate, the taml:predicate element optional lg attribute provides for identification of a formalism in which the predicate is expressed.

The resolution is being updated accordingly and the original commenter notified.

> Tag-Comment: Why TAML Predicate not Formal?
> -------------------------------------------
>
>                 Key: TAG-9
>                 URL: http://tools.oasis-open.org/issues/browse/TAG-9
>             Project: OASIS Test Assertions Guidelines (TAG) TC
>          Issue Type: Improvement
>          Components: TA markup doc CD 02
>            Reporter: Dennis Hamilton
>            Assignee: Dennis Hamilton
>
> This TAG-Comment is from "Bahareh Heravi" <Bahareh.Heravi@brunel.ac.uk> on 2010-05-11: 
>    <http://lists.oasis-open.org/archives/tag-comment/201005/msg00002.html>.
> The question is why is not a formal notation for predicates introduced in TAML   To wit,
> """
> As far as I understand Test Assertions are meant to kind of formalise Normative Statements in the specifications which is superb.
> I couldn't find a description for Test Assertion Mark-up Language in its spec but I reckon it provides a XML representation of the Test Assertions. However, I don't quite get the point of a machine readable representation when the predicates are not formal.
> """
> The concern is that the predicate is not machine-interpretable.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://tools.oasis-open.org/issues/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira

        


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