Model-Based Testing with Spec Explorer announcement
-
Link
This forum has been locked; it will still be available for review in the Archived Forums folder. Any future posts on this topic should be put in the Test Tools in Visual Studio 2010 and 2012 forum.
-
Link
Hello! We are delighted to announce the newest version of Spec Explorer 2010, Release 3.5.
Spec Explorer 2010 Release 3.5 contains new features, improved documentation, plus over 60 bug fixes. Please consult the Release Notes and our Home Page to access this release.
This release contains new / enhanced features including:
· Model change detecting: The model change detecting feature detects all model changes and decides if Spec Explorer needs to re-explore the model. For specific machines, if Spec Explorer detects any change in the model code, cord script files, or other inputs, or detects a tool version change, Spec Explorer will start a new exploration; otherwise, Spec Explorer will use existing exploration result files for current exploration viewing, test code generation, and user customized post processing. The UI has been updated to allow you to force Spec Explorer to re-explore the machines. This feature greatly improves the user experience by preventing unneeded lengthy validation and exploration events, which frequently happened in previous versions.
· Multiple machine processing: Now you can select multiple machines in Exploration Manager and explore, generate test code, or perform post processing tasks on them. For multiple machine processing, Spec Explorer generates a summary including all information of the batch-processing.
· Cord context menu: Spec Explorer adds a new context menu item “Go To Definition” in the Cord editor, which enables users to navigate to specific configurations and machines. This is part of an ongoing effort to improve the Cord editing user experience and the general integration of the tool with Visual Studio.
We hope you enjoy this release and look forward to hearing feedback from the Spec Explorer community.
-
Link
Hello Spec Explorers: We seek to gain a better idea of the Spec Explorer community and who is using the tool for what. We aim to bring you the best tool ever and your help will greatly appreciated if you could take a minute to fill in the Spec Explorer User Survey. With thanks, The Spec Explorer Team.
-
2 VotesThe full Effective Model-Based Testing with Spec Explorer Class is now available!
The full video series for the modeling class is available on Channel 9! It’s the recording of a two-half-day course Wolfgang and I gave at Microsoft's Redmond campus. The ...Sticky | 11 Replies | 19926 Views | Created by Nico Kicillof - Wednesday, March 31, 2010 9:07 PM | Last reply by bububa - Thursday, August 02, 2012 7:37 AM
-
2 Votes
-
0 Votes
This forum has been retired
This forum has been locked; it will still be available for review in the Archived Forums folder. Any future posts on this topic should be put in the Test Tools in Visual Studio ... -
0 Votes
Using Modeling Guidance leads to crash
I created a new Spec Explorer project and selected "Guided Spec Explorer Model" in the model wizard. After hitting finish I select "author a model from scratch" on the Modeling ...Proposed | 1 Replies | 3893 Views | Created by Johannes-V - Thursday, November 22, 2012 3:29 AM | Last reply by hcmehta - Friday, December 07, 2012 6:46 AM -
1 Votes
Accessing .NET configuration data from cord
Hi, I have a configuration file (i.e., a .NET class) with configuration parameters. For different machines, I want to be able to configure parameters differently. At the moment, I ...Answered | 1 Replies | 3947 Views | Created by Dharma11 - Tuesday, November 27, 2012 5:06 AM | Last reply by bububa - Tuesday, November 27, 2012 12:45 PM -
2 Votes
Requirements Coverage
Hi, Being able to embed requirements into the model and visualize them during test case generation is a nice feature. I started using this feature. I got a ...Unanswered | 10 Replies | 4150 Views | Created by Dharma11 - Wednesday, November 07, 2012 4:07 PM | Last reply by Dharma11 - Monday, November 26, 2012 8:22 PM -
0 Votes
Error on Project Creation
I installed SpecExplorer 2010 (3.5.3130.0) on Windows 7 Enterprise Service Pack 1 (64bit), Visual Studio 2010 Professional. However I cannot create new Spec Explorer Projects ...Unanswered | 1 Replies | 3453 Views | Created by uwe81 - Wednesday, November 21, 2012 9:59 AM | Last reply by bububa - Thursday, November 22, 2012 1:59 PM -
1 Votes
State Grouping in Spec Explorer
Hi, I was looking into this paper http://research.microsoft.com/pubs/77383/bookchapteronse.pdf for different ways to define abstractions to reduce the size of the state ...Unanswered | 2 Replies | 3985 Views | Created by Dharma11 - Tuesday, November 13, 2012 3:40 PM | Last reply by Dharma11 - Friday, November 16, 2012 12:38 AM -
0 Votes
Share parameters
On my model class, I have: [Action] public static void UpdateUser(Profile ProfileToUpdate) { ...Answered | 5 Replies | 8044 Views | Created by OneQuestionAtATime - Wednesday, January 27, 2010 11:44 PM | Last reply by Dharma11 - Sunday, November 04, 2012 3:35 PM -
0 Votes
Placeholder is not supported in test code generation: _ Spec Explorer 0 0
hi, I got two errors while generating test cases. why? I have combined the model machine and scenario machine. Error 4 [pppHomeTestSuite]:Test Code ...Unanswered | 1 Replies | 4694 Views | Created by g17610 - Tuesday, September 25, 2012 7:45 PM | Last reply by bububa - Thursday, September 27, 2012 7:29 AM -
0 Votes
Menu help option for Spec Explorer causes a content not found error
When I chose Help from the Spec Explorer menu a window pops up saying it cannot find the content. Is there a separate help file that needs to be loaded after loading Spec ...Unanswered | 2 Replies | 4218 Views | Created by Dev__Null - Sunday, September 16, 2012 5:42 PM | Last reply by Dev__Null - Monday, September 17, 2012 1:43 PM -
4 Votes
Parameter combination
I always have some confusion around parameter combination. Most of the time, the combination works fine when the values of each parameter want to interact with others to generate a meaningful ...Answered | 8 Replies | 8663 Views | Created by Xiaoxing Zhu - Friday, June 18, 2010 12:19 AM | Last reply by Nico Kicillof - Friday, September 14, 2012 4:36 PM -
0 Votes
Spec Explorer, W-method
Hi, Can someone tell me which test-generation techniques are used in Spec Explorer? The W-method, Wp-method or the Unique Input/Output ...Unanswered | 1 Replies | 4505 Views | Created by Dong Su - Tuesday, August 28, 2012 5:07 PM | Last reply by bububa - Thursday, September 13, 2012 10:59 AM -
1 Votes
Questions about the "State" concept
Hi， I have used spec-explorer for quite a while, and created a few simple instance-based modeling solutions. I think it helps to model the system under inspection with system ...Answered | 3 Replies | 4230 Views | Created by lzh_ing - Tuesday, August 28, 2012 3:09 PM | Last reply by bububa - Wednesday, September 12, 2012 8:35 AM -
0 Votes
Can Spec Explorr be used for Automated UI Testing with Windows 8 ?
Can Spec Explorr be used for Automated UI Testing with Windows 8 ? How can this be done? Where are examples? -
1 Votes
When will Spec Explorer work with VS2012 ?
When will Spec Explorer work with VS2012 ? How can this be done? -
0 Votes
Is Spec Explorer supported in VS2012
Will Spec Explorer work with VS2010. If not, why not and when? Thanks.Unanswered | 1 Replies | 4720 Views | Created by DonBaechtel - Friday, August 17, 2012 2:47 PM | Last reply by Stefan Babos - Thursday, September 06, 2012 5:28 PM -
0 Votes
Select a special element from a sequence.
Hi, I am trying to model a system in which an element can be inserted into any possible location in a container,and I am using an instance-based solution ...Unanswered | 1 Replies | 4362 Views | Created by lzh_ing - Tuesday, August 21, 2012 2:41 AM | Last reply by lzh_ing - Friday, August 24, 2012 4:43 PM -
1 Votes
Avoiding data parameter repetition during exploration
"). // Test Scenario: One subscriber and two publishers machine SubOnePubTwoScenario() : Main where ...Unanswered | 3 Replies | 4442 Views | Created by Dharma11 - Saturday, August 18, 2012 1:30 AM | Last reply by bububa - Wednesday, August 22, 2012 3:27 PM -
0 Votes
File Transfer manager
I need the File transfer manager. I do a search and I get information about errors etc but not where to get the actual download. Where do I download the actual file? -
2 Votes
Testing all but given actions
Hi, My interface has actions, say Start(), B(), C(), D(), End(). I want to generate tests that start with Start() and ends with End(). In ...Unanswered | 3 Replies | 4390 Views | Created by Dharma11 - Thursday, August 16, 2012 3:30 PM | Last reply by bububa - Monday, August 20, 2012 3:31 PM -
0 Votes
Error: ambiguous action reference
I am trying to model a system in which there are multiple components which process messages. I am using an instance-based Modeling solution, where each component type has an action called ...Answered | 6 Replies | 9572 Views | Created by Anne2009 - Thursday, December 10, 2009 4:59 PM | Last reply by bububa - Wednesday, August 08, 2012 8:39 AM - Items 1 to 20 of 300 Next ›
Model-Based Testing with Spec Explorer announcement
-
Link
This forum has been locked; it will still be available for review in the Archived Forums folder. Any future posts on this topic should be put in the Test Tools in Visual Studio 2010 and 2012 forum.
-
Link
Hello! We are delighted to announce the newest version of Spec Explorer 2010, Release 3.5.
Spec Explorer 2010 Release 3.5 contains new features, improved documentation, plus over 60 bug fixes. Please consult the Release Notes and our Home Page to access this release.
This release contains new / enhanced features including:
· Model change detecting: The model change detecting feature detects all model changes and decides if Spec Explorer needs to re-explore the model. For specific machines, if Spec Explorer detects any change in the model code, cord script files, or other inputs, or detects a tool version change, Spec Explorer will start a new exploration; otherwise, Spec Explorer will use existing exploration result files for current exploration viewing, test code generation, and user customized post processing. The UI has been updated to allow you to force Spec Explorer to re-explore the machines. This feature greatly improves the user experience by preventing unneeded lengthy validation and exploration events, which frequently happened in previous versions.
· Multiple machine processing: Now you can select multiple machines in Exploration Manager and explore, generate test code, or perform post processing tasks on them. For multiple machine processing, Spec Explorer generates a summary including all information of the batch-processing.
· Cord context menu: Spec Explorer adds a new context menu item “Go To Definition” in the Cord editor, which enables users to navigate to specific configurations and machines. This is part of an ongoing effort to improve the Cord editing user experience and the general integration of the tool with Visual Studio.
We hope you enjoy this release and look forward to hearing feedback from the Spec Explorer community.
-
Link
Hello Spec Explorers: We seek to gain a better idea of the Spec Explorer community and who is using the tool for what. We aim to bring you the best tool ever and your help will greatly appreciated if you could take a minute to fill in the Spec Explorer User Survey. With thanks, The Spec Explorer Team.
