{"action":"created","issue":{"url":"https://api.github.com/repos/openETCS/validation/issues/239","labels_url":"https://api.github.com/repos/openETCS/validation/issues/239/labels{/name}","comments_url":"https://api.github.com/repos/openETCS/validation/issues/239/comments","events_url":"https://api.github.com/repos/openETCS/validation/issues/239/events","html_url":"https://github.com/openETCS/validation/issues/239","id":55732569,"number":239,"title":"Verification of Provide Position Report","user":{"login":"MarcBehrens","id":2271821,"avatar_url":"https://avatars.githubusercontent.com/u/2271821?v=3","gravatar_id":"","url":"https://api.github.com/users/MarcBehrens","html_url":"https://github.com/MarcBehrens","followers_url":"https://api.github.com/users/MarcBehrens/followers","following_url":"https://api.github.com/users/MarcBehrens/following{/other_user}","gists_url":"https://api.github.com/users/MarcBehrens/gists{/gist_id}","starred_url":"https://api.github.com/users/MarcBehrens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MarcBehrens/subscriptions","organizations_url":"https://api.github.com/users/MarcBehrens/orgs","repos_url":"https://api.github.com/users/MarcBehrens/repos","events_url":"https://api.github.com/users/MarcBehrens/events{/privacy}","received_events_url":"https://api.github.com/users/MarcBehrens/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"idelatorre","id":3976065,"avatar_url":"https://avatars.githubusercontent.com/u/3976065?v=3","gravatar_id":"","url":"https://api.github.com/users/idelatorre","html_url":"https://github.com/idelatorre","followers_url":"https://api.github.com/users/idelatorre/followers","following_url":"https://api.github.com/users/idelatorre/following{/other_user}","gists_url":"https://api.github.com/users/idelatorre/gists{/gist_id}","starred_url":"https://api.github.com/users/idelatorre/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idelatorre/subscriptions","organizations_url":"https://api.github.com/users/idelatorre/orgs","repos_url":"https://api.github.com/users/idelatorre/repos","events_url":"https://api.github.com/users/idelatorre/events{/privacy}","received_events_url":"https://api.github.com/users/idelatorre/received_events","type":"User","site_admin":false},"milestone":null,"comments":5,"created_at":"2015-01-28T09:29:12Z","updated_at":"2015-02-25T13:09:47Z","closed_at":null,"body":"relates to issue #237 \r\n\r\ngrooming done on 28.01.2015\r\n\r\nRelated packets to Position Report coming from Subset-026-07:\r\n- [ ] Packet 58\tPosition Report Parameters\r\nConfiguration of Train Position Report coming from packet 58\r\n - [ ] T_CYCLOC (see Subset-026-3.6.5.1.5 a) Periodically in time.)\r\n - [ ] D_CYCLOC (see Subset-026-3.6.5.1.5 b) Periodically in space.)\r\n - [ ] M_LOC (see Subset-026-3.6.5.1.5 d)\tAt every passage of an LRBG compliant balise group)\r\n - [ ] N_ITER\r\n - [ ] D_LOC(k) (see Subset-026-3.6.5.1.5 )\r\n - [ ] Q_LGTLOC(k) ( see Subset-026-3.6.5.1.5 c)\tWhen the max safe front end or min safe rear end of the train has passed a specified location.\r\n\r\n- [ ] Packet 0\tPosition Report\r\n- [ ] Packet 1\tPosition Report based on two balise groups\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/openETCS/validation/issues/comments/75956705","html_url":"https://github.com/openETCS/validation/issues/239#issuecomment-75956705","issue_url":"https://api.github.com/repos/openETCS/validation/issues/239","id":75956705,"user":{"login":"idelatorre","id":3976065,"avatar_url":"https://avatars.githubusercontent.com/u/3976065?v=3","gravatar_id":"","url":"https://api.github.com/users/idelatorre","html_url":"https://github.com/idelatorre","followers_url":"https://api.github.com/users/idelatorre/followers","following_url":"https://api.github.com/users/idelatorre/following{/other_user}","gists_url":"https://api.github.com/users/idelatorre/gists{/gist_id}","starred_url":"https://api.github.com/users/idelatorre/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idelatorre/subscriptions","organizations_url":"https://api.github.com/users/idelatorre/orgs","repos_url":"https://api.github.com/users/idelatorre/repos","events_url":"https://api.github.com/users/idelatorre/events{/privacy}","received_events_url":"https://api.github.com/users/idelatorre/received_events","type":"User","site_admin":false},"created_at":"2015-02-25T13:09:47Z","updated_at":"2015-02-25T13:09:47Z","body":"As it was discussed in telco, some isolated operators have been verified, only internal logics can be verified\r\n\r\n-         Op_3_6_5_4_1_a: in addition to the previously reported issue another test has been executed. the train is moving with speed 5, no reach to standstill and the trigger is activated, so the test is failed. \r\n-          Op_3_6_5_4_1_b: there are situations that can not be given and which are processed as inputs. Tests coverage 100%\r\n-          Op_3_6_5_4_1_c_d: correct, Tests coverage 100%\r\n-          Op_3_6_5_4_1_e_f_h_k: correct, Tests coverage 100%\r\n-          Op_3_6_5_4_1_g: correct, Tests coverage 100%\r\n \r\nFurthermore, another clarification is needed\r\n \r\n-          Op_3_6_5_4_1_j: We do not know how to indicate that ther are no position parameters PosRepPara because PosRepParathe data is not an operator input. In addition, we do not know how indicate that  LRBG just has been passed\r\n\r\nThe input and output data of the operators are in https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySQS/05-Work/Provide%20Position%20Report%20verification"}}