Gazette entry
US7974823B1
Test postcondition items for automated analysis and test generation
Test postcondition items for automated analysis and test generation. Filed in the MathWorks / Simulink cluster.
- Family
- Block diagrams and statecharts → embedded code and HDL
- Tags
- simulink · test
How to cite
US7974823B1, “Test postcondition items for automated analysis and test generation,” MathWorks / Simulink, 2011.
Same family
- US7503027B1Hardware description language code generation from a state diagram (related)
- US7680632B1Test precondition items for automated analysis and test generation
- US7729894B1Test postcondition items for automated analysis and test generation
- US7752559B1Graphical model preparation for embedded deployment
- US7840913B1Restricting state diagrams to Moore/Mealy machines
- US7865350B1Partitioning a model in modeling environments