Home
ExcelCalcs
Welcome, Guest
Please Login or Register.    Lost Password?
Formal Verification and Validation (1 viewing) (1) Guest
Please post any suggestions or ideas that you think the ExcelCalcs team should consider.
Go to bottom Favoured: 0
TOPIC: Formal Verification and Validation
#2564
JFKatMatrix (User)
Tadpole with legs (Senior Boarder)
Posts: 7
graphgraph
User Offline Click here to see the profile of this user
Formal Verification and Validation 6 Years, 5 Months ago Karma: 0  
I am looking into methods to facilitate formal verification and validation of the spread sheets we develop, and have lit upon a number of graph tools that might help (nodexl.codeplex.com/ for example).

Is there any way that a directed edge list can be extracted from the EQS() functions that populate a given worksheet, ideally one that also captures the variable names rather than the cell addresses?
 
Logged Logged  
  The administrator has disabled public write access.
#2565
JohnDoyle[Admin] (Admin)
Mechanical Engineer.
Moderator
Posts: 1747
graph
User Offline Click here to see the profile of this user
Gender: Male MoreVision Location: LEEDS, WEST YORKSHIRE, UK Birthdate: 1965-02-24
Re:Formal Verification and Validation 6 Years, 5 Months ago Karma: 493  
Very intriguing JFKatMatrix. It looked like quite a powerful tool but is it a sledge hammer to crack a nut? I think a combination of XLC and Excel's auditing tools give us all the power we need - or have I missed the point. Perhaps you could set out your thoughts using an example?

Thank for your idea I am very pleased that you took the trouble to let me know about it
 
Logged Logged  
 
  The administrator has disabled public write access.
Go to top
We have 19 guests and 38 members online
Contact Us
post/emailEmail (preferred method of contact)
telephone US +1 617 5008224
telephone EU +44 113 8152220
Our Feeds
Repository RSS. Forum RSS. User Comment RSS. News RSS.

 

 

Google Analytics Alternative