In TSGR source package (TSGR.src.Nov06.zip)
Bottom-up development
- Basic classes
- bag.h
Base class header
bag.cpp Base class implementation
name.h Name class header
name.cpp Name class implementation
number.h Number class header
number.cpp Number class implementation
EFSM module
vo.h Variable & occurrence class header
vo.cpp Variable & occurrence class implementation
action.h Action (including input, predicate) class header
action.cpp Action (including input, predicate) class implementation
trans.h Transition class header
trans.cpp Transition class implementation
adj.h Adjacency class header
adj.cpp Adjacency class implementation
EFSM.h Extended Finite State Machine class header
EFSM.cpp Extended Finite State Machine class implementation
rEFSM.cpp Non-member function to read EFSM file
efsm.y Input file for yacc/bison to create EFSM parser
efsmyy.cpp.h EFSM parser header generated by yacc/bison
efsmyy.cpp EFSM parser code generated by yacc/bison
efsmyy.cpp.output Report from yacc/bison while processing efsm.y
efsm.l Input file for lex utility to create EFSM lexical analyzer
efsmll.cpp EFSM lexical analyzer code generated by lex utility
symbol.h Symbol table header to support EFSM lexical analyzer
symbol.cpp Symbol table implementation to support EFSM lexical analyzer
perror.h Error handling header to support EFSM parser
perror.cpp Error handling implementation to support EFSM parser
testEFSM.cpp Test EFSM program implementation
mod.h Mod class header
mod.cpp Mod class implementation
rmod.cpp Non-member function to read EFSM & MOD files
mod.y Input file for yacc/bison to create EFSM & MOD parser
modyy.cpp.h EFSM & MOD parser header generated by yacc/bison
modyy.cpp EFSM & MOD parser code generated by yacc/bison
modyy.cpp.output Report from yacc/bison while processing mod.y
mod.l Input file for lex utility to create EFSM & MOD lexical analyzer
modll.cpp EFSM & MOD lexical analyzer code generated by lex utility
testMOD.cpp Test MOD program implementation
Test module
test.h Test class header
test.cpp Test class implementation
SDG module
sedge.h Static dependency edge class header
sedge.cpp Static dependency edge class implementation
medge.h Modified edge class header
medge.cpp Modified edge class implementation
dep.h EFSM transition dependency class header
dep.cpp EFSM transition dependency class implementation
sdg.h Static Dependency Graph header
sdg.cpp Static Dependency Graph implementation
sdgm.cpp Regression Test Suite Reduction supporting implementation
testSDG.cpp Test SDG program implementation
testSDGm.cpp Test SDGm program implementation
DF module
df.h Df chain & activating paths class header
df.cpp Df chain & activating paths class implementation
testDF.cpp test DF program implementation
SIP module
combination.ha template imported from CodeGuru website to perform the combinations
sip.h A patch header to unify the data structure of SIP and DIP
sip.cpp A patch implementation to unify the data structure of SIP and DIP
sipg.cpp Test Suite Generation supporting implementation
sipr.cpp Regression Test Suite Reduction supporting implementation
DDG module
dnode.h Dynamic dependency node header
dnode.cpp Dynamic dependency node implementation
ddg.h Dynamic Dependency Graph header
ddg.cpp Dynamic Dependency Graph implementation
testDDG.cpp Test DDG program implementation
Applications
STSG.h SIP-based Test Suite Generation program header
STSG.cpp SIP-based Test Suite Generation program implementation
STSR.h SIP-based Test Suite Reduction program header
STSR.cpp SIP-based Test Suite Reduction program implementation
DTSR.h DIP-based Test Suite Reduction program header
DTSR.cpp DIP-based Test Suite Reduction program implementation
RTSR.h Regression Test Suite Reduction program header
RTSR.cpp Regression Test Suite Reduction program implementation
Home