IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Route packets, not wires: on-chip inteconnection networks
Proceedings of the 38th annual Design Automation Conference
A discipline of multiprogramming: programming theory for distributed applications
A discipline of multiprogramming: programming theory for distributed applications
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A survey of research and practices of Network-on-chip
ACM Computing Surveys (CSUR)
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Under-constrained execution: making automatic code destruction easy and scalable
Proceedings of the 2007 international symposium on Software testing and analysis
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
| Hi-index | 0.00 |
We discuss the problem of model based test case generation and that of automatic testing of a component of an asynchronous Network-on-Chip (NoC). We start with a model of the component in B Action System, which is a state based formalism based on Action Systems and the B Method. We construct a finite state space graph by executing the model, and next, generate a test driver from the abstract test cases. This test driver can be used to test a matching implementation automatically. The important contribution of our work is that we consider hierarchical models for test case generation and automatic testing, whereas the previous approaches considered flat models. In addition, we also highlight the issue due to non-determinism in hierarchical models.