Formal property verification in a conformance testing framework

2014 ◽  
Author(s):  
Houssam Abbas ◽  
Hans Mittelmann ◽  
Georgios Fainekos
Keyword(s):  
Conformance Testing ◽  
Formal Property ◽  
Testing Framework ◽  
Property Verification

scholarly journals A Conformance Testing Framework for Applying Test Purposes

1995 ◽  
pp. 291-298 ◽  
Author(s):  
Jae Hong Park ◽  
Jai Yong Lee ◽  
Il Young Jung ◽  
Jin Pyo Hong
Keyword(s):  
Conformance Testing ◽  
Testing Framework

Cohesive Coverage Management for Simulation and Formal Property Verification

2008 ◽  
Author(s):  
Aritra Hazra ◽  
Ansuman Banerjee ◽  
Srobona Mitra ◽  
Pallab Dasgupta ◽  
Partha Pratim Chakrabarti ◽  
...  
Keyword(s):  
Formal Property ◽  
Property Verification

The Design and Verification of TD-LTE/TD-SCDMA Dual-Module Handover Conformance Testing

2014 ◽  
Vol 543-547 ◽  
pp. 2522-2525
Author(s):  
Yu Liu ◽  
Li Xu
Keyword(s):  
Test System ◽  
Conformance Testing ◽  
Flow Chart ◽  
Testing Framework ◽  
Testing Method ◽  
Dual Module

This paper describes a testing method about handover conformance and testing framework based on TTCN-3. In addition, the handover conformance testing process between the LTE and TD-SCDMA system is designed, and the testing flow chart and reports are generated by the TTWORKBENCH platform, finally this test system is verified. The results accord with the requirement of the 3GPP conformance testing.

scholarly journals Formal Property Verification

2017 ◽  
pp. 491-513
Author(s):  
Limor Fix ◽  
Ken McMillan ◽  
Norris Ip ◽  
Leopold Haller
Keyword(s):  
Formal Property ◽  
Property Verification
Sign in / Sign up

Export Citation Format

Share Document